Rute, Jason

1. A formal proof of the Kepler conjecture
   2015/01/09 by Hales, Thomas, Adams, Mark, Bauer, Gertrud +19 · 14 citations
   #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO) #Metric Geometry (math.MG)
2. Proof Artifact Co-training for Theorem Proving with Language Models
   2021/02/11 by Jesse Michael Han, Jason Rute, Han, Jesse Michael +7 · 12 citations
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Natural Language Processing Techniques #Software Engineering Research #Topic Modeling
3. Graph2Tac: Online Representation Learning of Formal Math Concepts
   2024/01/05 by Blaauwbroek, Lasse, Olšák, Miroslav, Rute, Jason +3 · 3 citations
   #68T07 (Primary) 68V15 (Secondary) #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #I.2.3 #I.2.6 #Machine Learning (cs.LG)
4. Magistral
   2025/06/12 by Mistral-AI, :, Rastogi, Abhinav +98 · 9 citations
   #Computation and Language (cs.CL) #FOS: Computer and information sciences
5. Voxtral
   2025/07/17 by Liu, Alexander H., Ehrenberg, Andy, Lo, Andy +103 · 5 citations
   #Artificial Intelligence (cs.AI) #Audio and Speech Processing (eess.AS) #FOS: Computer and information sciences #FOS: Electrical engineering #Sound (cs.SD) #electronic engineering #information engineering
6. Devstral: Fine-tuning Language Models for Coding Agent Applications
   2025/08/08 by Rastogi, Abhinav, Yang, Adam, Jiang, Albert Q. +100 · 3 citations
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Software Engineering (cs.SE)