Upload README.md with huggingface_hub

README.md

@@ -19,10 +19,10 @@ license: mit
 - **Parameters:** ~34,954
 
 ## Results
-- **R²:** 0.8395
-- **MAE:** 0.084061
-- **Best val loss:** 0.014214
-- **Model coherence:** 0.8898
+- **R²:** 0.9920
+- **MAE:** 0.005367
+- **Best val loss:** 0.000200
+- **Model coherence:** 0.8909
 
 ## Source
 - [Eigenverse](https://github.com/beanapologist/Eigenverse) — 552 Lean theorems, 0 sorry