Learning Interestingness in Automated Mathematical Theory Formation. - George Tsoukalas; Rahul Saha; Amitayush Thakur; Sabrina Reguyal; Swarat Chaudhuri (CoRR, 2025)