jhtdb
Datasets
All datasets matching “jhtdb”jhtdbThis new dataset is designed to solve this great NLP task and is crafted with a lot of care.leanflow-jhtdb-benchmark
🌊 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 turbulence data.
🏆 Key Results at a Glance
Metric
LeanFlow ETD-RK4
OpenFOAM icoFoam
FDM-PISO (Python)
Max Divergence $|\nabla\cdot u|_\infty$
2.994e-14
4.102e-07
N/A… See the full description on the dataset page: https://huggingface.co/datasets/callensxavier/leanflow-jhtdb-benchmark.jhtdb-isotropic-turbulence-1024