Dataset · Hugging Face

callensxavier/leanflow-phase12-benchmark

Name: leanflow-phase12-benchmark
Creator: callensxavier
License: apache-2.0
Keywords: task_categories:other, language:en, license:apache-2.0, size_categories:n<1K, region:us, fluid-dynamics, navier-stokes, pde-solver, karpathy-ratchet, dual-scale, lean4, mhd, cfd, scientific-computing, industrial-ai

LeanFlow Phase 12 Benchmark Dataset Enterprise Edition v2.0 (Revised) | Certificate: CERT-P12-AUTORESEARCH-A5B9217C06F6C669 v2.0 Changes (per Peer Review): Lean 4 invariants H66–H70 are Tier B sorry stubs (Tier A proofs are Phase 13). The VAD WSS = 137.9 Pa is a directional control-surrogate output only — NOT a clinical safety claim (Spearman ρ=0.52 vs exact Couette, p=0.12). Ratchet convergence is over a 1D scalar search space. All benchmark metrics are measured from live… See the full description on the dataset page: https://huggingface.co/datasets/callensxavier/leanflow-phase12-benchmark.

View on Hugging FaceReport an issue

Author / organization	callensxavier
License (as declared)	apache-2.0
Downloads	185 (as reported by Hugging Face)
Likes	0
Created	1 September 2026
Last updated at source	4 September 2026

fluid-dynamicsnavier-stokespde-solverkarpathy-ratchetdual-scalelean4mhdcfdscientific-computingindustrial-ai

Embed this entry

<iframe src="https://silytics.si/embed/item/17cf68c5-f0f4-4a83-a4d5-5c8e949ee04c" width="420" height="190" style="border:0" loading="lazy" title="Silytics entry"></iframe>

Free, no tracking. More about feeds and embeds.

Popularity, last 3 days

185 now (+4 since 2026-10-16). Counts as reported by the source, snapshotted daily by Silytics.

More from callensxavier

Silytics shows public metadata from Hugging Face and links to the original. Information may be incomplete or out of date. Last refreshed 18 October 2026. Licenses and terms of the original apply to the work itself. Not financial, legal or professional advice.