Picture for Jonas Bayer

Jonas Bayer

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

Add code
Apr 15, 2025
Viaarxiv icon

Data for Mathematical Copilots: Better Ways of Presenting Proofs for Machine Learning

Add code
Dec 19, 2024
Figure 1 for Data for Mathematical Copilots: Better Ways of Presenting Proofs for Machine Learning
Figure 2 for Data for Mathematical Copilots: Better Ways of Presenting Proofs for Machine Learning
Viaarxiv icon