MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics
Get full text
Paper
Journal Article
Universal Policies for Software-Defined MDPs
Selsam, Daniel, Han, Jesse Michael, de Moura, Leonardo, Godefroid, Patrice
Published in arXiv.org (21.12.2020)
Published in arXiv.org (21.12.2020)
Get full text
Paper
Journal Article
Proof Artifact Co-training for Theorem Proving with Language Models
Han, Jesse Michael, Rute, Jason, Wu, Yuhuai, Ayers, Edward W, Polu, Stanislas
Published in arXiv.org (16.03.2022)
Published in arXiv.org (16.03.2022)
Get full text
Paper
Journal Article
Formal Mathematics Statement Curriculum Learning
Polu, Stanislas, Han, Jesse Michael, Zheng, Kunhao, Baksys, Mantas, Babuschkin, Igor, Sutskever, Ilya
Year of Publication 02.02.2022
Year of Publication 02.02.2022
Get full text
Journal Article
A formalization of forcing and the unprovability of the continuum hypothesis
Get full text
Paper
Journal Article
Unsupervised Neural Machine Translation with Generative Language Models Only
Han, Jesse Michael, Babuschkin, Igor, Edwards, Harrison, Neelakantan, Arvind, Xu, Tao, Polu, Stanislas, Ray, Alex, Shyam, Pranav, Ramesh, Aditya, Radford, Alec, Sutskever, Ilya
Published in arXiv.org (11.10.2021)
Published in arXiv.org (11.10.2021)
Get full text
Paper
Journal Article
Text and Code Embeddings by Contrastive Pre-Training
Neelakantan, Arvind, Xu, Tao, Puri, Raul, Radford, Alec, Han, Jesse Michael, Tworek, Jerry, Yuan, Qiming, Tezak, Nikolas, Kim, Jong Wook, Hallacy, Chris, Heidecke, Johannes, Shyam, Pranav, Power, Boris, Nekoul, Tyna Eloundou, Sastry, Girish, Krueger, Gretchen, Schnurr, David, Felipe Petroski Such, Hsu, Kenny, Thompson, Madeleine, Khan, Tabarak, Toki Sherbakov, Jang, Joanne, Welinder, Peter, Weng, Lilian
Published in arXiv.org (24.01.2022)
Published in arXiv.org (24.01.2022)
Get full text
Paper
Journal Article
Formal Mathematics Statement Curriculum Learning
Polu, Stanislas, Han, Jesse Michael, Zheng, Kunhao, Mantas Baksys, Babuschkin, Igor, Sutskever, Ilya
Published in arXiv.org (03.02.2022)
Get full text
Published in arXiv.org (03.02.2022)
Paper