Partial Label Learning for Automated Theorem Proving. - Zsolt Zombori; Balázs Indruck (CoRR, 2025)