Moonshot Math
🌕
39
Formal reasoning model that can reason and prove theorems
Yong Lin
linyongver
AI & ML interests
None yet
Organizations
liked
a
Space
12 months ago