elias judin

epupp's activity

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

liked a dataset 4 months ago

Tencent-IMO/IMO-Lemmas

Viewer • Updated Jul 21 • 667 • 122 • 3

liked a model 7 months ago

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

Text Generation • 685B • Updated Apr 30 • 400 • • 814

liked 2 Spaces 8 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

liked a model 9 months ago

Goedel-LM/Goedel-Prover-SFT

7B • Updated Apr 18 • 330 • 29

liked a dataset 9 months ago

open-r1/OpenR1-Math-220k

Viewer • Updated Feb 18 • 450k • 11.2k • 668