Thibaut Barroyer

thibautbar's activity

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

liked 3 models 5 months ago

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

Text Generation • 0.8B • Updated Aug 14, 2025 • 328 • 1

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

0.8B • Updated Aug 14, 2025 • 31 • 4

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

2B • Updated Aug 14, 2025 • 194 • 9

liked a dataset 5 months ago

AI-MO/NuminaMath-LEAN

Viewer • Updated Jul 31, 2025 • 104k • 589 • 52

liked 4 models 6 months ago

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

Text Generation • 2B • Updated Jul 10, 2025 • 3.14k • • 7

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

Text Generation • 8B • Updated Jul 10, 2025 • 1.97k • • 8

AI-MO/Kimina-Prover-72B

Text Generation • 73B • Updated Jul 10, 2025 • 383 • • 33

AI-MO/Kimina-Prover-Preview-Distill-7B

Text Generation • 8B • Updated Apr 17, 2025 • 325 • • 35

liked a model 9 months ago

AI-MO/Kimina-Prover-Preview-Distill-1.5B

Text Generation • 2B • Updated Apr 16, 2025 • 290 • 10