conftrace_

theorem prediction

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

geometry problem solving (2) geometric problem solving (1) formal system (1) problem solving (1) text disambiguation (1) large language model (1) neural network (1) diagram understanding (1) explainable reasoning (1) formal geometry (1)

Papers

FGeo-HyperGNet: Geometric Problem Solving Integrating FormalGeo Symbolic System and Hypergraph Neural Network IJCAI 2025 Pi-GPS: Enhancing Geometry Problem Solving by Unleashing the Power of Diagrammatic Information ICCV 2025 E-GPS: Explainable Geometry Problem Solving via Top-Down Solver and Bottom-Up Generator CVPR 2024