Goedel-LM/Goedel-Prover-SFT
Updated
•
549
•
13
Chi Jin
chijin
·
AI & ML interests
None yet
Recent Activity
liked
a model
7 days ago
Goedel-LM/Goedel-Prover-SFT
Organizations
chijin's activity
liked
a
model
7 days ago