Learning Interestingness in Automated Mathematical Theory Formation - Tsoukalas, George; Saha, Rahul; Thakur, Amitayush; Reguyal, Sabrina; Chaudhuri, Swarat (Advances in Neural Information Processing Systems, 2025)