openfoam
Datasets
All datasets matching “openfoam”openfoamleanflow-dualscale-openfoam-nse-benchmark
LeanFlow DualScale vs. OpenFOAM (icoFoam) Navier-Stokes Benchmark & Regularity Audit
Cross-Solver Verification: Mathematics, Numerics, and Physics
Authors: Xavier Callens / RunuX AI Runtime & SocrateAIGitHub Repository: xaviercallens/runux-ai-runtimeRelease Tag: v0.5.0-dualscale-nseFormal Verification: Lean 4 Formal Specification (spec/RunuxSpec/LeanFlow/)
1. Overview & Scope
This dataset and research bundle provides an exhaustive… See the full description on the dataset page: https://huggingface.co/datasets/callensxavier/leanflow-dualscale-openfoam-nse-benchmark.openfoam-Agent-Dataset
foam-openfoam-agent — Validated OpenFOAM Case Dataset
A dataset of natural-language CFD prompts paired with validated, converged
OpenFOAM v2412 case files. Every case in this dataset was generated by the
foamllm3 agent pipeline and verified by actually
running the solver to convergence; only converged runs with quality
score ≥ 0.5 are included.
The dataset ships in two formats from the same source:
Config
File
Granularity
Records
Use
per_file
foam_openfoam_dataset.jsonl… See the full description on the dataset page: https://huggingface.co/datasets/arungovindneelan/openfoam-Agent-Dataset.OpenFOAM-bpopenfoam-casegen-dataOpenfoam-Osworld_Benchmark