Henryk Michalewski
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
30
Venues
20
Active years
2009–2025
Best venue rank
A*
Where they publish
Papers
30 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | AAAI | Structured Packing in LLM Training Improves Long Context Utilization. | Konrad Staniszewski, Szymon Tworkowski, Sebastian Jaszczur, Yu Zhao, Henryk Michalewski, Lukasz Kucinski, Piotr Milos |
| 2025 | EMNLP | Towards Robust Mathematical Reasoning. | Thang Luong, Dawsen Hwang, Hoang H. Nguyen, Golnaz Ghiasi, Yuri Chervonyi, Insuk Seo, Junsu Kim, Garrett Bingham, Jonathan Lee, Swaroop Mishra, Alex Zhai, Clara Huiyi Hu, Henryk Michalewski, Jimin Kim, Jeonghyun Ahn, Junhwi Bae, Xingyou Song, Trieu H. Trinh, Quoc V. Le, Junehyuk Jung |
| 2024 | EMNLP | Beyond Lines and Circles: Unveiling the Geometric Reasoning Gap in Large Language Models. | Spyridon Mouselinos, Henryk Michalewski, Mateusz Tomasz Malinowski |
| 2024 | ICML | Promptbreeder: Self-Referential Self-Improvement via Prompt Evolution. | Chrisantha Fernando, Dylan Banarse, Henryk Michalewski, Simon Osindero, Tim Rocktschel |
| 2023 | ACL | A Simple, Yet Effective Approach to Finding Biases in Code Generation. | Spyridon Mouselinos, Mateusz Malinowski, Henryk Michalewski |
| 2023 | ACL | 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 |
| 2023 | CoRL | 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 |
| 2022 | ICLR | Measuring CLEVRness: Black-box Testing of Visual Reasoning Models. | Spyridon Mouselinos, Henryk Michalewski, Mateusz Malinowski |
| 2022 | IJCNN | Q-Value Weighted Regression: Reinforcement Learning with Limited Data. | Piotr Kozakowski, Lukasz Kaiser, Henryk Michalewski, Afroz Mohiuddin, Katarzyna Kanska |
| 2022 | NAACL | Hierarchical Transformers Are More Efficient Language Models. | Piotr Nawrot, Szymon Tworkowski, Michal Tyrolski, Lukasz Kaiser, Yuhuai Wu, Christian Szegedy, Henryk Michalewski |
| 2021 | ACL | Measuring and Improving BERT's Mathematical Abilities by Predicting the Order of Reasoning. | Piotr Piekos, Mateusz Malinowski, Henryk Michalewski |
| 2021 | TABLEAUX | Towards Finding Longer Proofs. | Zsolt Zombori, Adrin Csiszrik, Henryk Michalewski, Cezary Kaliszyk, Josef Urban |
| 2020 | ICLR | 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 |
| 2020 | ICRA | Simulation-Based Reinforcement Learning for Real-World Autonomous Driving. | Blazej Osinski, Adam Jakubowski, Pawel Ziecina, Piotr Milos, Christopher Galias, Silviu Homoceanu, Henryk Michalewski |
| 2017 | CoRL | Hierarchical Reinforcement Learning with Parameters. | Maciej Klimek, Henryk Michalewski, Piotr Milos |
| 2017 | IJCAI | Atari Games and Intel Processors. | Robert Adamski, Tomasz Grel, Maciej Klimek, Henryk Michalewski |
| 2017 | MFCS | A Characterisation of Pi^0_2 Regular Tree Languages. | Filippo Cavallari, Henryk Michalewski, Michal Skrzypczak |
| 2016 | CSL | The Logical Strength of Bchi's Decidability Theorem. | Leszek Aleksander Kolodziejczyk, Henryk Michalewski, Ccilia Pradic, Michal Skrzypczak |
| 2016 | DLT | Unambiguous Bchi Is Weak. | Henryk Michalewski, Michal Skrzypczak |
| 2016 | ECAI | Non-Utilitarian Coalition Structure Generation. | Oskar Skibski, Henryk Michalewski, Andrzej Nagrko, Tomasz P. Michalak, Andrew James Dowell, Talal Rahwan, Michael J. Wooldridge |
| 2016 | IJCAI | Learning from the Memory of Atari 2600. | Jakub Sygnowski, Henryk Michalewski |
| 2016 | LFCS | Measure Quantifier in Monadic Second Order Logic. | Henryk Michalewski, Matteo Mio |
| 2016 | LICS | How unprovable is Rabin's decidability theorem? | Leszek Aleksander Kolodziejczyk, Henryk Michalewski |
| 2015 | ICALP | Baire Category Quantifier in Monadic Second Order Logic. | Henryk Michalewski, Matteo Mio |
| 2015 | IJCAI | 485 - A New Upper Bound for Morpion Solitaire. | Henryk Michalewski, Andrzej Nagrko, Jakub Pawlewicz |
| 2014 | CiE | Deciding the Borel Complexity of Regular Tree Languages. | Alessandro Facchini, Henryk Michalewski |
| 2014 | ICALP | On the Decidability of MSO+U on Infinite Trees. | Mikolaj Bojanczyk, Tomasz Gogacz, Henryk Michalewski, Michal Skrzypczak |
| 2014 | MFCS | Measure Properties of Game Tree Languages. | Tomasz Gogacz, Henryk Michalewski, Matteo Mio, Michal Skrzypczak |
| 2012 | STACS | On the separation question for tree languages. | Andr Arnold, Henryk Michalewski, Damian Niwinski |
| 2009 | STACS | On the Borel Inseparability of Game Tree Languages. | Szczepan Hummel, Henryk Michalewski, Damian Niwinski |