1 citations · 4 across the 29 of their papers we have counts for
1 paper · 1 filter
Alan Li, Rahul Saha, Anton Xue +4
AI agents are increasingly used in mathematics research, but it is often unclear how to use them effectively. Towards this, we present an extensive case study of how AI was used to…