TY  - RPRT
TI  - Learning Interestingness in Automated Mathematical Theory Formation
AU  - George Tsoukalas
AU  - Rahul Saha
AU  - Amitayush Thakur
AU  - Sabrina Reguyal
AU  - Swarat Chaudhuri
PY  - 2025
UR  - https://arxiv.org/abs/2511.14778
ID  - 2511.14778
ER  -