Pushmeet Kohli2 papers on this site (2019–2023)Mathematical Discoveries from Program Search with Large Language ModelsBernardino Romera-Paredes, Mohammadamin Barekatain, Alexander Novikov, et al.2023Analysing Mathematical Reasoning Abilities of Neural ModelsDavid Saxton, Edward Grefenstette, Felix Hill, et al.2019