Hugues de Saxcé

desaxce's activity

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

liked a dataset 11 months ago

AI-MO/NuminaMath-LEAN

Viewer • Updated Jul 31, 2025 • 104k • 365 • 60

liked 5 models about 1 year ago

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

Text Generation • 33B • Updated Aug 27, 2025 • 18.6k • • 72

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

Text Generation • 8B • Updated Aug 9, 2025 • 5.92k • • 28

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

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

AI-MO/Kimina-Prover-72B

Text Generation • 73B • Updated Jul 10, 2025 • 144 • 35

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

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

liked 2 datasets about 1 year ago

Goedel-LM/Lean-workbook-proofs

Viewer • Updated Mar 24, 2025 • 29.8k • 440 • 16

nvidia/OpenMathReasoning

Viewer • Updated May 27, 2025 • 5.68M • 20.6k • 467

liked a model about 1 year ago

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

Text Generation • 685B • Updated Apr 30, 2025 • 656 • 831

liked a dataset over 1 year ago

AI-MO/CombiBench

Viewer • Updated Jul 13, 2025 • 200 • 209 • 12

liked a model over 1 year ago

AI-MO/Kimina-Autoformalizer-7B

Text Generation • 8B • Updated Apr 16, 2025 • 451 • • 20

liked a dataset over 1 year ago

AI-MO/minif2f_test

Viewer • Updated Jul 4, 2025 • 244 • 331 • 9

liked 2 models over 1 year ago

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

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

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

Text Generation • 2B • Updated Apr 16, 2025 • 193 • • 12

liked a dataset over 1 year ago

AI-MO/NuminaMath-1.5

Viewer • Updated Jan 29 • 896k • 8.09k • 191

liked 3 models almost 2 years ago

ministral/Ministral-3b-instruct

Text Generation • 3B • Updated Mar 21, 2024 • 9.69k • 86

MaartenGr/BERTopic_Wikipedia

Text Classification • Updated May 31, 2023 • 158 • 49

openai/whisper-large-v3-turbo

Automatic Speech Recognition • 0.8B • Updated Oct 4, 2024 • 8.59M • • 3.2k

liked a Space almost 2 years ago

Running on CPU Upgrade

14.1k

Open LLM Leaderboard

🏆

14.1k

Track, rank and evaluate open LLMs and chatbots

liked a model almost 2 years ago

AI-MO/NuminaMath-7B-TIR

Text Generation • 7B • Updated Aug 14, 2024 • 369 • 351