Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Buckets new
  • Docs
  • Enterprise
  • Pricing
    • Website
      • Tasks
      • HuggingChat
      • Collections
      • Languages
      • Organizations
    • Community
      • Blog
      • Posts
      • Daily Papers
      • Learn
      • Discord
      • Forum
      • GitHub
    • Solutions
      • Team & Enterprise
      • Hugging Face PRO
      • Enterprise Support
      • Inference Providers
      • Inference Endpoints
      • Storage Buckets

  • Log In
  • Sign Up
Thibaut Barroyer's picture
3 9

Thibaut Barroyer

thibautbar
hehepig166's profile picture dark-pen's profile picture 21world's profile picture
·
  • thibautbar

AI & ML interests

None yet

Organizations

Project-Numina's profile picture Humanity's Last Hackathon's profile picture

liked 3 models 11 months ago

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

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

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

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

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

2B • Updated Aug 14, 2025 • 2.86k • 12
liked a dataset 11 months ago

AI-MO/NuminaMath-LEAN

Viewer • Updated Jul 31, 2025 • 104k • 349 • 59
liked 4 models 12 months ago

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

Text Generation • 2B • Updated Jul 10, 2025 • 770 • • 7

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

Text Generation • 8B • Updated Jul 10, 2025 • 469 • • 8

AI-MO/Kimina-Prover-72B

Text Generation • 73B • Updated Jul 10, 2025 • 114 • 34

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

Text Generation • 8B • Updated Apr 17, 2025 • 336 • • 35
liked a model about 1 year ago

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

Text Generation • 2B • Updated Apr 16, 2025 • 282 • • 12
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs