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.
