AI RESEARCH
Draw2Think: Harnessing Geometry Reasoning through Constraint Engine Interaction
arXiv CS.CL
•
ArXi:2605.20743v1 Announce Type: cross Vision-language models solve geometry problems with rising accuracy, yet their intermediate states remain latent and unverifiable: a relation expressed in textual reasoning or drawing code carries no guarantee that a constraint-satisfying configuration realizes it. We observe that existing externalization methods based on rendered pixels or one-shot scripts fail to provide exact, per-action geometric guarantees. Enforcing geometric relations by algebraic definition closes this gap: the workspace becomes a constraint-checked evolving canvas.