callensxavier/leanflow-jhtdb-benchmark download history

callensxavier/leanflow-jhtdb-benchmark is an other dataset on the Hugging Face Hub. In the last 30 days it was downloaded 116 times (16 in the last 7 days), and 167 times in total. It ranks #103,237 among datasets by monthly downloads.

🌊 LeanFlow — Formally Verified Dual-Scale Navier-Stokes Solver LeanFlow is the next generation of Navier-Stokes solvers — combining formally verified mathematics (Lean 4), AI-native bare-metal execution (Runux AI runtime), and pseudo-spectral accuracy validated on real DNS turbul

Models trained on leanflow-jhtdb-benchmark

1 models list it as training data.

Open callensxavier/leanflow-jhtdb-benchmark on Hugging Face

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