conftrace_

formal geometry

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

geometric problem solving (1) theorem prediction (1) formal system (1) neural-symbolic system (1) hypergraph neural network (1)

Papers

FGeo-HyperGNet: Geometric Problem Solving Integrating FormalGeo Symbolic System and Hypergraph Neural Network IJCAI 2025