TY  - RPRT
TI  - Learning Conjecturing from Scratch
AU  - Thibault Gauthier
AU  - Josef Urban
PY  - 2025
UR  - https://arxiv.org/abs/2503.01389
ID  - 2503.01389
ER  -