AlgGeoTest is the first benchmark specifically designed to evaluate LLMs' comprehension of Algebraic Geometry—a frontier domain of modern mathematics that occupies a central position within the contemporary mathematical landscape.
AlgGeoTest was created by implementing Proof2Hybrid—the first fully-automated framework for… See the full description on the dataset page: https://huggingface.co/datasets/PKU-DS-LAB/AlgGeoTest.
