Jason Rute
AI Scientist at Mistral AI
Waltham, Massachusetts, United States
Summary
👤
Senior🎓
Top SchoolJason Rute is an AI scientist with a decade of experience bridging rigorous mathematics and applied data science to teach machines how to reason, particularly in mathematical domains. With a PhD in Mathematical Science from Carnegie Mellon and postdoctoral work at the MIT‑IBM Watson AI Lab and IBM’s Mathematics of AI group, he built state-of-the-art neural theorem-proving models for Coq and led research into algorithmic randomness. He has moved fluidly between industry and academia—driving production data science at CiBO Technologies (including a proprietary crop productivity score) and shipping research-grade AI at Mistral AI—while also tutoring and teaching advanced math topics. Based in Waltham, MA, he combines deep theoretical insight with practical engineering chops in Scala, Bayesian methods, and ML model calibration. Notably, his background in pure math informs a rare focus on mechanized reasoning that helps push formal methods into real-world AI systems.
10 years of coding experience
12 years of employment as a software developer
Bachelor of Science (B.S.), Mechanical Engineering, Mathematics, Philosophy, Bachelor of Science (B.S.), Mechanical Engineering, Mathematics, Philosophy at University of Wisconsin-MadisonDoctor of Philosophy (PhD), Mathematical Science, 4.01, Doctor of Philosophy (PhD), Mathematical Science, 4.01 at Carnegie Mellon University
Stackoverflow
220reputation
25kreached
3answers
0questions
Github Skills (50)
agda9
pdf9
latex9
theorem9
cpp8
homotopy-type-theory8
theorem-proving8
category-theory8
mongodb8
theory8
playing8
computer-algebra-system8
ocaml8
decorator8
tactics8
Programming languages (7)
Github contributions (5)
coq-tactician/coq-graph2tac-trained
May 2024 - Dec 2024
Contributions:344 pushes, 2 branches in 7 months
jasonrute/lean_proof_recording
Oct 2020 - Sep 2021
Proof recording for Lean 3
Contributions:67 commits, 2 PRs, 3 pushes in 11 months
leanrecording
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.