Hugues de Saxcé

desaxce's activity

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

liked a dataset 4 months ago

AI-MO/NuminaMath-LEAN

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

liked 5 models 6 months ago

Goedel-LM/Goedel-Prover-V2-32B

Text Generation • 33B • Updated Aug 27, 2025 • 5.38k • 60

Goedel-LM/Goedel-Prover-V2-8B

Text Generation • 8B • Updated Aug 9, 2025 • 9.4k • 19

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

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

AI-MO/Kimina-Prover-72B

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

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

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

liked a dataset 7 months ago

Goedel-LM/Lean-workbook-proofs

Viewer • Updated Mar 24, 2025 • 29.8k • 369 • 14

liked a dataset 8 months ago

nvidia/OpenMathReasoning

Viewer • Updated May 27, 2025 • 5.68M • 14.7k • 390

liked a model 8 months ago

deepseek-ai/DeepSeek-Prover-V2-671B

Text Generation • 685B • Updated Apr 30, 2025 • 602 • • 815

liked a dataset 8 months ago

AI-MO/CombiBench

Viewer • Updated Jul 13, 2025 • 200 • 217 • 11

liked a model 9 months ago

AI-MO/Kimina-Autoformalizer-7B

Text Generation • 8B • Updated Apr 16, 2025 • 1.1k • • 16

liked a dataset 9 months ago

AI-MO/minif2f_test

Viewer • Updated Jul 4, 2025 • 244 • 736 • 8

liked 2 models 9 months ago

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

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

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

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

liked a dataset 11 months ago

AI-MO/NuminaMath-1.5

Viewer • Updated Feb 10, 2025 • 896k • 1.68k • 167

liked 2 models about 1 year ago

ministral/Ministral-3b-instruct

Text Generation • 3B • Updated Mar 21, 2024 • 121k • 81

MaartenGr/BERTopic_Wikipedia

Text Classification • Updated May 31, 2023 • 153 • 47

liked a model over 1 year ago

openai/whisper-large-v3-turbo

Automatic Speech Recognition • 0.8B • Updated Oct 4, 2024 • 2.84M • • 2.76k

liked a Space over 1 year ago

Running on CPU Upgrade

13.8k

Open LLM Leaderboard

🏆

13.8k

Track, rank and evaluate open LLMs and chatbots

liked a model over 1 year ago

AI-MO/NuminaMath-7B-TIR

Text Generation • 7B • Updated Aug 14, 2024 • 110 • 350