Solving Geometry Problems: Combining Text and Diagram Interpretation
Code (1)
Tasks
Automated Theorem ProvingMathematical Question AnsweringSemantic ParsingSimilar Papers 제목 키워드 기반
A Symbolic Character-Aware Model for Solving Geometry Problems
AI has made significant progress in solving math problems, but geometry problems remain challenging due to their reliance on both text and diagrams. In the text description, symbolic characters such as "$\triangle$ABC" o…
MathMulti-Label ClassificationMUlTI-LABEL-ClASSIFICATIONSelf-Supervised LearningGeoUni: A Unified Model for Generating Geometry Diagrams, Problems and Problem Solutions
We propose GeoUni, the first unified geometry expert model capable of generating problem solutions and diagrams within a single framework in a way that enables the creation of unique and individualized geometry problems.…
Image GenerationA Multi-Modal Neural Geometric Solver with Textual Clauses Parsed from Diagram
Geometry problem solving (GPS) is a high-level mathematical reasoning requiring the capacities of multi-modal fusion and geometric knowledge application. Recently, neural solvers have shown great potential in GPS but sti…
Geometry Problem SolvingMathematical ReasoningGenesisGeo: Technical Report
Recent neuro-symbolic geometry theorem provers have made significant progress on Euclidean problems by coupling neural guidance with symbolic verification. However, most existing systems operate almost exclusively in a s…
Visual GroundingGeoVLMath: Enhancing Geometry Reasoning in Vision-Language Models via Cross-Modal Reward for Auxiliary Line Creation
Auxiliary lines are essential for solving complex geometric problems but remain challenging for large vision-language models (LVLMs). Recent attempts construct auxiliary lines via code-driven rendering, a strategy that r…
Reinforcement LearningCode Generation