Thibaut Barroyer

thibautbar's activity

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

upvoted an article 3 days ago

view article

Article

Kimina-Prover-RL

By and 18 others •

11 days ago

• 9

liked 3 models 11 days ago

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

Text Generation • 0.8B • Updated 12 days ago • 3.56k • 1

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

0.8B • Updated 12 days ago • 85 • 3

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

2B • Updated 12 days ago • 261 • 6

published an article 11 days ago

view article

Article

Kimina-Prover-RL

By and 18 others •

11 days ago

• 9

updated 2 models 12 days ago

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

2B • Updated 12 days ago • 261 • 6

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

0.8B • Updated 12 days ago • 85 • 3

updated a collection 12 days ago

Kimina Prover

Collection

State-of-the-Art Models for Formal Mathematical Reasoning https://huggingface.co/blog/AI-MO/kimina-prover • 8 items • Updated 12 days ago • 8

updated a model 12 days ago

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

Text Generation • 0.8B • Updated 12 days ago • 3.56k • 1

updated a dataset 12 days ago

AI-MO/Kimina-Prover-Promptset

Viewer • Updated 12 days ago • 24.4k • 134

liked a dataset 25 days ago

AI-MO/NuminaMath-LEAN

Viewer • Updated 25 days ago • 104k • 1.56k • 38