2 papers
cs.AI2026
Non-Parametric Structural Priors for Geometry Theorem Prediction
Junbo Zhao, Ting Zhang, Can Li +3
Multi-step theorem prediction is a central challenge in geometry problem solving. Existing neural-symbolic approaches rely heavily on supervised parametric models, which exhibit li…
cs.CV2026
GeoLoom: High-quality Geometric Diagram Generation from Textual Input
Xiaojing Wei, Ting Zhang, Wei He +2
High-quality geometric diagram generation presents both a challenge and an opportunity: it demands strict spatial accuracy while offering well-defined constraints to guide generati…