TY  - CONF
AU  - Mikuła, M.
AU  - Tworkowski, S.
AU  - Antoniak, S.
AU  - Piotrowski, B.
AU  - Jiang, A.Q.
AU  - Zhou, J.P.
AU  - Szegedy, Krisztián
AU  - Kuciński, Ł.
AU  - Miłos, P.
AU  - Wu, Y.
TI  - MAGNUSHAMMER: A TRANSFORMER-BASED APPROACH TO PREMISE SELECTION
T2  - 12th International Conference on Learning Representations, ICLR 2024
PB  - International Conference on Learning Representations, ICLR
PY  - 2024
SP  - 1
EP  - 26
PG  - 26
UR  - https://m2.mtmt.hu/api/publication/35516989
ID  - 35516989
LA  - English
DB  - MTMT
ER  - 

TY  - CONF
AU  - Zhou, J.P.
AU  - Staats, C.
AU  - Li, W.
AU  - Szegedy, Krisztián
AU  - Weinberger, K.Q.
AU  - Wu, Y.
TI  - Don't trust: verify - grounding llm quantitative reasoning with autoformalization
T2  - 12th International Conference on Learning Representations, ICLR 2024
PB  - International Conference on Learning Representations, ICLR
PY  - 2024
SP  - 1
EP  - 20
PG  - 20
UR  - https://m2.mtmt.hu/api/publication/35517008
ID  - 35517008
LA  - English
DB  - MTMT
ER  - 

TY  - CHAP
AU  - Nawrot, P.
AU  - Tworkowski, S.
AU  - Tyrolski, M.
AU  - Kaiser, L.
AU  - Wu, Y.
AU  - Szegedy, Krisztián
AU  - Michalewski, H.
ED  - Marine, Carpuat
ED  - Marie-Catherine, de Marneffe
ED  - Ivan, Vladimir Meza Ruiz
TI  - Hierarchical Transformers Are More Efficient Language Models
T2  - Findings of the Association for Computational Linguistics: NAACL 2022 - Findings
PB  - Association for Computational Linguistics (ACL)
CY  - [s.l.]
SN  - 9781955917766
PY  - 2022
SP  - 1559
EP  - 1571
PG  - 13
UR  - https://m2.mtmt.hu/api/publication/35516986
ID  - 35516986
LA  - English
DB  - MTMT
ER  - 

TY  - CONF
AU  - Wu, Y.
AU  - Rabe, M.N.
AU  - Hutchins, D.
AU  - Szegedy, Krisztián
TI  - Memorizing transformers
T2  - 10th International Conference on Learning Representations, ICLR 2022
PB  - International Conference on Learning Representations, ICLR
T3  - Introduction to Hardware Security and Trust
PY  - 2022
SP  - 1
EP  - 19
PG  - 19
UR  - https://m2.mtmt.hu/api/publication/35517001
ID  - 35517001
LA  - English
DB  - MTMT
ER  - 

TY  - CHAP
AU  - Wu, Y.
AU  - Jiang, A.Q.
AU  - Li, W.
AU  - Rabe, M.N.
AU  - Staats, C.
AU  - Jamnik, M.
AU  - Szegedy, Krisztián
ED  - Koyejo, S.
ED  - Mohamed, S.
ED  - Agarwal, A.
ED  - Belgrave, D.
ED  - Cho, K.
ED  - Oh, A.
TI  - Autoformalization with Large Language Models
T2  - 36th Conference on Neural Information Processing Systems, NeurIPS 2022
VL  - 35
PB  - Neural Information Processing Systems Foundation
CY  - San Diego, California
SN  - 9781713871088
T3  - Advances in Neural Information Processing Systems, ISSN 1049-5258 ; 35.
PY  - 2022
PG  - 16
UR  - https://m2.mtmt.hu/api/publication/35517006
ID  - 35517006
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Wu, Y.
AU  - Jiang, A.Q.
AU  - Li, W.
AU  - Rabe, M.N.
AU  - Staats, C.
AU  - Jamnik, M.
AU  - Szegedy, Krisztián
TI  - Autoformalization with Large Language Models
JF  - ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS
J2  - ADV NEURAL INF PROC
VL  - 35
PY  - 2022
SP  - 32353
EP  - 32368
PG  - 16
SN  - 1049-5258
UR  - https://m2.mtmt.hu/api/publication/35523689
ID  - 35523689
LA  - English
DB  - MTMT
ER  - 

TY  - CONF
AU  - Rabe, M.N.
AU  - Lee, D.
AU  - Bansal, K.
AU  - Szegedy, Krisztián
TI  - MATHEMATICAL REASONING VIA SELF-SUPERVISED SKIP-TREE TRAINING
T2  - ICLR 2021 - 9th International Conference on Learning Representations
PB  - International Conference on Learning Representations, ICLR
C1  - Vienna
PY  - 2021
SP  - 1
EP  - 19
PG  - 19
UR  - https://m2.mtmt.hu/api/publication/35516975
ID  - 35516975
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Rabe, M.N.
AU  - Szegedy, Krisztián
TI  - Towards the Automatic Mathematician
JF  - LECTURE NOTES IN COMPUTER SCIENCE
J2  - LNCS
VL  - 12699
PY  - 2021
SP  - 25
EP  - 37
PG  - 13
SN  - 0302-9743
DO  - 10.1007/978-3-030-79876-5_2
UR  - https://m2.mtmt.hu/api/publication/35516977
ID  - 35516977
LA  - English
DB  - MTMT
ER  - 

TY  - CHAP
AU  - Wu, Y.
AU  - Rabe, M.
AU  - Li, W.
AU  - Ba, J.
AU  - Grosse, R.
AU  - Szegedy, Krisztián
ED  - Meila, M
ED  - Zhang, T
TI  - LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning
T2  - 38th International Conference on Machine Learning, ICML 2021
VL  - 139
PB  - ML Research Press
CY  - Maastricht
SN  - 9781713845065
T3  - Proceedings of Machine Learning Research, ISSN 2640-3498 ; 139.
PY  - 2021
SP  - 11251
EP  - 11262
PG  - 12
UR  - https://m2.mtmt.hu/api/publication/35516991
ID  - 35516991
LA  - English
DB  - MTMT
ER  - 

TY  - CONF
AU  - Szegedy, Krisztián
AU  - Markus, Rabe
AU  - Henryk, Michalewski
TI  - Retrieval-augmented proof step synthesis
T2  - 6th Conference on Artificial Intelligence and Theorem Proving
PB  - s.n.
C1  - [s.l.]
PY  - 2021
SP  - 1
EP  - 3
PG  - 3
UR  - https://m2.mtmt.hu/api/publication/35555985
ID  - 35555985
LA  - English
DB  - MTMT
ER  -