elias judin

epupp's activity

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

liked a model 6 months ago

deepseek-ai/DeepSeek-Math-V2

Text Generation • 685B • Updated Nov 27, 2025 • 595 • 694

liked a dataset 10 months ago

Tencent-IMO/IMO-Lemmas

Viewer • Updated Jul 21, 2025 • 667 • 9 • 3

liked a model about 1 year ago

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

Text Generation • 685B • Updated Apr 30, 2025 • 745 • • 829

liked 2 Spaces about 1 year ago

Running on Zero

MCP

40

Moonshot Math

🌕

40

Formal reasoning model that can reason and prove theorems

Sleeping

89

DeTikZify

📈

89

Convert images and sketches into graphics programs with TikZ

liked a model about 1 year ago

Goedel-LM/Goedel-Prover-SFT

7B • Updated Apr 18, 2025 • 246 • 30

liked a dataset about 1 year ago

open-r1/OpenR1-Math-220k

Viewer • Updated Feb 18, 2025 • 450k • 22.8k • 744