Hugues de Saxcé

desaxce's activity

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

liked a dataset 19 days ago

nvidia/OpenMathReasoning

Viewer • Updated 15 days ago • 5.68M • 26.8k • 277

authored a paper about 1 month ago

Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning

Paper • 2504.11354 • Published Apr 15 • 5

liked a model about 1 month ago

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

Text Generation • Updated Apr 30 • 5.6k • • 797

liked a dataset about 1 month ago

AI-MO/CombiBench

Viewer • Updated May 7 • 200 • 276 • 6

liked a model about 2 months ago

AI-MO/Kimina-Autoformalizer-7B

Text Generation • Updated Apr 16 • 3.93k • • 13

liked a dataset about 2 months ago

AI-MO/minif2f_test

Viewer • Updated 13 days ago • 244 • 672 • 5

liked 2 models about 2 months ago

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

Text Generation • Updated Apr 17 • 6.23k • • 34

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

Text Generation • Updated Apr 16 • 3.97k • 10

upvoted a collection about 2 months ago

Kimina Prover Preview

Collection

State-of-the-Art Models for Formal Mathematical Reasoning • 5 items • Updated Apr 28 • 31

New activity in AI-MO/minif2f_test 2 months ago

Fix statement AIME 1994 problem 3

3

#1 opened 3 months ago by

desaxce

updated a model 4 months ago

desaxce/Qwen2.5-Coder-7B-Instruct

Text Generation • Updated Feb 14 • 11

liked a dataset 4 months ago

AI-MO/NuminaMath-1.5

Viewer • Updated Feb 10 • 896k • 1.99k • 146

liked 3 models 8 months ago

ministral/Ministral-3b-instruct

Text Generation • Updated Mar 21, 2024 • 26k • 59

MaartenGr/BERTopic_Wikipedia

Text Classification • Updated May 31, 2023 • 1.68k • 43

openai/whisper-large-v3-turbo

Automatic Speech Recognition • Updated Oct 4, 2024 • 3.42M • • 2.43k

liked a Space 9 months ago

Running on CPU Upgrade

13.2k

13.2k

Open LLM Leaderboard

🏆

Track, rank and evaluate open LLMs and chatbots

liked a model 10 months ago

AI-MO/NuminaMath-7B-TIR

Text Generation • Updated Aug 14, 2024 • 2.42k • 344

upvoted an article 11 months ago

view article

Article

How NuminaMath Won the 1st AIMO Progress Prize

By and 7 others •

Jul 11, 2024

• 120

liked 2 models 11 months ago

thenlper/gte-base

Sentence Similarity • Updated Nov 16, 2024 • 681k • • 121

Alibaba-NLP/gte-base-en-v1.5

Sentence Similarity • Updated Nov 15, 2024 • 1.13M • 64