Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
Solving Is Not Drawing: A Benchmark for Diagrammatic Reasoning in Olympiad Geometry
Hsien Xin Peng, Anthony Kim, Alvin Li +3
Foundation models such as GPT and Claude now solve olympiad-level mathematics with remarkable proficiency, so much so that geometry problem solving has become a standard proxy for…
cs.AI2026
Recurrent Reasoning on Symbolic Puzzles with Sequence Models
Gowrav Mannem, Chowdhury Marzia Mahjabin, Jason Chen +2
Large language models often appear strong on symbolic and algorithmic tasks, yet this apparent strength can hide brittle behaviour when problems become longer, harder, or slightly…