elias judin

epupp's activity

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

liked a model 30 days ago

deepseek-ai/DeepSeek-Math-V2

Text Generation • 685B • Updated 30 days ago • 11.8k • 667

liked a dataset 5 months ago

Tencent-IMO/IMO-Lemmas

Viewer • Updated Jul 21 • 667 • 194 • 3

upvoted an article 6 months ago

view article

Article

Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models

• 

Jul 10

•

53

liked a model 8 months ago

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

Text Generation • 685B • Updated Apr 30 • 628 • • 815

liked 2 Spaces 9 months ago

Running on Zero

MCP

39

Moonshot Math

🌕

39

Formal reasoning model that can reason and prove theorems

Running on L4

86

DeTikZify

📈

86

Convert images and sketches into graphics programs with TikZ

upvoted a collection 9 months ago

DeTikZify

Collection

Synthesizing Graphics Programs for Scientific Figures and Sketches with TikZ • 13 items • Updated Jun 27 • 30

liked a model 10 months ago

Goedel-LM/Goedel-Prover-SFT

7B • Updated Apr 18 • 69 • 28

liked a dataset 10 months ago

open-r1/OpenR1-Math-220k

Viewer • Updated Feb 18 • 450k • 13.3k • 687

upvoted 4 collections over 1 year ago

AIMO Progress Prize

Collection

Models and datasets used in the winning solution to the AIMO 1st Progress Prize • 7 items • Updated Jul 19, 2024 • 13

NuminaMath

Collection

Datasets and models for training SOTA math LLMs. See our GitHub for training & inference code: https://github.com/project-numina/aimo-progress-prize • 7 items • Updated Feb 10 • 79

Qwen2-Math

Collection

Math-specific model series based on Qwen2 • 8 items • Updated Jul 21 • 52

Qwen2

Collection

Qwen2 language models, including pretrained and instruction-tuned models of 5 sizes, including 0.5B, 1.5B, 7B, 57B-A14B, and 72B. • 39 items • Updated Jul 21 • 374