Hugues de Saxcé

desaxce's activity

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

liked a model 8 days ago

AI-MO/Kimina-Autoformalizer-7B

Text Generation • Updated 6 days ago • 747 • 10

liked a dataset 8 days ago

AI-MO/minif2f_test

Viewer • Updated 7 days ago • 244 • 370 • 2

liked 2 models 8 days ago

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

Text Generation • Updated 5 days ago • 3.6k • 25

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

Text Generation • Updated 6 days ago • 11.7k • 8

upvoted a collection 8 days ago

Kimina Prover Preview

Collection

State-of-the-Art Models for Formal Mathematical Reasoning • 4 items • Updated 8 days ago • 26

New activity in AI-MO/minif2f_test 12 days ago

Fix statement AIME 1994 problem 3

3

#1 opened about 1 month ago by

desaxce

updated a model 2 months ago

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

Text Generation • Updated Feb 14 • 2

liked a dataset 2 months ago

AI-MO/NuminaMath-1.5

Viewer • Updated Feb 10 • 896k • 2.5k • 135

liked 2 models 6 months ago

ministral/Ministral-3b-instruct

Text Generation • Updated Mar 21, 2024 • 14.5k • 52

MaartenGr/BERTopic_Wikipedia

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

liked a model 7 months ago

openai/whisper-large-v3-turbo

Automatic Speech Recognition • Updated Oct 4, 2024 • 3.89M • • 2.3k

liked a Space 7 months ago

Running on CPU Upgrade

13k

13k

Open LLM Leaderboard

🏆

Track, rank and evaluate open LLMs and chatbots

liked a model 8 months ago

AI-MO/NuminaMath-7B-TIR

Text Generation • Updated Aug 14, 2024 • 8.59k • 340

upvoted an article 9 months ago

view article

Article

How NuminaMath Won the 1st AIMO Progress Prize

Jul 11, 2024

• 119

liked 3 models 9 months ago

thenlper/gte-base

Sentence Similarity • Updated Nov 16, 2024 • 256k • 116

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

Sentence Similarity • Updated Nov 15, 2024 • 2.48M • 63

Xenova/all-MiniLM-L6-v2

Feature Extraction • Updated Nov 27, 2024 • 242k • 71

liked a model 11 months ago

prometheus-eval/prometheus-7b-v2.0

Text2Text Generation • Updated Nov 29, 2024 • 15.1k • 91

liked a model about 1 year ago

meta-llama/Meta-Llama-3-8B

Text Generation • Updated Sep 27, 2024 • 544k • 6.15k