Christian Szegedy

ORCID：0000-0003-4295-1851

发表论文 61 篇 · 总被引 174492 次 · h-index 26

代表论文

• Graph Representations for Higher-Order Logic and Theorem Proving (2020 · 被引 68)
• HOList: An Environment for Machine Learning of Higher Order Logic Theorem Proving (2019 · International Conference on Machine Learning · 被引 68)
• Autoformalization with Large Language Models (2022 · arXiv (Cornell University) · 被引 43)
• Memorizing Transformers (2022 · arXiv (Cornell University) · 被引 40)
• Hierarchical Transformers Are More Efficient Language Models (2022 · Findings of the Association for Computational Linguistics: NAACL 2022 · 被引 32)
• A Promising Path Towards Autoformalization and General Artificial Intelligence (2020 · Lecture notes in computer science · 被引 26)