Beyond AlphaGeometry | 2 New Preprints

Research
1

Hi!

For those with a keen interest in AlphaGeometry (or AlphaProof), two preprints:

  • Beyond the Plane: Abstracting Away Geometry from AlphaGeometry

Link: https://doi.org/10.5281/zenodo.18959740

  • The Topological Dual of a Dataset: A Logic-to-Topology Encoding for AlphaGeometry-Style Data

Link: https://doi.org/10.5281/zenodo.18961053

2 Likes