1.
Mikuła, M. ; Tworkowski, S. ; Antoniak, S. ; Piotrowski, B. ; Jiang, A.Q. ; Zhou, J.P. ; Szegedy, C. ; Kuciński, Ł. ; Miłos, P. ; Wu, Y.
MAGNUSHAMMER: A TRANSFORMER-BASED APPROACH TO PREMISE SELECTION
In: 12th International Conference on Learning Representations, ICLR 2024
International Conference on Learning Representations, ICLR (2024) pp. 1-26. , 26 p.
Scopus
Locked Publication:35516989 Admin approved Core Conference paper (Conference paper ) Scientific
Conference paper (Conference paper) | Scientific[35516989] [Admin approved]
2.
Zhou, J.P. ; Staats, C. ; Li, W. ; Szegedy, C. ; Weinberger, K.Q. ; Wu, Y.
Don't trust: verify - grounding llm quantitative reasoning with autoformalization
In: 12th International Conference on Learning Representations, ICLR 2024
International Conference on Learning Representations, ICLR (2024) pp. 1-20. , 20 p.
Scopus Teljes dokumentum
Locked Publication:35517008 Admin approved Core Conference paper (Conference paper ) Scientific
Conference paper (Conference paper) | Scientific[35517008] [Admin approved]
3.
Nawrot, P. ; Tworkowski, S. ; Tyrolski, M. ; Kaiser, L. ; Wu, Y. ; Szegedy, C. ; Michalewski, H.
Hierarchical Transformers Are More Efficient Language Models
In: Marine, Carpuat; Marie-Catherine, de Marneffe; Ivan, Vladimir Meza Ruiz (eds.) Findings of the Association for Computational Linguistics: NAACL 2022 - Findings
[s.l.], International : ACL (2022) pp. 1559-1571. , 13 p.
Scopus
Locked Publication:35516986 Validated Core Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[35516986] [Validated]
4.
Wu, Y. ; Rabe, M.N. ; Hutchins, D. ; Szegedy, C.
Memorizing transformers
In: 10th International Conference on Learning Representations, ICLR 2022
International Conference on Learning Representations, ICLR (2022) pp. 1-19. , 19 p.
Scopus Teljes dokumentum
Locked Publication:35517001 Admin approved Core Conference paper (Conference paper ) Scientific
Conference paper (Conference paper) | Scientific[35517001] [Admin approved]
5.
Wu, Y. ; Jiang, A.Q. ; Li, W. ; Rabe, M.N. ; Staats, C. ; Jamnik, M. ; Szegedy, C.
Autoformalization with Large Language Models
In: Koyejo, S.; Mohamed, S.; Agarwal, A.; Belgrave, D.; Cho, K.; Oh, A. (eds.) 36th Conference on Neural Information Processing Systems, NeurIPS 2022
San Diego, United States of America : Neural Information Processing Systems Foundation (2022) Paper: 189185 , 16 p.
WoS Scopus
Centrally managed Publication:35517006 Validated Core Citing Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[35517006] [Validated]
6.
Wu, Y. ; Jiang, A.Q. ; Li, W. ; Rabe, M.N. ; Staats, C. ; Jamnik, M. ; Szegedy, C.
Autoformalization with Large Language Models
ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 35 pp. 32353-32368. , 16 p. (2022)
Scopus
Locked Publication:35523689 Validated Core Journal Article (Conference paper in journal ) Scientific
Conference paper in journal (Journal Article) | Scientific[35523689] [Validated]
7.
Rabe, M.N. ; Lee, D. ; Bansal, K. ; Szegedy, C.
MATHEMATICAL REASONING VIA SELF-SUPERVISED SKIP-TREE TRAINING
In: International Conference on Learning Representations ICLR 2021 - 9th International Conference on Learning Representations
Wien, Bécs, Austria : International Conference on Learning Representations, ICLR (2021) pp. 1-19. , 19 p.
Scopus
Locked Publication:35516975 Admin approved Core Conference paper (Conference paper ) Scientific
Conference paper (Conference paper) | Scientific[35516975] [Admin approved]
8.
Rabe, M.N. ; Szegedy, C.
Towards the Automatic Mathematician
LECTURE NOTES IN COMPUTER SCIENCE 12699 pp. 25-37. , 13 p. (2021)
DOI WoS Scopus
Centrally managed Publication:35516977 Validated Core Journal Article (Article ) Scientific
Citing papers: 6 | Independent citation: 6 | Self citation: 0 | Unknown citation: 0 | Number of citations in WoS: 6 | Number of citations in Scopus: 1 | WoS/Scopus assigned: 6 | Number of citations with DOI: 6
Article (Journal Article) | Scientific[35516977] [Validated]
All citations+mentions: 6, External citations: 6, Self citations: 0, Unhandled citations: 0
9.
Wu, Y. ; Rabe, M. ; Li, W. ; Ba, J. ; Grosse, R. ; Szegedy, C.
LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning
In: Meila, M; Zhang, T (eds.) 38th International Conference on Machine Learning, ICML 2021
Maastricht, Netherlands : Machine Learning Research Press (2021) pp. 11251-11262. , 12 p.
Scopus
Centrally managed Publication:35516991 Validated Core Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[35516991] [Validated]
10.
Szegedy, Christian ; Markus, Rabe ; Henryk, Michalewski
Retrieval-augmented proof step synthesis
In: 6th Conference on Artificial Intelligence and Theorem Proving : AITP 2021
[s.l.], International : s.n. (2021) pp. 1-3. , 3 p.
Teljes dokumentum
Locked Publication:35555985 Published Core Conference paper (Conference paper ) Scientific
Conference paper (Conference paper) | Scientific[35555985] [Approved]
2026-01-18 05:56