Lukasz Kaiser
Co-Authors
-
Andy
Davis
-
Benoit Steiner
-
Carlos
Colmenares
-
Christopher Olah
-
Craig
Citro
-
Derek G.
Murray
-
Enrique
Alfonseca
-
Eugene
Brevdo
-
Fernanda
Viegas
-
Geoffrey
E. Hinton
-
Geoffrey
Irving
-
Greg
Corrado
-
Jeffrey Dean
-
Jonathon
Shlens
-
Josh
Levenberg
-
Karol
Kurach
-
Katja
Filippova
-
Kunal Talwar
-
Manjunath Kudlur
-
Martin
Wattenberg
-
Martin
Wicke
-
Martín Abadi
-
Matthieu
Devin
-
Michael
Isard
-
Mike
Schuster
-
Oriol
Vinyals
-
Paul A. Tucker
-
Paul
Barham
-
Pete
Warden
-
Quoc V. Le
-
Rajat
Monga
-
Sanjay
Ghemawat
-
Sherry Moore
-
Slav
Petrov
-
Vijay
Vasudevan
-
Vincent
Vanhoucke
-
Xiaoqiang Zheng
-
Yangqing
Jia
-
Yuan Yu
-
Zhifeng
Chen
Google Publications
-
Multi-task Sequence to Sequence Learning
Thang Luong, Quoc V. Le, Ilya Sutskever, Oriol Vinyals, Lukasz Kaiser
International Conference on Learning Representations (2016)
-
Neural GPUs Learn Algorithms
Lukasz Kaiser, Ilya Sutskever
International Conference on Learning Representations (2016)
-
A Unified Approach to Boundedness Properties in MSO
Lukasz Kaiser, Martin Lang 0001, Simon Leßenich, Christof Löding
CSL (2015), pp. 441-456
-
Adding Gradient Noise Improves Learning for Very Deep Networks
arvind neelakantan, Luke Vilnis, Quoc V. Le, Ilya Sutskever, Lukasz Kaiser, Karol Kurach, James Martens
CoRR, vol. abs/1511.06807 (2015)
-
Characterising Choiceless Polynomial Time with First-Order Interpretations
Erich Grädel, Wied Pakusa, Svenja Schalthöfer, Lukasz Kaiser
LICS (2015), pp. 677-688
-
Grammar as a Foreign Language
Oriol Vinyals, Lukasz Kaiser, Terry Koo, Slav Petrov, Ilya Sutskever, Geoffrey Hinton
NIPS (2015)
-
Graph Searching Games and Width Measures for Directed Graphs
Saeed Akhoondian Amiri, Lukasz Kaiser, Stephan Kreutzer, Roman Rabinovich, Sebastian Siebertz
STACS (2015), pp. 34-47
-
Sentence Compression by Deletion with LSTMs
Katja Filippova, Enrique Alfonseca, Carlos Colmenares, Lukasz Kaiser, Oriol Vinyals
Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing (EMNLP'15)
-
TensorFlow: Large-Scale Machine Learning on Heterogeneous Distributed Systems
Martín Abadi, Ashish Agarwal, Paul Barham, Eugene Brevdo, Zhifeng Chen, Craig Citro, Greg Corrado, Andy Davis, Jeffrey Dean, Matthieu Devin, Sanjay Ghemawat, Ian Goodfellow, Andrew Harp, Geoffrey Irving, Michael Isard, Yangqing Jia, Rafal Jozefowicz, Lukasz Kaiser, Manjunath Kudlur, Josh Levenberg, Dan Mané, Rajat Monga, Sherry Moore, Derek Murray, Chris Olah, Mike Schuster, Jonathon Shlens, Benoit Steiner, Ilya Sutskever, Kunal Talwar, Paul Tucker, Vincent Vanhoucke, Vijay Vasudevan, Fernanda Viégas, Oriol Vinyals, Pete Warden, Martin Wattenberg, Martin Wicke, Yuan Yu, Xiaoqiang Zheng
tensorflow.org (2015)
-
Directed Width Measures and Monotonicity of Directed Graph Searching
Lukasz Kaiser, Stephan Kreutzer, Roman Rabinovich, Sebastian Siebertz
CoRR, vol. abs/1408.4745 (2014)
-
MPIDepQBF: Towards Parallel QBF Solving without Knowledge Sharing
Charles Jordan, Lukasz Kaiser, Florian Lonsing, Martina Seidl
SAT (2014), pp. 430-437
-
Model-Theoretic Properties of ω-Automatic Structures
Faried Abu Zaid, Erich Grädel, Lukasz Kaiser, Wied Pakusa
Theory Comput. Syst., vol. 55 (2014), pp. 856-880
Previous Publications
-
Experiments with Reduction Finding
Charles Jordan, Lukasz Kaiser
SAT (2013), pp. 192-207
-
A Counting Logic for Structure Transition Systems
Lukasz Kaiser, Simon Leßenich
CSL (2012), pp. 366-380
-
Degrees of Lookahead in Regular Infinite Games
Michael Holtmann, Lukasz Kaiser, Wolfgang Thomas
Logical Methods in Computer Science, vol. 8 (2012)
-
Entanglement and the complexity of directed graphs
Dietmar Berwanger, Erich Grädel, Lukasz Kaiser, Roman Rabinovich
Theor. Comput. Sci., vol. 463 (2012), pp. 2-25
-
Learning Games from Videos Guided by Descriptive Complexity
AAAI (2012)
-
Model Checking the Quantitative mu-Calculus on Linear Hybrid Systems
Diana Fischer, Lukasz Kaiser
Logical Methods in Computer Science, vol. 8 (2012)
-
Solving Counter Parity Games
Dietmar Berwanger, Lukasz Kaiser, Simon Leßenich
MFCS (2012), pp. 160-171
-
The Field of Reals is not omega-Automatic
Faried Abu Zaid, Erich Grädel, Lukasz Kaiser
STACS (2012), pp. 577-588
-
A Perfect-Information Construction for Coordination in Games
Dietmar Berwanger, Lukasz Kaiser, Bernd Puchala
FSTTCS (2011), pp. 387-398
-
Expressing cardinality quantifiers in monadic second-order logic over chains
Vince Bárány, Lukasz Kaiser, Alexander Rabinovich
J. Symb. Log., vol. 76 (2011), pp. 603-619
-
First-Order Logic with Counting for General Game Playing
Lukasz Kaiser, Lukasz Stafiniak
AAAI (2011)
-
Logic and Games on Automatic Structures - Playing with Quantifiers and Decompositions
Springer (2011), pp. 1-118
-
Model Checking the Quantitative μ-Calculus on Linear Hybrid Systems
Diana Fischer, Lukasz Kaiser
ICALP (2) (2011), pp. 404-415
-
Degrees of Lookahead in Regular Infinite Games
Michael Holtmann, Lukasz Kaiser, Wolfgang Thomas
FOSSACS (2010), pp. 252-266
-
Expressing Cardinality Quantifiers in Monadic Second-Order Logic over Trees
Vince Bárány, Lukasz Kaiser, Alexander Moshe Rabinovich
Fundam. Inform., vol. 100 (2010), pp. 1-17
-
Information Tracking in Games on Graphs
Dietmar Berwanger, Lukasz Kaiser
Journal of Logic, Language and Information, vol. 19 (2010), pp. 395-412
-
Model Checking Games for the Quantitative µ-Calculus
Diana Fischer, Erich Grädel, Lukasz Kaiser
Theory Comput. Syst., vol. 47 (2010), pp. 696-719
-
New Algorithm for Weak Monadic Second-Order Logic on Inductive Structures
Tobias Ganzow, Lukasz Kaiser
CSL (2010), pp. 366-380
-
Cardinality Quantifiers in MLO over Trees
Vince Bárány, Lukasz Kaiser, Alexander Rabinovich
CSL (2009), pp. 117-131
-
Directed Graphs of Entanglement Two
Erich Grädel, Lukasz Kaiser, Roman Rabinovich
FCT (2009), pp. 169-180
-
Synthesis for Structure Rewriting Systems
MFCS (2009), pp. 415-426
-
Cardinality and counting quantifiers on omega-automatic structures
Lukasz Kaiser, Sasha Rubin, Vince Bárány
CoRR, vol. abs/0802.2866 (2008)
-
Cardinality and counting quantifiers on omega-automatic structures
Lukasz Kaiser, Sasha Rubin, Vince Bárány
STACS (2008), pp. 385-396
-
Model Checking Games for the Quantitative µ-Calculus
Diana Fischer, Erich Grädel, Lukasz Kaiser
STACS (2008), pp. 301-312
-
Model Checking Games for the Quantitative mu-Calculus
Diana Fischer, Erich Grädel, Lukasz Kaiser
CoRR, vol. abs/0802.2871 (2008)
-
Program Search as a Path to Artificial General Intelligence
Artificial General Intelligence (2007), pp. 291-326
-
Game Quantification on Automatic Structures and Hierarchical Model Checking Games
CSL (2006), pp. 411-425
-
Confluence of Right Ground Term Rewriting Systems Is Decidable
FoSSaCS (2005), pp. 470-489
