Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2511.14778
Cited By
Learning Interestingness in Automated Mathematical Theory Formation
5 November 2025
George Tsoukalas
Rahul Saha
Amitayush Thakur
Sabrina Reguyal
Swarat Chaudhuri
AIMat
LRM
Re-assign community
ArXiv (abs)
PDF
HTML
Github
Papers citing
"Learning Interestingness in Automated Mathematical Theory Formation"
0 / 0 papers shown
Title
No papers found
