2026
Position: Improved Documentation is Necessary for Benchmarking AI Systems in Geometry
ICML 2026poster
This position paper argues that documentation is infrastructure for reproducible geometry reasoning: a benchmark for formal geometry problems to test AI systems is not usable in research unless its documented vocabulary is matched by executable, versioned behavior and minimal runnable examples. We u…