Henryk Michalewski

According to our database, Henryk Michalewski authored at least 57 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Gemma: Open Models Based on Gemini Research and Technology.

Thomas Mesnard, Cassidy Hardin, Robert Dadashi, Surya Bhupatiraju, Shreya Pathak, Laurent Sifre, Morgane Rivière, Mihir Sanjay Kale, Juliette Love, Pouya Tafti, Léonard Hussenot, Aakanksha Chowdhery, Adam Roberts, Aditya Barua, Alex Botev, Alex Castro-Ros, Ambrose Slone, Amélie Héliou, Andrea Tacchetti, Anna Bulanova, Antonia Paterson, Beth Tsai, Bobak Shahriari, Charline Le Lan, Christopher A. Choquette-Choo, Clément Crepy, Daniel Cer, Daphne Ippolito, David Reid, Elena Buchatskaya, Eric Ni, Eric Noland, Geng Yan, George Tucker, George-Cristian Muraru, Grigory Rozhdestvenskiy, Henryk Michalewski, Ian Tenney, Ivan Grishchenko, Jacob Austin, James Keeling, Jane Labanowski, Jean-Baptiste Lespiau, Jeff Stanway, Jenny Brennan, Jeremy Chen, Johan Ferret, Justin Chiu, et al.

CoRR, 2024

Gemini 1.5: Unlocking multimodal understanding across millions of tokens of context.

Machel Reid, Nikolay Savinov, Denis Teplyashin, Dmitry Lepikhin, Timothy P. Lillicrap, Jean-Baptiste Alayrac, Radu Soricut, Angeliki Lazaridou, Orhan Firat, Julian Schrittwieser, Ioannis Antonoglou, Rohan Anil, Sebastian Borgeaud, Andrew M. Dai, Katie Millican, Ethan Dyer, Mia Glaese, Thibault Sottiaux, Benjamin Lee, Fabio Viola, Malcolm Reynolds, Yuanzhong Xu, James Molloy, Jilin Chen, Michael Isard, Paul Barham, Tom Hennigan, Ross McIlroy, Melvin Johnson, Johan Schalkwyk, Eli Collins, Eliza Rutherford, Erica Moreira, Kareem Ayoub, Megha Goel, Clemens Meyer, Gregory Thornton, Zhen Yang, Henryk Michalewski, Zaheer Abbas, Nathan Schucher, Ankesh Anand, Richard Ives, James Keeling, Karel Lenc, Salem Haykal, Siamak Shakeri, Pranav Shyam, Aakanksha Chowdhery, Roman Ring, Stephen Spencer, Eren Sezener, et al.

CoRR, 2024

Grounding Data Science Code Generation with Input-Output Specifications.

Yeming Wen, Pengcheng Yin, Kensen Shi, Henryk Michalewski, Swarat Chaudhuri, Alex Polozov

CoRR, 2024

Beyond Lines and Circles: Unveiling the Geometric Reasoning Gap in Large Language Models.

Spyridon Mouselinos, Henryk Michalewski, Mateusz Malinowski

CoRR, 2024

Promptbreeder: Self-Referential Self-Improvement via Prompt Evolution.

Chrisantha Fernando, Dylan Banarse, Henryk Michalewski, Simon Osindero, Tim Rocktäschel

Proceedings of the Forty-first International Conference on Machine Learning, 2024

2023

PaLM: Scaling Language Modeling with Pathways.

Aakanksha Chowdhery, Sharan Narang, Jacob Devlin, Maarten Bosma, Gaurav Mishra, Adam Roberts, Paul Barham, Hyung Won Chung, Charles Sutton, Sebastian Gehrmann, Parker Schuh, Kensen Shi, Sasha Tsvyashchenko, Joshua Maynez, Abhishek Rao, Parker Barnes, Yi Tay, Noam Shazeer, Vinodkumar Prabhakaran, Emily Reif, Nan Du, Ben Hutchinson, Reiner Pope, James Bradbury, Jacob Austin, Michael Isard, Guy Gur-Ari, Pengcheng Yin, Toju Duke, Anselm Levskaya, Sanjay Ghemawat, Sunipa Dev, Henryk Michalewski, Xavier Garcia, Vedant Misra, Kevin Robinson, Liam Fedus, Denny Zhou, Daphne Ippolito, David Luan, Hyeontaek Lim, Barret Zoph, Alexander Spiridonov, Ryan Sepassi, David Dohan, Shivani Agrawal, Mark Omernick, Andrew M. Dai, Thanumalayan Sankaranarayana Pillai, Marie Pellat, Aitor Lewkowycz, Erica Moreira, Rewon Child, Oleksandr Polozov, Katherine Lee, Zongwei Zhou, Xuezhi Wang, Brennan Saeta, Mark Diaz, Orhan Firat, Michele Catasta, Jason Wei, Kathy Meier-Hellstern, Douglas Eck, Jeff Dean, Slav Petrov, Noah Fiedel

J. Mach. Learn. Res., 2023

Structured Packing in LLM Training Improves Long Context Utilization.

Konrad Staniszewski, Szymon Tworkowski, Sebastian Jaszczur, Henryk Michalewski, Lukasz Kucinski, Piotr Milos

CoRR, 2023

Focused Transformer: Contrastive Training for Context Scaling.

Szymon Tworkowski, Konrad Staniszewski, Mikolaj Pacek, Yuhuai Wu, Henryk Michalewski, Piotr Milos

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

RT-2: Vision-Language-Action Models Transfer Web Knowledge to Robotic Control.

Brianna Zitkovich, Tianhe Yu, Sichun Xu, Peng Xu, Ted Xiao, Fei Xia, Jialin Wu, Paul Wohlhart, Stefan Welker, Ayzaan Wahid, Quan Vuong, Vincent Vanhoucke, Huong T. Tran, Radu Soricut, Anikait Singh, Jaspiar Singh, Pierre Sermanet, Pannag R. Sanketi, Grecia Salazar, Michael S. Ryoo, Krista Reymann, Kanishka Rao, Karl Pertsch, Igor Mordatch, Henryk Michalewski, Yao Lu, Sergey Levine, Lisa Lee, Tsang-Wei Edward Lee, Isabel Leal, Yuheng Kuang, Dmitry Kalashnikov, Ryan Julian, Nikhil J. Joshi, Alex Irpan, Brian Ichter, Jasmine Hsu, Alexander Herzog, Karol Hausman, Keerthana Gopalakrishnan, Chuyuan Fu, Pete Florence, Chelsea Finn, Kumar Avinava Dubey, Danny Driess, Tianli Ding, Krzysztof Marcin Choromanski, Xi Chen, Yevgen Chebotar, Justice Carbajal, Noah Brown, Anthony Brohan, Montserrat Gonzalez Arenas, Kehang Han

Proceedings of the Conference on Robot Learning, 2023

Natural Language to Code Generation in Interactive Data Science Notebooks.

Pengcheng Yin, Wen-Ding Li, Kefan Xiao, Abhishek Rao, Yeming Wen, Kensen Shi, Joshua Howland, Paige Bailey, Michele Catasta, Henryk Michalewski, Oleksandr Polozov, Charles Sutton

Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2023

A Simple, Yet Effective Approach to Finding Biases in Code Generation.

Spyridon Mouselinos, Mateusz Malinowski, Henryk Michalewski

Proceedings of the Findings of the Association for Computational Linguistics: ACL 2023, 2023

2022

Language Model Cascades.

David Dohan, Winnie Xu, Aitor Lewkowycz, Jacob Austin, David Bieber, Raphael Gontijo Lopes, Yuhuai Wu, Henryk Michalewski, Rif A. Saurous, Jascha Sohl-Dickstein, Kevin Murphy, Charles Sutton

CoRR, 2022

Measuring CLEVRness: Blackbox testing of Visual Reasoning Models.

Spyridon Mouselinos, Henryk Michalewski, Mateusz Malinowski

CoRR, 2022

Solving Quantitative Reasoning Problems with Language Models.

Aitor Lewkowycz, Anders Andreassen, David Dohan, Ethan Dyer, Henryk Michalewski, Vinay V. Ramasesh, Ambrose Slone, Cem Anil, Imanol Schlag, Theo Gutman-Solo, Yuhuai Wu, Behnam Neyshabur, Guy Gur-Ari, Vedant Misra

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Multi-Game Decision Transformers.

Kuang-Huei Lee, Ofir Nachum, Mengjiao Yang, Lisa Lee, Daniel Freeman, Sergio Guadarrama, Ian Fischer, Winnie Xu, Eric Jang, Henryk Michalewski, Igor Mordatch

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Hierarchical Transformers Are More Efficient Language Models.

Piotr Nawrot, Szymon Tworkowski, Michal Tyrolski, Lukasz Kaiser, Yuhuai Wu, Christian Szegedy, Henryk Michalewski

Proceedings of the Findings of the Association for Computational Linguistics: NAACL 2022, 2022

Q-Value Weighted Regression: Reinforcement Learning with Limited Data.

Piotr Kozakowski, Lukasz Kaiser, Henryk Michalewski, Afroz Mohiuddin, Katarzyna Kanska

Proceedings of the International Joint Conference on Neural Networks, 2022

Measuring CLEVRness: Black-box Testing of Visual Reasoning Models.

Spyridon Mouselinos, Henryk Michalewski, Mateusz Malinowski

Proceedings of the Tenth International Conference on Learning Representations, 2022

Off-Policy Correction For Multi-Agent Reinforcement Learning.

Michal Zawalski, Blazej Osinski, Henryk Michalewski, Piotr Milos

Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022

2021

Show Your Work: Scratchpads for Intermediate Computation with Language Models.

Maxwell I. Nye, Anders Johan Andreassen, Guy Gur-Ari, Henryk Michalewski, Jacob Austin, David Bieber, David Dohan, Aitor Lewkowycz, Maarten Bosma, David Luan, Charles Sutton, Augustus Odena

CoRR, 2021

Program Synthesis with Large Language Models.

Jacob Austin, Augustus Odena, Maxwell I. Nye, Maarten Bosma, Henryk Michalewski, David Dohan, Ellen Jiang, Carrie J. Cai, Michael Terry, Quoc V. Le, Charles Sutton

CoRR, 2021

Towards Finding Longer Proofs.

Zsolt Zombori, Adrián Csiszárik, Henryk Michalewski, Cezary Kaliszyk, Josef Urban

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2021

Sparse is Enough in Scaling Transformers.

Sebastian Jaszczur, Aakanksha Chowdhery, Afroz Mohiuddin, Lukasz Kaiser, Wojciech Gajewski, Henryk Michalewski, Jonni Kanerva

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Measuring and Improving BERT's Mathematical Abilities by Predicting the Order of Reasoning.

Piotr Piekos, Mateusz Malinowski, Henryk Michalewski

Proceedings of the 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing, 2021

2020

CARLA Real Traffic Scenarios - novel training ground and benchmark for autonomous driving.

Blazej Osinski, Piotr Milos, Adam Jakubowski, Pawel Ziecina, Michal Martyniak, Christopher Galias, Antonia Breuer, Silviu Homoceanu, Henryk Michalewski

CoRR, 2020

Neural heuristics for SAT solving.

Sebastian Jaszczur, Michal Luszczyk, Henryk Michalewski

CoRR, 2020

Simulation-Based Reinforcement Learning for Real-World Autonomous Driving.

Blazej Osinski, Adam Jakubowski, Pawel Ziecina, Piotr Milos, Christopher Galias, Silviu Homoceanu, Henryk Michalewski

Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

Model Based Reinforcement Learning for Atari.

Lukasz Kaiser, Mohammad Babaeizadeh, Piotr Milos, Blazej Osinski, Roy H. Campbell, Konrad Czechowski, Dumitru Erhan, Chelsea Finn, Piotr Kozakowski, Sergey Levine, Afroz Mohiuddin, Ryan Sepassi, George Tucker, Henryk Michalewski

Proceedings of the 8th International Conference on Learning Representations, 2020

2019

The logical strength of Büchi's decidability theorem.

Leszek Aleksander Kolodziejczyk, Henryk Michalewski, Cécilia Pradic, Michal Skrzypczak

Log. Methods Comput. Sci., 2019

Model-Based Reinforcement Learning for Atari.

Lukasz Kaiser, Mohammad Babaeizadeh, Piotr Milos, Blazej Osinski, Roy H. Campbell, Konrad Czechowski, Dumitru Erhan, Chelsea Finn, Piotr Kozakowski, Sergey Levine, Ryan Sepassi, George Tucker, Henryk Michalewski

CoRR, 2019

2018

Monadic Second Order Logic with Measure and Category Quantifiers.

Matteo Mio, Michal Skrzypczak, Henryk Michalewski

Log. Methods Comput. Sci., 2018

On the Strength of Unambiguous Tree Automata.

Henryk Michalewski, Michal Skrzypczak

Int. J. Found. Comput. Sci., 2018

Expert-augmented actor-critic for ViZDoom and Montezumas Revenge.

Michal Garmulewicz, Henryk Michalewski, Piotr Milos

CoRR, 2018

Learning to Run challenge solutions: Adapting reinforcement learning methods for neuromusculoskeletal environments.

Lukasz Kidzinski, Sharada Prasanna Mohanty, Carmichael F. Ong, Zhewei Huang, Shuchang Zhou, Anton Pechenko, Adam Stelmaszczyk, Piotr Jarosik, Mikhail Pavlov, Sergey Kolesnikov, Sergey M. Plis, Zhibo Chen, Zhizheng Zhang, Jiale Chen, Jun Shi, Zhuobin Zheng, Chun Yuan, Zhihui Lin, Henryk Michalewski, Piotr Milos, Blazej Osinski, Andrew Melnik, Malte Schilling, Helge J. Ritter, Sean F. Carroll, Jennifer L. Hicks, Sergey Levine, Marcel Salathé, Scott L. Delp

CoRR, 2018

Distributed Deep Reinforcement Learning: Learn How to Play Atari Games in 21 minutes.

Igor Adamski, Robert Adamski, Tomasz Grel, Adam Jedrych, Kamil Kaczmarek, Henryk Michalewski

Proceedings of the High Performance Computing - 33rd International Conference, 2018

Reinforcement Learning of Theorem Proving.

Cezary Kaliszyk, Josef Urban, Henryk Michalewski, Miroslav Olsák

Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

2017

Measure properties of regular sets of trees.

Tomasz Gogacz, Henryk Michalewski, Matteo Mio, Michal Skrzypczak

Inf. Comput., 2017

Some connections between universal algebra and logics for trees.

Mikolaj Bojanczyk, Henryk Michalewski

CoRR, 2017

A Characterisation of Pi^0_2 Regular Tree Languages.

Filippo Cavallari, Henryk Michalewski, Michal Skrzypczak

Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science, 2017

Atari Games and Intel Processors.

Robert Adamski, Tomasz Grel, Maciej Klimek, Henryk Michalewski

Proceedings of the Computer Games - 6th Workshop, 2017

Hierarchical Reinforcement Learning with Parameters.

Maciej Klimek, Henryk Michalewski, Piotr Milos

Proceedings of the 1st Annual Conference on Robot Learning, CoRL 2017, Mountain View, 2017

2016

On the Regular Emptiness Problem of Subzero Automata.

Henryk Michalewski, Matteo Mio, Mikolaj Bojanczyk

Proceedings of the Proceedings 9th Interaction and Concurrency Experience, 2016

How unprovable is Rabin's decidability theorem?

Leszek Aleksander Kolodziejczyk, Henryk Michalewski

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

Measure Quantifier in Monadic Second Order Logic.

Henryk Michalewski, Matteo Mio

Proceedings of the Logical Foundations of Computer Science - International Symposium, 2016

Learning from the Memory of Atari 2600.

Jakub Sygnowski, Henryk Michalewski

Proceedings of the Computer Games - 5th Workshop on Computer Games, 2016

Non-Utilitarian Coalition Structure Generation.

Oskar Skibski, Henryk Michalewski, Andrzej Nagórko, Tomasz P. Michalak, Andrew James Dowell, Talal Rahwan, Michael J. Wooldridge

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Unambiguous Büchi Is Weak.

Henryk Michalewski, Michal Skrzypczak

Proceedings of the Developments in Language Theory - 20th International Conference, 2016

An upper bound of 84 for Morpion Solitaire 5D.

Henryk Michalewski, Andrzej Nagórko, Jakub Pawlewicz

Proceedings of the 28th Canadian Conference on Computational Geometry, 2016

2015

485 - A New Upper Bound for Morpion Solitaire.

Henryk Michalewski, Andrzej Nagórko, Jakub Pawlewicz

Proceedings of the Computer Games - Fourth Workshop on Computer Games, 2015

Baire Category Quantifier in Monadic Second Order Logic.

Henryk Michalewski, Matteo Mio

Proceedings of the Automata, Languages, and Programming - 42nd International Colloquium, 2015

On the Problem of Computing the Probability of Regular Sets of Trees.

Henryk Michalewski, Matteo Mio

Proceedings of the 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, 2015

2014

On the Separation Question for Tree Languages.

André Arnold, Henryk Michalewski, Damian Niwinski

Theory Comput. Syst., 2014

Measure Properties of Game Tree Languages.

Tomasz Gogacz, Henryk Michalewski, Matteo Mio, Michal Skrzypczak

Proceedings of the Mathematical Foundations of Computer Science 2014, 2014

On the Decidability of MSO+U on Infinite Trees.

Mikolaj Bojanczyk, Tomasz Gogacz, Henryk Michalewski, Michal Skrzypczak

Proceedings of the Automata, Languages, and Programming - 41st International Colloquium, 2014

Deciding the Borel Complexity of Regular Tree Languages.

Alessandro Facchini, Henryk Michalewski

Proceedings of the Language, Life, Limits - 10th Conference on Computability in Europe, 2014

2012

On Topological Completeness of Regular Tree Languages.

Henryk Michalewski, Damian Niwinski

Proceedings of the Logic and Program Semantics, 2012

2009

On the Borel Inseparability of Game Tree Languages.

Szczepan Hummel, Henryk Michalewski, Damian Niwinski

Proceedings of the 26th International Symposium on Theoretical Aspects of Computer Science, 2009