Junyan Xu
alreadydone
ยท
AI & ML interests
None yet
Recent Activity
liked
a dataset
5 days ago
AI-MO/NuminaMath-LEAN
liked
a dataset
17 days ago
INSAIT-Institute/OPC
upvoted
an
article
26 days ago
Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models
Organizations
None yet