Baksys, Mantas

Formal Mathematics Statement Curriculum Learning

Polu, S., Han, J. M., Zheng, K., Baksys, M., Babuschkin, I., & Sutskever, I. (2022) · arXiv

Mathematics, Computing, and Information ProcessingLogic, programming, and type systems

Cited by 26

Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning

Wang, H., Unsal, M., Lin, X., Baksys, M., Liu, J., Santos, M. D., Sung, F., Vinyes, M., Ying, Z., Zhu, Z., et al. (2025) · arXiv

Logic, programming, and type systemsMathematics, Computing, and Information Processing

Cited by 2