TY  - RPRT
TI  - Partial Label Learning for Automated Theorem Proving
AU  - Zsolt Zombori
AU  - Balázs Indruck
PY  - 2025
UR  - https://arxiv.org/abs/2507.03314
ID  - 2507.03314
ER  -