@CONFERENCE{MTMT:35516989,
	title = {MAGNUSHAMMER: A TRANSFORMER-BASED APPROACH TO PREMISE SELECTION},
	url = {https://m2.mtmt.hu/api/publication/35516989},
	author = {Mikuła, M. and Tworkowski, S. and Antoniak, S. and Piotrowski, B. and Jiang, A.Q. and Zhou, J.P. and Szegedy, Krisztián and Kuciński, Ł. and Miłos, P. and Wu, Y.},
	booktitle = {12th International Conference on Learning Representations, ICLR 2024},
	unique-id = {35516989},
	year = {2024},
	pages = {1-26}
}

@CONFERENCE{MTMT:35517008,
	title = {Don't trust: verify - grounding llm quantitative reasoning with autoformalization},
	url = {https://m2.mtmt.hu/api/publication/35517008},
	author = {Zhou, J.P. and Staats, C. and Li, W. and Szegedy, Krisztián and Weinberger, K.Q. and Wu, Y.},
	booktitle = {12th International Conference on Learning Representations, ICLR 2024},
	unique-id = {35517008},
	year = {2024},
	pages = {1-20}
}

@inproceedings{MTMT:35516986,
	title = {Hierarchical Transformers Are More Efficient Language Models},
	url = {https://m2.mtmt.hu/api/publication/35516986},
	author = {Nawrot, P. and Tworkowski, S. and Tyrolski, M. and Kaiser, L. and Wu, Y. and Szegedy, Krisztián and Michalewski, H.},
	booktitle = {Findings of the Association for Computational Linguistics: NAACL 2022 - Findings},
	unique-id = {35516986},
	year = {2022},
	pages = {1559-1571}
}

@CONFERENCE{MTMT:35517001,
	title = {Memorizing transformers},
	url = {https://m2.mtmt.hu/api/publication/35517001},
	author = {Wu, Y. and Rabe, M.N. and Hutchins, D. and Szegedy, Krisztián},
	booktitle = {10th International Conference on Learning Representations, ICLR 2022},
	unique-id = {35517001},
	year = {2022},
	pages = {1-19}
}

@inproceedings{MTMT:35517006,
	title = {Autoformalization with Large Language Models},
	url = {https://m2.mtmt.hu/api/publication/35517006},
	author = {Wu, Y. and Jiang, A.Q. and Li, W. and Rabe, M.N. and Staats, C. and Jamnik, M. and Szegedy, Krisztián},
	booktitle = {36th Conference on Neural Information Processing Systems, NeurIPS 2022},
	volume = {35},
	unique-id = {35517006},
	year = {2022}
}

@article{MTMT:35523689,
	title = {Autoformalization with Large Language Models},
	url = {https://m2.mtmt.hu/api/publication/35523689},
	author = {Wu, Y. and Jiang, A.Q. and Li, W. and Rabe, M.N. and Staats, C. and Jamnik, M. and Szegedy, Krisztián},
	journal-iso = {ADV NEURAL INF PROC},
	journal = {ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS},
	volume = {35},
	unique-id = {35523689},
	issn = {1049-5258},
	year = {2022},
	pages = {32353-32368}
}

@CONFERENCE{MTMT:35516975,
	title = {MATHEMATICAL REASONING VIA SELF-SUPERVISED SKIP-TREE TRAINING},
	url = {https://m2.mtmt.hu/api/publication/35516975},
	author = {Rabe, M.N. and Lee, D. and Bansal, K. and Szegedy, Krisztián},
	booktitle = {ICLR 2021 - 9th International Conference on Learning Representations},
	unique-id = {35516975},
	year = {2021},
	pages = {1-19}
}

@article{MTMT:35516977,
	title = {Towards the Automatic Mathematician},
	url = {https://m2.mtmt.hu/api/publication/35516977},
	author = {Rabe, M.N. and Szegedy, Krisztián},
	doi = {10.1007/978-3-030-79876-5_2},
	journal-iso = {LNCS},
	journal = {LECTURE NOTES IN COMPUTER SCIENCE},
	volume = {12699},
	unique-id = {35516977},
	issn = {0302-9743},
	year = {2021},
	eissn = {1611-3349},
	pages = {25-37}
}

@inproceedings{MTMT:35516991,
	title = {LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning},
	url = {https://m2.mtmt.hu/api/publication/35516991},
	author = {Wu, Y. and Rabe, M. and Li, W. and Ba, J. and Grosse, R. and Szegedy, Krisztián},
	booktitle = {38th International Conference on Machine Learning, ICML 2021},
	volume = {139},
	unique-id = {35516991},
	year = {2021},
	pages = {11251-11262}
}

@CONFERENCE{MTMT:35555985,
	title = {Retrieval-augmented proof step synthesis},
	url = {https://m2.mtmt.hu/api/publication/35555985},
	author = {Szegedy, Krisztián and Markus, Rabe and Henryk, Michalewski},
	booktitle = {6th Conference on Artificial Intelligence and Theorem Proving},
	unique-id = {35555985},
	year = {2021},
	pages = {1-3}
}