Update README.md
Browse files
README.md
CHANGED
|
@@ -8,7 +8,7 @@ base_model:
|
|
| 8 |
|
| 9 |
# GenesisGeo Model
|
| 10 |
|
| 11 |
-
[📃Paper]() • [📚 Github](https://github.com/ZJUVAI/Newclid) • [📊 Dataset](https://huggingface.co/datasets/ZJUVAI/GenesisGeo)
|
| 12 |
|
| 13 |
This model is **specialized in automated geometric theorem proving**, capable of proposing auxiliary constructions to solve challenging geometry problems. It forms the core of the [**GenesisGeo**](https://github.com/ZJUVAI/Newclid) project—a neuro-symbolic system that reproduces the AlphaGeometry framework using the Newclid infrastructure.
|
| 14 |
|
|
|
|
| 8 |
|
| 9 |
# GenesisGeo Model
|
| 10 |
|
| 11 |
+
[📃Paper](https://arxiv.org/abs/2509.21896) • [📚 Github](https://github.com/ZJUVAI/Newclid) • [📊 Dataset](https://huggingface.co/datasets/ZJUVAI/GenesisGeo)
|
| 12 |
|
| 13 |
This model is **specialized in automated geometric theorem proving**, capable of proposing auxiliary constructions to solve challenging geometry problems. It forms the core of the [**GenesisGeo**](https://github.com/ZJUVAI/Newclid) project—a neuro-symbolic system that reproduces the AlphaGeometry framework using the Newclid infrastructure.
|
| 14 |
|