GenesisGeo Model
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 project—a neuro-symbolic system that reproduces the AlphaGeometry framework using the Newclid infrastructure.
Developed through large-scale synthetic training, this model demonstrates strong performance in geometric reasoning tasks. It is built upon the Qwen3-0.6B-Base architecture, fine-tuned specifically for generating auxiliary points and constructions in complex proof scenarios.
Model Description
- Architecture: Transformer-based language model
- Base Model: Qwen3-0.6B-Base
- Training Dataset: GenesisGeo Dataset (21.8 million synthetically generated geometric theorems)
- Purpose: Proposing auxiliary constructions in geometric proofs within a neuro-symbolic reasoning loop
Performance
The integrated neuro-symbolic system achieves:
- 24/30 problems solved on the IMO-AG-30 benchmark
- Close to the original AlphaGeometry performance (25/30)
