Hugging Face's logo

callensxavier
/
leanflow-dualscale-pde

Rust
English
generic
leanflow_dualscale_pde
computational-fluid-dynamics
pde-solver
navier-stokes
lean4
neuro-symbolic
turbulence
jhtdb
scientific-computing
formally-verified
Eval Results (legacy)
Model card Files
xet
 Community
leanflow-dualscale-pde

Commit History

  1. docs(paper-R3.1): fix cross-refs (Eq.3, Table 1), truncated table columns, EuclideanSpace Fin d, leray_divergence_free underscore; microtype for overflow prevention

    callensxavier
    Verified signature
    a125632

  2. feat(model-R3): peer-reviewed R3 — dual-scale Eq.3, 64x64 benchmark, Leray 2D projection, honest Lean audit, CERT-HF-MODEL-R3

    callensxavier
    Verified signature
    4b88580

  3. feat(model): publish LeanFlow Neuro-Symbolic DualScale Navier-Stokes solver v1.0.0

    callensxavier
    Verified signature
    8825d61

  4. initial commit

    callensxavier
    Verified signature
    ee5b56d