callensxavier/leanflow-dualscale-pde at main

466 kB

Ctrl+K

1 contributor

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

a125632 verified about 13 hours ago

.gitattributes

192 Bytes
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 about 13 hours ago
README.md

5.24 kB
feat(model-R3): peer-reviewed R3 — dual-scale Eq.3, 64x64 benchmark, Leray 2D projection, honest Lean audit, CERT-HF-MODEL-R3 about 13 hours ago
certificate.json

2.29 kB
feat(model-R3): peer-reviewed R3 — dual-scale Eq.3, 64x64 benchmark, Leray 2D projection, honest Lean audit, CERT-HF-MODEL-R3 about 13 hours ago
config.json

507 Bytes
feat(model): publish LeanFlow Neuro-Symbolic DualScale Navier-Stokes solver v1.0.0 about 14 hours ago
leanflow_scientific_report_R3.1.pdf

227 kB
xet

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 about 13 hours ago
leanflow_scientific_report_R3.pdf

227 kB
xet

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 about 13 hours ago
pipeline.py

2.75 kB
feat(model): publish LeanFlow Neuro-Symbolic DualScale Navier-Stokes solver v1.0.0 about 14 hours ago
symbrain_router.json

333 Bytes
feat(model): publish LeanFlow Neuro-Symbolic DualScale Navier-Stokes solver v1.0.0 about 14 hours ago
weights.json

205 Bytes
feat(model): publish LeanFlow Neuro-Symbolic DualScale Navier-Stokes solver v1.0.0 about 14 hours ago