Thibaut Barroyer

thibautbar's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

upvoted an article 14 days ago

view article

Article

VLM-OCR Recipes on GPU Infrastructure

• 

14 days ago

•

12

upvoted an article 5 months ago

view article

Article

Kimina-Prover-RL

• 

Aug 14, 2025

•

12

liked 3 models 6 months ago

AI-MO/Kimina-Prover-Distill-0.6B

Text Generation • 0.8B • Updated Aug 14, 2025 • 410 • 3

AI-MO/Kimina-Prover-RL-0.6B

0.8B • Updated Aug 14, 2025 • 173 • 5

AI-MO/Kimina-Prover-RL-1.7B

2B • Updated Aug 14, 2025 • 1.13k • 10

published an article 6 months ago

view article

Article

Kimina-Prover-RL

• 

Aug 14, 2025

•

12

updated 2 models 6 months ago

AI-MO/Kimina-Prover-RL-1.7B

2B • Updated Aug 14, 2025 • 1.13k • 10

AI-MO/Kimina-Prover-RL-0.6B

0.8B • Updated Aug 14, 2025 • 173 • 5

updated a collection 6 months ago

Kimina Prover

Collection

State-of-the-Art Models for Formal Mathematical Reasoning https://huggingface.co/blog/AI-MO/kimina-prover • 8 items • Updated Oct 30, 2025 • 9

updated a model 6 months ago

AI-MO/Kimina-Prover-Distill-0.6B

Text Generation • 0.8B • Updated Aug 14, 2025 • 410 • 3

updated a dataset 6 months ago

AI-MO/Kimina-Prover-Promptset

Viewer • Updated Aug 13, 2025 • 24.4k • 99 • 2

liked a dataset 6 months ago

AI-MO/NuminaMath-LEAN

Viewer • Updated Jul 31, 2025 • 104k • 692 • 54

authored a paper 7 months ago

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

Paper • 2504.11354 • Published Apr 15, 2025 • 6