Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Hardware
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
Thibaut Barroyer
thibautbar
3
9
Follow
Tonic's profile picture
XiaoHLim's profile picture
21world's profile picture
7 followers
·
6 following
thibautbar
AI & ML interests
None yet
Organizations
thibautbar
's activity
All
Models
Datasets
Spaces
Buckets
Papers
Collections
Community
Posts
Upvotes
Likes
Articles
liked
3 models
about 1 year ago
AI-MO/Kimina-Prover-Distill-0.6B
Text Generation
•
0.8B
•
Updated
Aug 14, 2025
•
681
•
•
3
AI-MO/Kimina-Prover-RL-0.6B
0.8B
•
Updated
Aug 14, 2025
•
55
•
4
AI-MO/Kimina-Prover-RL-1.7B
2B
•
Updated
Aug 14, 2025
•
333
•
11
liked
a dataset
about 1 year ago
AI-MO/NuminaMath-LEAN
Viewer
•
Updated
Jul 31, 2025
•
104k
•
2.2k
•
62
liked
4 models
about 1 year ago
AI-MO/Kimina-Prover-Distill-1.7B
Text Generation
•
2B
•
Updated
Jul 10, 2025
•
940
•
•
7
AI-MO/Kimina-Prover-Distill-8B
Text Generation
•
8B
•
Updated
Jul 10, 2025
•
758
•
•
7
AI-MO/Kimina-Prover-72B
Text Generation
•
73B
•
Updated
Jul 10, 2025
•
57
•
35
AI-MO/Kimina-Prover-Preview-Distill-7B
Text Generation
•
8B
•
Updated
Apr 17, 2025
•
185
•
•
36
liked
a model
over 1 year ago
AI-MO/Kimina-Prover-Preview-Distill-1.5B
Text Generation
•
2B
•
Updated
Apr 16, 2025
•
307
•
•
12