Similar Items: Gold-medalist Performance in Solving Olympiad Geometry with AlphaGeometry2
- Gold-medalist Performance in Solving Olympiad Geometry with AlphaGeometry2
- Gold-medalist Performance in Solving Olympiad Geometry with AlphaGeometry2
- Gold-medalist Performance in Solving Olympiad Geometry with AlphaGeometry2
- Geometry and Stability of Supervised Learning Problems
- Undecidable First-Order Theories of Affine Geometries
- Coherence for Frobenius pseudomonoids and the geometry of linear proofs