Formal mathematics statement curriculum learning. Polu, Stanislas et al. arXiv 2022. [paper] Proof Artifact Co-Training for Theorem Proving with Language Models. Jesse Michael Han et al. ICLR 2022. [paper] Solving quantitative reasoning problems with language models. Lewkowycz, Aitor et al. ar...
Formal mathematics statement curriculum learning. Polu, Stanislas et al. arXiv 2022. [paper] Proof Artifact Co-Training for Theorem Proving with Language Models. Jesse Michael Han et al. ICLR 2022. [paper] Solving quantitative reasoning problems with language models. Lewkowycz, Aitor et al. ar...