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