On Multi-Step Theorem Prediction via Non-Parametric Structural Priors
arXiv:2603.04852v1 Announce Type: new Abstract: Multi-step theorem prediction is a central challenge in automated reasoning. Existing neural-symbolic approaches rely heavily on supervised parametric models, which …
Junbo Zhao, Ting Zhang, Can Li, Wei He, Jingdong Wang, Hua Huang
3 views