Learning Formal Mathematics From Intrinsic Motivation Gabriel Poesia 1 David Broman 4 Nick Haber 1,3 Noah D. Goodman