Junyan Xu
alreadydone
·
AI & ML interests
None yet
Recent Activity
liked
a model
19 days ago
ruc-ai4math/Lean_State_Search_Random
liked
a dataset
about 1 month ago
facebook/natural_reasoning
liked
a model
about 2 months ago
Goedel-LM/Goedel-Prover-SFT
Organizations
None yet