Hugues de Saxcé

desaxce's activity

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

liked 2 models about 1 month ago

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

Text Generation • 33B • Updated 18 days ago • 2.34k • 34

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

Text Generation • 8B • Updated 18 days ago • 8.92k • 13

liked 3 models about 2 months ago

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

Text Generation • 2B • Updated Jul 10 • 21.7k • • 8

AI-MO/Kimina-Prover-72B

Text Generation • 73B • Updated Jul 10 • 522 • • 27

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

Text Generation • 8B • Updated Jul 10 • 1.14k • • 9

liked a dataset 2 months ago

Goedel-LM/Lean-workbook-proofs

Viewer • Updated Mar 24 • 29.8k • 419 • 12

liked a dataset 3 months ago

nvidia/OpenMathReasoning

Viewer • Updated May 27 • 5.68M • 8.83k • 330

liked a model 4 months ago

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

Text Generation • 685B • Updated Apr 30 • 1.67k • • 810

liked a dataset 4 months ago

AI-MO/CombiBench

Viewer • Updated Jul 13 • 200 • 180 • 10

liked a model 4 months ago

AI-MO/Kimina-Autoformalizer-7B

Text Generation • 8B • Updated Apr 16 • 2.09k • • 13

liked a dataset 4 months ago

AI-MO/minif2f_test

Viewer • Updated Jul 4 • 244 • 1.1k • 6

liked 2 models 4 months ago

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

Text Generation • 8B • Updated Apr 17 • 2.08k • • 36

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

Text Generation • 2B • Updated Apr 16 • 1.44k • 10

liked a dataset 7 months ago

AI-MO/NuminaMath-1.5

Viewer • Updated Feb 10 • 896k • 3.78k • 158

liked 2 models 10 months ago

ministral/Ministral-3b-instruct

Text Generation • 3B • Updated Mar 21, 2024 • 22.2k • 66

MaartenGr/BERTopic_Wikipedia

Text Classification • Updated May 31, 2023 • 447 • 44

liked a model 11 months ago

openai/whisper-large-v3-turbo

Automatic Speech Recognition • 0.8B • Updated Oct 4, 2024 • 3.34M • • 2.57k

liked a Space 11 months ago

Running on CPU Upgrade

13.5k

13.5k

Open LLM Leaderboard

🏆

Track, rank and evaluate open LLMs and chatbots

liked 2 models about 1 year ago

AI-MO/NuminaMath-7B-TIR

Text Generation • 7B • Updated Aug 14, 2024 • 1.25k • 348

thenlper/gte-base

Sentence Similarity • 0.1B • Updated Nov 16, 2024 • 833k • • 126