Kavli Affiliate: Avi Shporer | First 5 Authors: Iddo Drori, Sunny Tran, Roman Wang, Newman Cheng, Kevin Liu | Summary: We demonstrate that a neural network pre-trained on text and fine-tuned on code solves Mathematics problems by program synthesis. We turn questions into programming tasks, automatically generate programs, and then execute them, perfectly solving university-level […]
Continue.. A Neural Network Solves and Generates Mathematics Problems by Program Synthesis: Calculus, Differential Equations, Linear Algebra, and More