Henryk Michalewski

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 69

Top Topics

Reinforcement Learning

Monadic Second Order Logic

Top Venues

Publications

Yeming Wen, Pengcheng Yin, Kensen Shi, Henryk Michalewski, Swarat Chaudhuri, Alex Polozov
Grounding Data Science Code Generation with Input-Output Specifications. CoRR (2024)
Spyridon Mouselinos, Henryk Michalewski, Mateusz Malinowski
Beyond Lines and Circles: Unveiling the Geometric Reasoning Gap in Large Language Models. CoRR (2024)
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.
Gemma: Open Models Based on Gemini Research and Technology. CoRR (2024)
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.
Gemini 1.5: Unlocking multimodal understanding across millions of tokens of context. CoRR (2024)
Konrad Staniszewski, Szymon Tworkowski, Sebastian Jaszczur, Henryk Michalewski, Lukasz Kucinski, Piotr Milos
Structured Packing in LLM Training Improves Long Context Utilization. CoRR (2023)
Chrisantha Fernando, Dylan Banarse, Henryk Michalewski, Simon Osindero, Tim Rocktäschel
Promptbreeder: Self-Referential Self-Improvement Via Prompt Evolution. CoRR (2023)
Szymon Tworkowski, Konrad Staniszewski, Mikolaj Pacek, Yuhuai Wu, Henryk Michalewski, Piotr Milos
Focused Transformer: Contrastive Training for Context Scaling. CoRR (2023)
Anthony Brohan, Noah Brown, Justice Carbajal, Yevgen Chebotar, Xi Chen, Krzysztof Choromanski, Tianli Ding, Danny Driess, Avinava Dubey, Chelsea Finn, Pete Florence, Chuyuan Fu, Montse Gonzalez Arenas, Keerthana Gopalakrishnan, Kehang Han, Karol Hausman, Alexander Herzog, Jasmine Hsu, Brian Ichter, Alex Irpan, Nikhil J. Joshi, Ryan Julian, Dmitry Kalashnikov, Yuheng Kuang, Isabel Leal, Lisa Lee, Tsang-Wei Edward Lee, Sergey Levine, Yao Lu, Henryk Michalewski, Igor Mordatch, Karl Pertsch, Kanishka Rao, Krista Reymann, Michael S. Ryoo, Grecia Salazar, Pannag Sanketi, Pierre Sermanet, Jaspiar Singh, Anikait Singh, Radu Soricut, Huong Tran, Vincent Vanhoucke, Quan Vuong, Ayzaan Wahid, Stefan Welker, Paul Wohlhart, Jialin Wu, Fei Xia, Ted Xiao, Peng Xu, Sichun Xu, Tianhe Yu, Brianna Zitkovich
RT-2: Vision-Language-Action Models Transfer Web Knowledge to Robotic Control. CoRR (2023)
Szymon Tworkowski, Konrad Staniszewski, Mikolaj Pacek, Yuhuai Wu, Henryk Michalewski, Piotr Milos
Focused Transformer: Contrastive Training for Context Scaling. NeurIPS (2023)
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
PaLM: Scaling Language Modeling with Pathways. J. Mach. Learn. Res. 24 (2023)
Spyridon Mouselinos, Mateusz Malinowski, Henryk Michalewski
A Simple, Yet Effective Approach to Finding Biases in Code Generation. ACL (Findings) (2023)
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
RT-2: Vision-Language-Action Models Transfer Web Knowledge to Robotic Control. CoRL (2023)
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
Natural Language to Code Generation in Interactive Data Science Notebooks. ACL (1) (2023)
Spyridon Mouselinos, Henryk Michalewski, Mateusz Malinowski
Measuring CLEVRness: Black-box Testing of Visual Reasoning Models. ICLR (2022)
Spyridon Mouselinos, Henryk Michalewski, Mateusz Malinowski
Measuring CLEVRness: Blackbox testing of Visual Reasoning Models. CoRR (2022)
Michal Zawalski, Blazej Osinski, Henryk Michalewski, Piotr Milos
Off-Policy Correction For Multi-Agent Reinforcement Learning. AAMAS (2022)
Pengcheng Yin, Wen-Ding Li, Kefan Xiao, Abhishek Rao, Yeming Wen, Kensen Shi, Joshua Howland, Paige Bailey, Michele Catasta, Henryk Michalewski, Alex Polozov, Charles Sutton
Natural Language to Code Generation in Interactive Data Science Notebooks. CoRR (2022)
Kuang-Huei Lee, Ofir Nachum, Mengjiao Yang, Lisa Lee, Daniel Freeman, Sergio Guadarrama, Ian Fischer, Winnie Xu, Eric Jang, Henryk Michalewski, Igor Mordatch
Multi-Game Decision Transformers. NeurIPS (2022)
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
Solving Quantitative Reasoning Problems with Language Models. NeurIPS (2022)
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
Language Model Cascades. CoRR (2022)
Spyridon Mouselinos, Mateusz Malinowski, Henryk Michalewski
A Simple, Yet Effective Approach to Finding Biases in Code Generation. CoRR (2022)
Kuang-Huei Lee, Ofir Nachum, Mengjiao Yang, Lisa Lee, Daniel Freeman, Winnie Xu, Sergio Guadarrama, Ian Fischer, Eric Jang, Henryk Michalewski, Igor Mordatch
Multi-Game Decision Transformers. CoRR (2022)
Piotr Kozakowski, Lukasz Kaiser, Henryk Michalewski, Afroz Mohiuddin, Katarzyna Kanska
Q-Value Weighted Regression: Reinforcement Learning with Limited Data. IJCNN (2022)
Piotr Nawrot, Szymon Tworkowski, Michal Tyrolski, Lukasz Kaiser, Yuhuai Wu, Christian Szegedy, Henryk Michalewski
Hierarchical Transformers Are More Efficient Language Models. NAACL-HLT (Findings) (2022)
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
Solving Quantitative Reasoning Problems with Language Models. CoRR (2022)
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
PaLM: Scaling Language Modeling with Pathways. CoRR (2022)
Piotr Nawrot, Szymon Tworkowski, Michal Tyrolski, Lukasz Kaiser, Yuhuai Wu, Christian Szegedy, Henryk Michalewski
Hierarchical Transformers Are More Efficient Language Models. CoRR (2021)
Jacob Austin, Augustus Odena, Maxwell Nye, Maarten Bosma, Henryk Michalewski, David Dohan, Ellen Jiang, Carrie J. Cai, Michael Terry, Quoc V. Le, Charles Sutton
Program Synthesis with Large Language Models. CoRR (2021)
Piotr Piekos, Henryk Michalewski, Mateusz Malinowski
Measuring and Improving BERT's Mathematical Abilities by Predicting the Order of Reasoning. CoRR (2021)
Michal Zawalski, Blazej Osinski, Henryk Michalewski, Piotr Milos
Off-Policy Correction For Multi-Agent Reinforcement Learning. CoRR (2021)
Piotr Kozakowski, Lukasz Kaiser, Henryk Michalewski, Afroz Mohiuddin, Katarzyna Kanska
Q-Value Weighted Regression: Reinforcement Learning with Limited Data. CoRR (2021)
Piotr Piekos, Mateusz Malinowski, Henryk Michalewski
Measuring and Improving BERT's Mathematical Abilities by Predicting the Order of Reasoning. ACL/IJCNLP (2) (2021)
Sebastian Jaszczur, Aakanksha Chowdhery, Afroz Mohiuddin, Lukasz Kaiser, Wojciech Gajewski, Henryk Michalewski, Jonni Kanerva
Sparse is Enough in Scaling Transformers. CoRR (2021)
Maxwell 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
Show Your Work: Scratchpads for Intermediate Computation with Language Models. CoRR (2021)
Sebastian Jaszczur, Aakanksha Chowdhery, Afroz Mohiuddin, Lukasz Kaiser, Wojciech Gajewski, Henryk Michalewski, Jonni Kanerva
Sparse is Enough in Scaling Transformers. NeurIPS (2021)
Zsolt Zombori, Adrián Csiszárik, Henryk Michalewski, Cezary Kaliszyk, Josef Urban
Towards Finding Longer Proofs. TABLEAUX (2021)
Blazej Osinski, Adam Jakubowski, Pawel Ziecina, Piotr Milos, Christopher Galias, Silviu Homoceanu, Henryk Michalewski
Simulation-Based Reinforcement Learning for Real-World Autonomous Driving. ICRA (2020)
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
Model Based Reinforcement Learning for Atari. ICLR (2020)
Blazej Osinski, Piotr Milos, Adam Jakubowski, Pawel Ziecina, Michal Martyniak, Christopher Galias, Antonia Breuer, Silviu Homoceanu, Henryk Michalewski
CARLA Real Traffic Scenarios - novel training ground and benchmark for autonomous driving. CoRR (2020)
Sebastian Jaszczur, Michal Luszczyk, Henryk Michalewski
Neural heuristics for SAT solving. CoRR (2020)
Zsolt Zombori, Adrián Csiszárik, Henryk Michalewski, Cezary Kaliszyk, Josef Urban
Towards Finding Longer Proofs. CoRR (2019)
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
Model-Based Reinforcement Learning for Atari. CoRR (2019)
Blazej Osinski, Adam Jakubowski, Piotr Milos, Pawel Ziecina, Christopher Galias, Silviu Homoceanu, Henryk Michalewski
Simulation-based reinforcement learning for real-world autonomous driving. CoRR (2019)
Leszek Aleksander Kolodziejczyk, Henryk Michalewski, Pierre Pradic, Michal Skrzypczak
The logical strength of Büchi's decidability theorem. Log. Methods Comput. Sci. 15 (2) (2019)
Henryk Michalewski, Michal Skrzypczak
On the Strength of Unambiguous Tree Automata. Int. J. Found. Comput. Sci. 29 (5) (2018)
Igor Adamski, Robert Adamski, Tomasz Grel, Adam Jedrych, Kamil Kaczmarek, Henryk Michalewski
Distributed Deep Reinforcement Learning: Learn how to play Atari games in 21 minutes. CoRR (2018)
Michal Garmulewicz, Henryk Michalewski, Piotr Milos
Expert-augmented actor-critic for ViZDoom and Montezumas Revenge. CoRR (2018)
Cezary Kaliszyk, Josef Urban, Henryk Michalewski, Miroslav Olsák
Reinforcement Learning of Theorem Proving. NeurIPS (2018)
Matteo Mio, Michal Skrzypczak, Henryk Michalewski
Monadic Second Order Logic with Measure and Category Quantifiers. Log. Methods Comput. Sci. 14 (2) (2018)
Igor Adamski, Robert Adamski, Tomasz Grel, Adam Jedrych, Kamil Kaczmarek, Henryk Michalewski
Distributed Deep Reinforcement Learning: Learn How to Play Atari Games in 21 minutes. ISC (2018)
Cezary Kaliszyk, Josef Urban, Henryk Michalewski, Mirek Olsák
Reinforcement Learning of Theorem Proving. CoRR (2018)
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
Learning to Run challenge solutions: Adapting reinforcement learning methods for neuromusculoskeletal environments. CoRR (2018)
Mikolaj Bojanczyk, Henryk Michalewski
Some connections between universal algebra and logics for trees. CoRR (2017)
Robert Adamski, Tomasz Grel, Maciej Klimek, Henryk Michalewski
Atari Games and Intel Processors. CGW@IJCAI (2017)
Henryk Michalewski, Matteo Mio, Michal Skrzypczak
Monadic Second Order Logic with Measure and Category Quantifiers. CoRR (2017)
Filippo Cavallari, Henryk Michalewski, Michal Skrzypczak
A Characterisation of Pi^0_2 Regular Tree Languages. MFCS (2017)
Maciej Klimek, Henryk Michalewski, Piotr Milos
Hierarchical Reinforcement Learning with Parameters. CoRL (2017)
Robert Adamski, Tomasz Grel, Maciej Klimek, Henryk Michalewski
Atari games and Intel processors. CoRR (2017)
Tomasz Gogacz, Henryk Michalewski, Matteo Mio, Michal Skrzypczak
Measure properties of regular sets of trees. Inf. Comput. 256 (2017)
Henryk Michalewski, Matteo Mio
Measure Quantifier in Monadic Second Order Logic. LFCS (2016)
Leszek Aleksander Kolodziejczyk, Henryk Michalewski
How unprovable is Rabin's decidability theorem? LICS (2016)
Henryk Michalewski, Michal Skrzypczak
Unambiguous Büchi Is Weak. DLT (2016)
Leszek Aleksander Kolodziejczyk, Henryk Michalewski, Pierre Pradic, Michal Skrzypczak
The logical strength of Büchi's decidability theorem. CoRR (2016)
Henryk Michalewski, Andrzej Nagórko, Jakub Pawlewicz
An upper bound of 84 for Morpion Solitaire 5D. CCCG (2016)
Henryk Michalewski, Matteo Mio, Mikolaj Bojanczyk
On the Regular Emptiness Problem of Subzero Automata. ICE (2016)
Jakub Sygnowski, Henryk Michalewski
Learning from the memory of Atari 2600. CoRR (2016)
Oskar Skibski, Henryk Michalewski, Andrzej Nagórko, Tomasz P. Michalak, Andrew James Dowell, Talal Rahwan, Michael J. Wooldridge
Non-Utilitarian Coalition Structure Generation. ECAI (2016)
Jakub Sygnowski, Henryk Michalewski
Learning from the Memory of Atari 2600. CGW@IJCAI (2016)
Leszek Aleksander Kolodziejczyk, Henryk Michalewski, Pierre Pradic, Michal Skrzypczak
The Logical Strength of Büchi's Decidability Theorem. CSL (2016)
Henryk Michalewski, Matteo Mio
On the Problem of Computing the Probability of Regular Sets of Trees. FSTTCS (2015)
Henryk Michalewski, Andrzej Nagórko, Jakub Pawlewicz
485 - A New Upper Bound for Morpion Solitaire. CGW/GIGA@IJCAI (2015)
Henryk Michalewski, Matteo Mio
Baire Category Quantifier in Monadic Second Order Logic. ICALP (2) (2015)
Leszek Aleksander Kolodziejczyk, Henryk Michalewski
How unprovable is Rabin's decidability theorem? CoRR (2015)
Henryk Michalewski, Matteo Mio
On the Problem of Computing the Probability of Regular Sets of Trees. CoRR (2015)
Mikolaj Bojanczyk, Tomasz Gogacz, Henryk Michalewski, Michal Skrzypczak
On the Decidability of MSO+U on Infinite Trees. ICALP (2) (2014)
Alessandro Facchini, Henryk Michalewski
Deciding the Borel complexity of regular tree languages. CoRR (2014)
Alessandro Facchini, Henryk Michalewski
Deciding the Borel Complexity of Regular Tree Languages. CiE (2014)
Henryk Michalewski, Michal Skrzypczak
Unambiguous Buchi is weak. CoRR (2014)
Tomasz Gogacz, Henryk Michalewski, Matteo Mio, Michal Skrzypczak
Measure Properties of Game Tree Languages. MFCS (1) (2014)
André Arnold, Henryk Michalewski, Damian Niwinski
On the Separation Question for Tree Languages. Theory Comput. Syst. 55 (4) (2014)
Henryk Michalewski, Damian Niwinski
On Topological Completeness of Regular Tree Languages. Logic and Program Semantics (2012)
André Arnold, Henryk Michalewski, Damian Niwinski
On the separation question for tree languages. STACS (2012)
Szczepan Hummel, Henryk Michalewski, Damian Niwinski
On the Borel Inseparability of Game Tree Languages. STACS (2009)