Share your thoughts, 1 month free Claude Pro on usSee more
WorkDL logo mark

Geometric Proving on UniGeo proof part

94.4Accuracy

AlphaGeometry

63.61671.60879.687.592Jun 8, 2025
Updated 1mo ago

Evaluation Results

MethodLinks
94.4
2025.06
74.1
2025.06
72.2
2025.06
64.8