Excited to share our latest research on Diverse Inference and Verification for Advanced Reasoning, from BU, Google, Intuit, Columbia University, MIT, and Stanford, with significant results on the IMO, ARC, and HLE. #AGI
arxiv.org/pdf/2502.09955
Enjoy!
馃殌馃摑 Excited to share #OpenReviewer - get pre-reviews of your papers before submission in real-time. Serving the academic community by improving paper quality. #ResearchExcellence #AcademicWriting #PeerReview openreviewer.com 馃攳鉁嶏笍
馃帗 Exploring the MIT Mathematics and EECS curriculum using large language models. 馃馃殌 #AI #Education #MIT Read more: arxiv.org/abs/2306.08997
A Neural Network Solves and Generates Mathematics Problems by Program Synthesis: Calculus, Differential Equations, Linear Algebra, and More arxiv.org/abs/2112.15594
