Partial Label Learning for Automated Theorem Proving

Zsolt Zombori, Balázs Indruck

We formulate learning guided Automated Theorem Proving as Partial Label Learning, building the first bridge across these fields of research and providing a theoretical framework fo…