Baksys, Mantas

1. Formal Mathematics Statement Curriculum Learning
   2022/02/03 by Stanislas Polu, Polu, Stanislas, Jesse Michael Han +9 · 12 citations
   Computer Science · #Natural Language Processing Techniques #Mathematics, Computing, and Information Processing #Topic Modeling
2. Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
   2025/04/15 by Wang, Haiming, Unsal, Mert, Lin, Xiaohan +37 · 45 citations
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences
3. Kimina Lean Server: A High-Performance Lean Server for Large-Scale Verification
   2025/04/29 by Santos, Marco Dos, de Saxcé, Hugues, Wang, Haiming +6 · 4 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)