callensxavier/leanflow-phase12-benchmark download history

callensxavier/leanflow-phase12-benchmark is an other dataset on the Hugging Face Hub. In the last 30 days it was downloaded 189 times (65 in the last 7 days), and 326 times in total. It ranks #70,982 among datasets by monthly downloads.

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-s

Open callensxavier/leanflow-phase12-benchmark on Hugging Face

Sister project: Paper Pulse, the upvote history of every Hugging Face Daily Paper.