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…