Solving Probability and Statistics Problems by Program Synthesis. - Leonard Tang; Elizabeth Ke; Nikhil Singh 003; Nakul Verma; Iddo Drori (CoRR, 2021)

A Neural Network Solves and Generates Mathematics Problems by Program Synthesis: Calculus, Differential Equations, Linear Algebra, and More. - Iddo Drori; Sunny Tran; Roman Wang; Newman Cheng; Kevin Liu; Leonard Tang; Elizabeth Ke; Nikhil Singh 003; Taylor L. Patti; Jayson Lynch; Avi Shporer; Nakul Verma; et al. (CoRR, 2021)

Solving Probability and Statistics Problems by Probabilistic Program Synthesis at Human Level and Predicting Solvability. - Leonard Tang; Elizabeth Ke; Nikhil Singh 003; Bo Feng; Derek Austin; Nakul Verma; Iddo Drori (AIED (2), 2022)