ML Anthology
Authors
Search
About
Reguyal, Sabrina
1 publications
NeurIPS
2025
Learning Interestingness in Automated Mathematical Theory Formation
George Tsoukalas
,
Rahul Saha
,
Amitayush Thakur
,
Sabrina Reguyal
,
Swarat Chaudhuri