Hugues de Saxcé

desaxce's activity

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

liked 2 models 29 days ago

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

Text Generation • 33B • Updated 5 days ago • 2.64k • 34

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

Text Generation • 8B • Updated 5 days ago • 7.3k • 10

liked 3 models about 1 month ago

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

Text Generation • 2B • Updated Jul 10 • 71.3k • • 7

AI-MO/Kimina-Prover-72B

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

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

Text Generation • 8B • Updated Jul 10 • 2.03k • • 7

liked a dataset about 2 months ago

Goedel-LM/Lean-workbook-proofs

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

liked a dataset 3 months ago

nvidia/OpenMathReasoning

Viewer • Updated May 27 • 5.68M • 12.9k • 323

liked a model 4 months ago

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

Text Generation • 685B • Updated Apr 30 • 1.73k • • 808

liked a dataset 4 months ago

AI-MO/CombiBench

Viewer • Updated Jul 13 • 200 • 234 • 9

liked a model 4 months ago

AI-MO/Kimina-Autoformalizer-7B

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

liked a dataset 4 months ago

AI-MO/minif2f_test

Viewer • Updated Jul 4 • 244 • 802 • 6

liked 2 models 4 months ago

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

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

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

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

liked a dataset 6 months ago

AI-MO/NuminaMath-1.5

Viewer • Updated Feb 10 • 896k • 3.81k • 156

liked 2 models 10 months ago

ministral/Ministral-3b-instruct

Text Generation • 3B • Updated Mar 21, 2024 • 22.9k • 65

MaartenGr/BERTopic_Wikipedia

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

liked a model 11 months ago

openai/whisper-large-v3-turbo

Automatic Speech Recognition • 0.8B • Updated Oct 4, 2024 • 3.42M • • 2.55k

liked a Space 11 months ago

Running on CPU Upgrade

13.4k

13.4k

Open LLM Leaderboard

🏆

Track, rank and evaluate open LLMs and chatbots

liked a model 12 months ago

AI-MO/NuminaMath-7B-TIR

Text Generation • 7B • Updated Aug 14, 2024 • 1.19k • 347

liked a model about 1 year ago

thenlper/gte-base

Sentence Similarity • 0.1B • Updated Nov 16, 2024 • 641k • • 124