Junyan Xu
alreadydone
ยท
AI & ML interests
None yet
Recent Activity
liked
a model
18 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
models
None public yet
datasets
None public yet