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
Zárolt Közlemény:35516989 Admin láttamozott Forrás Egyéb konferenciaközlemény (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Egyéb konferenciaközlemény) | Tudományos[35516989] [Admin láttamozott]
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
Zárolt Közlemény:35517008 Admin láttamozott Forrás Egyéb konferenciaközlemény (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Egyéb konferenciaközlemény) | Tudományos[35517008] [Admin láttamozott]
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 (szerk.) Findings of the Association for Computational Linguistics: NAACL 2022 - Findings
[s.l.], Nemzetközi : Association for Computational Linguistics (ACL) (2022) pp. 1559-1571. , 13 p.
Scopus
Zárolt Közlemény:35516986 Egyeztetett Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[35516986] [Egyeztetett]
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
Zárolt Közlemény:35517001 Admin láttamozott Forrás Egyéb konferenciaközlemény (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Egyéb konferenciaközlemény) | Tudományos[35517001] [Admin láttamozott]
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. (szerk.) 36th Conference on Neural Information Processing Systems, NeurIPS 2022
San Diego (CA), Amerikai Egyesült Államok : Neural Information Processing Systems Foundation (2022) Paper: 189185 , 16 p.
WoS Scopus
Zárolt Közlemény:35517006 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[35517006] [Egyeztetett]
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
Zárolt Közlemény:35523689 Egyeztetett Forrás Folyóiratcikk (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Folyóiratcikk) | Tudományos[35523689] [Egyeztetett]
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
Vienna, Ausztria : International Conference on Learning Representations, ICLR (2021) pp. 1-19. , 19 p.
Scopus
Zárolt Közlemény:35516975 Admin láttamozott Forrás Egyéb konferenciaközlemény (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Egyéb konferenciaközlemény) | Tudományos[35516975] [Admin láttamozott]
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
Zárolt Közlemény:35516977 Egyeztetett Forrás Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 5 | Független: 5 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 5 | WoS/Scopus jelölt: 5 | DOI jelölt: 5
Szakcikk (Folyóiratcikk) | Tudományos[35516977] [Egyeztetett]
Nyilvános idéző összesen: 5, Független: 5, Függő: 0, Nem jelölt: 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 (szerk.) 38th International Conference on Machine Learning, ICML 2021
Maastricht, Hollandia : ML Research Press (2021) pp. 11251-11262. , 12 p.
Scopus
Zárolt Közlemény:35516991 Egyeztetett Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[35516991] [Egyeztetett]
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.], Nemzetközi : s.n. (2021) pp. 1-3. , 3 p.
Teljes dokumentum
Zárolt Közlemény:35555985 Nyilvános Forrás Egyéb konferenciaközlemény (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Egyéb konferenciaközlemény) | Tudományos[35555985] [Nyilvános]
2025-12-13 10:36