Goedel-LM/Goedel-Prover-SFT
Updated
•
16.7k
•
27
Chi Jin
chijin
·
AI & ML interests
None yet
Organizations
chijin's activity
liked
a
model
3 months ago