Reguyal, Sabrina

1 publications

NeurIPS 2025 Learning Interestingness in Automated Mathematical Theory Formation George Tsoukalas, Rahul Saha, Amitayush Thakur, Sabrina Reguyal, Swarat Chaudhuri