🧑‍🔬 Lukasz Kaiser — all works

85 works · ← Lukasz Kaiser

1. Attention Is All You NeedarXiv:1706.03762Ashish Vaswani, Noam Shazeer, Niki Parmar, et al.2017 · 17,458 citations
2. Google's Neural Machine Translation System: Bridging the Gap between Human and Machine Translation ↗arXiv:1609.08144 · no summary yetYonghui Wu et al.2016 · 6,904 citations
3. Training Verifiers to Solve Math Word ProblemsarXiv:2110.14168Karl Cobbe, Vineet Kosaraju, Mohammad Bavarian, et al.2021 · 3,796 citations
4. Reformer: The Efficient TransformerarXiv:2001.04451Nikita Kitaev, Łukasz Kaiser, Anselm Levskaya2020 · 829 citations
5. Grammar as a Foreign Language ↗arXiv:1412.7449 · no summary yetOriol Vinyals et al.2014 · 687 citations
6. Universal Transformers ↗arXiv:1807.03819 · no summary yetMostafa Dehghani et al.2018 · 637 citations
7. Regularizing Neural Networks by Penalizing Confident Output DistributionsarXiv:1701.06548Gabriel Pereyra, George Tucker, Jan Chorowski, et al.2017 · 496 citations
8. Rethinking Attention with PerformersarXiv:2009.14794Krzysztof Choromanski, Valerii Likhosherstov, David Dohan, et al.2020 · 491 citations
9. Model-Based Reinforcement Learning for Atari ↗arXiv (Cornell University) · no summary yetŁukasz Kaiser et al.2019 · 429 citations
10. Transforming machine translation: a deep learning system reaches news translation quality comparable to human professionals ↗Nature Communications 11:4381 · no summary yetMartin Popel et al.2020 · 374 citations
11. Image Transformer ↗arXiv (Cornell University) · no summary yetNiki Parmar et al.2018 · 342 citations
12. Sentence Compression by Deletion with LSTMsConference on Empirical Methods in Natural Language Processing (EMNLP)Katja Filippova, Enrique Alfonseca, Carlos A. Colmenares, et al.2015 · 338 citations
13. Generating Wikipedia by Summarizing Long SequencesarXiv:1801.10198Peter J. Liu, Mohammad Saleh, Etienne Pot, et al.2018 · 334 citations
14. Multi-task Sequence to Sequence LearningarXiv:1511.06114Minh-Thang Luong, Quoc V. Le, Ilya Sutskever, et al.2015 · 321 citations
15. Neural GPUs Learn Algorithms ↗arXiv:1511.08228 · no summary yetŁukasz Kaiser, Ilya Sutskever2015 · 305 citations
16. One Model To Learn Them All ↗arXiv (Cornell University) · no summary yetŁukasz Kaiser et al.2017 · 277 citations
17. Adding Gradient Noise Improves Learning for Very Deep Networks ↗arXiv (Cornell University) · no summary yetArvind Neelakantan et al.2015 · 274 citations
18. Depthwise Separable Convolutions for Neural Machine Translation ↗arXiv (Cornell University) · no summary yetŁukasz Kaiser, Aidan N. Gomez, Chollet, Francois2017 · 260 citations
19. Learning to Remember Rare Events ↗arXiv:1703.03129 · no summary yetŁukasz Kaiser et al.2017 · 258 citations
20. Fast Decoding in Sequence Models using Discrete Latent Variables ↗arXiv (Cornell University) · no summary yetŁukasz Kaiser et al.2018 · 213 citations
21. Tensor2Tensor for Neural Machine TranslationConference of the Association for Machine Translation in the Americas (AMTA)Ashish Vaswani, Samy Bengio, Eugene Brevdo, et al.2018 · 191 citations
22. Sample Efficient Text Summarization Using a Single Pre-Trained Transformer ↗arXiv (Cornell University) · no summary yetUrvashi Khandelwal et al.2019 · 81 citations
23. Competitive Programming with Large Reasoning Models ↗arXiv:2502.06807 · no summary yetOpenAI: Ahmed El-Kishky et al.2025 · 68 citations
24. Hierarchical Transformers Are More Efficient Language Models ↗Findings of the Association for Computational Linguistics: NAACL 2022 · no summary yetPiotr Nawrot et al.2022 · 60 citations
25. Discrete Autoencoders for Sequence Models ↗arXiv (Cornell University) · no summary yetŁukasz Kaiser, Samy Bengio2018 · 40 citations
26. Can Active Memory Replace Attention? ↗arXiv (Cornell University) · no summary yetŁukasz Kaiser, Samy Bengio2016 · 31 citations
27. Model Checking Games for the Quantitative μ-Calculus ↗Theory of Computing Systems · no summary yetDiana Fischer, Erich Grädel, Łukasz Kaiser2009 · 31 citations
28. Sparse is Enough in Scaling Transformers ↗arXiv (Cornell University) · no summary yetSebastian Jaszczur et al.2021 · 30 citations
29. Unsupervised Cipher Cracking Using Discrete GANs ↗arXiv (Cornell University) · no summary yetAidan N. Gomez et al.2018 · 30 citations
30. Learning games from videos guided by descriptive complexity ↗National Conference on Artificial Intelligence · no summary yetŁukasz Kaiser2012 · 30 citations
31. Degrees of Lookahead in Regular Infinite Games ↗Logical Methods in Computer Science · no summary yetMichael Holtmann, Łukasz Kaiser, Wolfgang Thomas2012 · 27 citations
32. Information Tracking in Games on Graphs ↗Journal of Logic Language and Information · no summary yetDietmar Berwanger, Łukasz Kaiser2010 · 27 citations
33. Experiments with Reduction Finding ↗Lecture notes in computer science · no summary yetCharles Jordan, Łukasz Kaiser2013 · 22 citations
34. Degrees of Lookahead in Regular Infinite Games ↗Lecture notes in computer science · no summary yetMichael Holtmann, Łukasz Kaiser, Wolfgang Thomas2010 · 21 citations
35. Parallel Scheduled Sampling ↗arXiv (Cornell University) · no summary yetDuckworth, Daniel et al.2019 · 20 citations
36. New Algorithm for Weak Monadic Second-Order Logic on Inductive Structures ↗Lecture notes in computer science · no summary yetTobias Ganzow, Łukasz Kaiser2010 · 16 citations
37. Expressing Cardinality Quantifiers in Monadic Second-Order Logic over Trees ↗Fundamenta Informaticae · no summary yetVince Bárány, Łukasz Kaiser, Alexander Rabinovich2010 · 15 citations
38. Characterising Choiceless Polynomial Time with First-Order Interpretations ↗Proceedings - Symposium on Logic in Computer Science · no summary yetErich Grädel et al.2015 · 12 citations
39. First-Order Logic with Counting for General Game Playing ↗Proceedings of the AAAI Conference on Artificial Intelligence · no summary yetŁukasz Kaiser, Łukasz Stafiniak2011 · 12 citations
40. A Perfect-Information Construction for Coordination in Games ↗DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · no summary yetDietmar Berwanger, Łukasz Kaiser, Bernd Puchala2011 · 11 citations
41. Graph Searching Games and Width Measures for Directed Graphs ↗DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · no summary yetSaeed Akhoondian Amiri et al.2015 · 10 citations
42. Solving Counter Parity Games ↗Lecture notes in computer science · no summary yetDietmar Berwanger, Łukasz Kaiser, Simon Robert Leßenich2012 · 9 citations
43. Synthesis for Structure Rewriting Systems ↗Lecture notes in computer science · no summary yetŁukasz Kaiser2009 · 9 citations
44. MPIDepQBF: Towards Parallel QBF Solving without Knowledge Sharing ↗Lecture notes in computer science · no summary yetCharles Jordan et al.2014 · 8 citations
45. Model Checking Games for the Quantitative mu-Calculus ↗arXiv (Cornell University) · no summary yetFischer, Diana, Erich Grädel, Łukasz Kaiser2008 · 8 citations
46. Cardinality Quantifiers in MLO over Trees ↗Lecture notes in computer science · no summary yetVince Bárány, Łukasz Kaiser, Alexander Rabinovich2009 · 7 citations
47. A Unified Approach to Boundedness Properties in MSO ↗DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · no summary yetŁukasz Kaiser et al.2015 · 5 citations
48. Expressing cardinality quantifiers in monadic second-order logic over chains ↗Journal of Symbolic Logic · no summary yetVince Bárány, Łukasz Kaiser, Alexander Rabinovich2011 · 5 citations
49. Directed Graphs of Entanglement Two ↗Lecture notes in computer science · no summary yetErich Grädel, Łukasz Kaiser, Roman Rabinovich2009 · 5 citations
50. Game Quantification on Automatic Structures and Hierarchical Model Checking Games ↗Lecture notes in computer science · no summary yetŁukasz Kaiser2006 · 5 citations
51. Learning Games from Videos Guided by Descriptive Complexity ↗Proceedings of the AAAI Conference on Artificial Intelligence · no summary yetŁukasz Kaiser5 citations
52. Model Checking the Quantitative mu-Calculus on Linear Hybrid Systems ↗Logical Methods in Computer Science · no summary yetDiana Fischer, Łukasz Kaiser2012 · 4 citations
53. Model Checking the Quantitative μ-Calculus on Linear Hybrid Systems ↗Lecture notes in computer science · no summary yetDiana Fischer, Łukasz Kaiser2011 · 4 citations
54. Cardinality and counting quantifiers on omega-automatic structures ↗arXiv (Cornell University) · no summary yetŁukasz Kaiser, Sasha Rubin, Vince Bárány2008 · 4 citations
55. Confluence of Right Ground Term Rewriting Systems Is Decidable ↗Lecture notes in computer science · no summary yetŁukasz Kaiser2005 · 4 citations
56. Q-Value Weighted Regression: Reinforcement Learning with Limited Data ↗2022 International Joint Conference on Neural Networks (IJCNN) · no summary yetPiotr Kozakowski et al.2022 · 3 citations
57. Directed Width Measures and Monotonicity of Directed Graph Searching ↗arXiv (Cornell University) · no summary yetŁukasz Kaiser et al.2014 · 3 citations
58. The Field of Reals is not omega-Automatic ↗DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · no summary yetFaried Abu Zaid, Erich Grädel, Łukasz Kaiser2012 · 3 citations
59. Logic and Games on Automatic Structures: Playing with Quantifiers and Decompositions ↗no summary yetŁukasz Kaiser2011 · 3 citations
60. Forecasting Deep Learning Dynamics with Applications to Hyperparameter Tuning ↗no summary yetPiotr Kozakowski, Łukasz Kaiser, Afroz Mohiuddin2019 · 2 citations
61. Area Attention ↗arXiv (Cornell University) · no summary yetYang Li et al.2018 · 2 citations
62. Model-Theoretic Properties of ω-Automatic Structures ↗Theory of Computing Systems · no summary yetFaried Abu Zaid et al.2013 · 2 citations
63. Imperfect Recall and Counter Games ↗no summary yetDietmar Berwanger, Simon Robert Leßenich, Łukasz Kaiser2011 · 2 citations
64. Logic and Games on Automatic Structures ↗Lecture notes in computer science · no summary yetŁukasz Kaiser2011 · 2 citations
65. CUBBITT Translation Models (en-cs) (v1.0) ↗Lindat/Clarin Repository (Lindat Clarin) · no summary yetPopel, Martin et al.2021 · 1 citation
66. A Counting Logic for Structure Transition Systems ↗DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · no summary yetŁukasz Kaiser, Simon Robert Leßenich2012 · 1 citation
67. Cardinality Quantifiers in MSO on Linear Orders ↗Lecture notes in computer science · no summary yetŁukasz Kaiser2011 · 1 citation
68. Cardinality Quantifiers in MSO on Trees ↗Lecture notes in computer science · no summary yetŁukasz Kaiser2011 · 1 citation
69. Counting Quantifiers on Automatic Structures ↗Lecture notes in computer science · no summary yetŁukasz Kaiser2011 · 1 citation
70. Game Quantifiers on Automatic Presentations ↗Lecture notes in computer science · no summary yetŁukasz Kaiser2011 · 1 citation
71. Games for Model Checking on Automatic Structures ↗Lecture notes in computer science · no summary yetŁukasz Kaiser2011 · 1 citation
72. Memory Structures for Infinitary Games ↗Lecture notes in computer science · no summary yetŁukasz Kaiser2011 · 1 citation
73. Playing General Structure Rewriting Games ↗no summary yetŁukasz Kaiser, Łukasz Stafiniak2010 · 1 citation
74. Program Search as a Path to Artificial General Intelligence ↗Cognitive technologies · no summary yetŁukasz Kaiser2007 · 1 citation
75. tsGT: Stochastic Time Series Modeling With Transformer ↗arXiv (Cornell University) · no summary yetŁukasz Kuciński et al.2024
76. CUBBITT Translation Models (en-pl) (v1.0) ↗Lindat/Clarin Repository (Lindat Clarin) · no summary yetPopel, Martin et al.2021
77. CUBBITT Translation Models (en-fr) (v1.0) ↗Lindat/Clarin Repository (Lindat Clarin) · no summary yetMartin Popel et al.2021
78. Large Scale Multi-Domain Multi-Task Learning with MultiModel ↗no summary yetŁukasz Kaiser et al.2018
79. L.: Experiments with reduction finding ↗no summary yetCharles Harold Jordan, Łukasz Kaiser2013
80. Learning Programs as Logical Queries Type 1 Paper ↗no summary yetCharles Harold Jordan, Łukasz Kaiser2013
81. The Field of Reals is not ω-Automatic ↗RWTH Publications (RWTH Aachen) · no summary yetFaried Abu Zaid, Erich Grädel, Łukasz Kaiser2012
82. Logics, Structures and Presentations ↗Lecture notes in computer science · no summary yetŁukasz Kaiser2011
83. Outlook ↗Lecture notes in computer science · no summary yetŁukasz Kaiser2011
84. www.stacs-conf.org MODEL CHECKING GAMES FOR THE QUANTITATIVE µ-CALCULUS ↗no summary yetDiana Fischer, Erich Gr Ädel, Łukasz Kaiser2008
85. Logic and games on automatic structures ↗RWTH Publications (RWTH Aachen) · no summary yetŁukasz Kaiser, Erich Grädel2008

↑ back to top

This page in Markdown → https://md.research.elamur.ai/free/en/authors/lukasz-kaiser/works/