Junyan Xu
alreadydone
ยท
AI & ML interests
None yet
Recent Activity
liked
a model
9 days ago
ruc-ai4math/Lean_State_Search_Random
liked
a dataset
22 days ago
facebook/natural_reasoning
liked
a model
about 1 month ago
Goedel-LM/Goedel-Prover-SFT
Organizations
None yet
models
None public yet
datasets
None public yet