elias judin
epupp
ยท
AI & ML interests
None yet
Recent Activity
liked
a model
14 days ago
deepseek-ai/DeepSeek-Math-V2
liked
a dataset
5 months ago
Tencent-IMO/IMO-Lemmas
upvoted
an
article
5 months ago
Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models
Organizations
None yet