Learning Formal Mathematics From Intrinsic Motivation - Poesia, Gabriel; Broman, David; Haber, Nick; Goodman, Noah D. (Advances in Neural Information Processing Systems, 2024)