| { | |
| "model_type": "leanflow_dualscale_pde", | |
| "version": "1.0.0", | |
| "dimension": [ | |
| 2, | |
| 3 | |
| ], | |
| "spectral_method": "pseudo_spectral_orszag_2_3", | |
| "integrator": "etd_rk4_dualscale", | |
| "regularization": "t_duality_scale_bounce", | |
| "alpha_prime": 0.01, | |
| "divergence_tolerance": 1e-13, | |
| "kolmogorov_resolution_factor": 1.5, | |
| "provenance": { | |
| "lean4_verification": "lake_build_zero_sorry", | |
| "hardness_charter": "H1_to_H20", | |
| "benchmark_dataset": "callensxavier/leanflow-jhtdb-benchmark" | |
| } | |
| } |