1. Discovering faster matrix multiplication algorithms with reinforcement learning;Fawzi;Nature,2022
2. A neural network solves, explains, and generates university math problems by program synthesis and few-shot learning at human level;Drori;Proc. Natl. Acad. Sci. USA,2022
3. Mundhenk, T.N., Landajuela, M., Glatt, R., Santiago, C.P., Faissol, D.M., and Petersen, B.K. (2021). Symbolic regression via neural-guided genetic programming population seeding. arXiv.
4. Polu, S., Han, J.M., Zheng, K., Baksys, M., Babuschkin, I., and Sutskever, I. (2022). Formal mathematics statement curriculum learning. arXiv.
5. Yang, K., Swope, A., Gu, A., Chalamala, R., Song, P., Yu, S., Godil, S., Prenger, R.J., and Anandkumar, A. (2023). Leandojo: Theorem proving with retrieval-augmented language models. arXiv.