Goedel-LM/Goedel-Prover-SFT
Updated
•
16.7k
•
27
Shange Tang
shangetang
AI & ML interests
None yet
Recent Activity
authored
a paper
about 1 month ago
On the Provable Advantage of Unsupervised Pretraining
authored
a paper
about 1 month ago
Maximum Likelihood Estimation is All You Need for Well-Specified
Covariate Shift
authored
a paper
about 1 month ago
Goedel-Prover: A Frontier Model for Open-Source Automated Theorem
Proving
Organizations
shangetang's activity
liked
a
model
3 months ago
liked
a
Space
3 months ago