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