Thibaut Barroyer

thibautbar's activity

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

liked 3 models about 4 hours ago

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

Text Generation • 0.8B • Updated about 12 hours ago • 2.34k • 1

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

0.8B • Updated about 10 hours ago • 3

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

2B • Updated about 10 hours ago • 241 • 4

published an article about 6 hours ago

view article

Article

Kimina-Prover-RL

By and 18 others •

about 6 hours ago

• 2

updated 2 models about 10 hours ago

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

2B • Updated about 10 hours ago • 241 • 4

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

0.8B • Updated about 10 hours ago • 3

updated a collection about 11 hours ago

Kimina Prover

Collection

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

updated a model about 12 hours ago

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

Text Generation • 0.8B • Updated about 12 hours ago • 2.34k • 1

updated a dataset 1 day ago

AI-MO/Kimina-Prover-Promptset

Viewer • Updated 1 day ago • 24.4k • 5

liked a dataset 14 days ago

AI-MO/NuminaMath-LEAN

Viewer • Updated 14 days ago • 104k • 1.03k • 37