On Multi-Step Theorem Prediction via Non-Parametric Structural Priors
Questo lavoro propone un metodo di previsione dei teoremi privo di addestramento che, superando il collo di bottiglia della "deriva strutturale" nell'apprendimento contestuale tramite l'uso di Grafi di Precedenza dei Teoremi e vincoli topologici espliciti, raggiunge prestazioni competitive con i modelli supervisionati sul benchmark FormalGeo7k.