arxiv:2502.07640
Shange Tang
shangetang
AI & ML interests
None yet
Recent Activity
authored
a paper
5 days ago
On the Provable Advantage of Unsupervised Pretraining
authored
a paper
5 days ago
Maximum Likelihood Estimation is All You Need for Well-Specified
Covariate Shift
authored
a paper
5 days ago
Goedel-Prover: A Frontier Model for Open-Source Automated Theorem
Proving
Organizations
models
None public yet
datasets
None public yet