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