Publications

Henryk Michalewski

Number of publications: 54

2024

• Chrisantha Fernando, Dylan Sunil Banarse, Henryk Michalewski , Simon Osindero, Tim Rocktäschel, Promptbreeder: Self-Referential Self-Improvement via Prompt Evolution, 41st International Conference on Machine Learning, Vienna, Austria, 21 July 2024 - 27 July 2024. See in PBN

2023

• Spyridon Mouselinos, Mateusz Malinowski, Henryk Michalewski , A Simple, Yet Effective Approach to Finding Biases in Code Generation, Findings of the Association for Computational Linguistics: ACL 2023, Toronto, Canada, 9 July 2023 - 14 July 2023. See in PBN
• Szymon Tworkowski, Konrad Staniszewski, Mikołaj Pacek, Yuhuai Wu, Henryk Michalewski , Piotr Miłoś , Focused Transformer: Contrastive Training for Context Scaling, 37th Conference on Neural Information Processing Systems (NeurIPS 2023), New Orleans, the United States of America, 10 December 2023 - 16 December 2023. See in PBN
• 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, 61st Annual Meeting of the Association for Computational Linguistics, Toronto, Canada, 9 July 2023 - 14 July 2023. See in PBN
• 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., Thanumalayan Sankaranarayana Pillai, Marie Pellat, PaLM: Scaling Language Modeling with Pathways, JOURNAL OF MACHINE LEARNING RESEARCH, 24 (240) 2023, p. 1-113. See in PBN

2022

• Piotr Nawrot, Szymon Tworkowski, Michał Tyrolski, Lukasz Kaiser, Yuhuai Wu, Christian Szegedy, Henryk Michalewski , Hierarchical Transformers Are More Efficient Language Models, Findings of the Association for Computational Linguistics 2022, Seattle, the United States of America, 10 July 2022 - 15 July 2022. See in PBN
• Spyridon Mouselinos, Henryk Michalewski , Mateusz Malinowski, Measuring CLEVRness: Black-box Testing of Visual Reasoning Models., International Conference on Learning Representations, Kigali, Rwanda, 1 May 2023 - 5 May 2023. See in PBN
• Kuang-Huei Lee, Ofir Nachum, Mengjiao (Sherry) Yang, Lisa Lee, Daniel Freeman, Sergio Guadarrama, Ian Fischer, Winnie Xu, Eric Jang, Henryk Michalewski , Igor Mordatch, Multi-Game Decision Transformers, 36th Conference on Neural Information Processing Systems , Nowy Orlean , the United States of America, 28 November 2022 - 30 November 2022. See in PBN
• Michał Zawalski , Błażej Osiński, Henryk Michalewski , Piotr Miłoś , Off-Policy Correction For Multi-Agent Reinforcement Learning, 21st International Conference on Autonomous Agents and Multiagent Systems, Auckland, New Zealand, 11 May 2022 - 13 May 2022. See in PBN
• Piotr Kozakowski, Lukasz Kaiser, Henryk Michalewski , Afroz Mohiuddin, Katarzyna Kanska, Q-Value Weighted Regression: Reinforcement Learning with Limited Data, International Joint Conference on Neural Networks 2022, Padwa, Italy, 17 July 2022 - 22 July 2022, 70 2022, p. 1-8. See in PBN
• Aitor Lewkowycz, Anders Andreassen, David Dohan, Ethan Dyer, Henryk Michalewski , Vinay 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, 36th Conference on Neural Information Processing Systems , Nowy Orlean , the United States of America, 28 November 2022 - 30 November 2022. See in PBN

2021

• Piotr Piękos, Mateusz Malinowski, Henryk Michalewski , Measuring and Improving BERT's Mathematical Abilities by Predicting the Order of Reasoning, The Joint Conference of the 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing, Bangkok (Virtual), Thailand, 1 August 2021 - 6 August 2021. See in PBN
• Sebastian Jaszczur , Aakanksha Chowdhery, Afroz Mohiuddin, Lukasz Kaiser, Wojciech Gajewski, Henryk Michalewski , Jonni Kanerva, Sparse is Enough in Scaling Transformers, Thirty-fifth Conference on Neural Information Processing Systems, Online, the United States of America, 7 December 2021 - 10 December 2021. See in PBN
• Zsolt Zombori, Adrián Csiszárik, Cezary Kaliszyk , Josef Urban, Henryk Michalewski , Towards Finding Longer Proofs, 30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Birmingham, the United Kingdom of Great Britain and Northern Ireland, 6 September 2021 - 9 September 2021. See in PBN

2020

• Łukasz Kaiser, Mohammad Babaeizadeh, Piotr Miłoś , Błażej Osiński, Roy H, Dumitru Erhan, Chelsea Finn, Piotr Kozakowski, Sergey Levine, Afroz Mohiuddin, Ryan Sepassi, George Tucker, Henryk Michalewski , Konrad Czechowski, Model Based Reinforcement Learning for Atari, Eighth International Conference on Learning Representations, Addis Ababa (Virtual), Ethiopia, 26 April 2020 - 1 May 2020. See in PBN
• Błażej Osiński, Adam Jakubowski, Paweł Zięcina, Piotr Miłoś , Christopher Galias, Silviu Homoceanu, Henryk Michalewski , Simulation-Based Reinforcement Learning for Real-World Autonomous Driving, IEEE International Conference on Robotics and Automation (ICRA 2020), Paris, France, 31 May 2020 - 31 August 2020. See in PBN

2019

• Leszek Kołodziejczyk , Henryk Michalewski , Pierre Pradic, Michał Skrzypczak , The logical strength of Büchi's decidability theorem, Logical Methods in Computer Science, 15 (2) 2019, p. 16:1-16:31. See in PBN

2018

• Sean Carroll, Jiale Chen, Zhibo Chen, Scott Delp, Jennifer Hicks, Zhewei Huang, Piotr Jarosik, Łukasz Kidziński, Sergey Kolesnikov, Sergey Levine, Zhihui Lin, Andrew Melnik, Henryk Michalewski , Piotr Miłoś , Sharada Mohanty, Carmichael Ong, Błażej Osiński, Mikhail Pavlov, Anton Pechenko, Sergey Plis, Helge Ritter, Marcel Salathé, Malte Schilling, Jun Shi, Adam Stelmaszczyk, Chun Yuan, Zhizheng Zhang, Zhuobin Zheng, Shuchang Zhou, Learning to Run Challenge Solutions: Adapting Reinforcement Learning Methods for Neuromusculoskeletal Environments, NIPS 2017 Competition Track, 2018, p. 121-153. See in PBN
• Matteo Mio, Michał Skrzypczak , Henryk Michalewski , Monadic Second Order Logic with Measure and Category Quantifiers, Logical Methods in Computer Science, 14 (2) 2018, p. 2:1-2:29. See in PBN
• Henryk Michalewski , Michał Skrzypczak , On the Strength of Unambiguous Tree Automata, International Journal of Foundations of Computer Science, 29 (5) 2018, p. 911-933. See in PBN

2017

• Damian Niwiński , Henryk Michalewski , Wojciech Rytter , Joost Winter, Michał Skrzypczak , Szymon Toruńczyk , Michał Pilipczuk , Eryk Kopczyński , Sławomir Lasota , Paweł Parys , Joanna Ochremiak, Wojciech Czerwiński , Bartosz Klin , Igor Walukiewicz, Szczepan Hummel, Mikołaj Bojańczyk , Piotr Hofman , Lorenzo Clemente , Filip Mazowiecki, Filip Murlak , 200 Problems in Formal Languages and Automata Theory, 2017. See in PBN
• Filippo Cavallari, Henryk Michalewski , Michał Skrzypczak , A Characterisation of Pi^0_2 Regular Tree Languages, 42nd International Symposium on Mathematical Foundations of Computer Science, Aalborg, Denmark, 21 August 2017 - 25 August 2017. See in PBN
• Henryk Michalewski , Maciej Klimek, Piotr Miłoś , Hierarchical Reinforcement Learning with Parameters, Proceedings of Machine Learning Research, 1st Annual Conference on Robot Learning, Mountain View, California, the United States of America, 12 November 2017 - 14 November 2017, 78 2017, p. 301-313. See in PBN
• Tomasz Gogacz, Matteo Mio, Michał Skrzypczak , Henryk Michalewski , Measure properties of regular sets of trees, Information and Computation, 256 2017, p. 108-130. See in PBN

2016

• Henryk Michalewski , Andrzej Nagórko , Jakub Pawlewicz , 485 – A New Upper Bound for Morpion Solitaire, Fourth Workshop on Computer Games, CGW 2015, Held in Conjunction with the 24th International Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 26-27, 2015., Buenos Aires, Argentina, 26 July 2015 - 27 July 2016. See in PBN
• Henryk Michalewski , Andrzej Nagórko , Jakub Pawlewicz , An upper bound of 84 for Morpion Solitaire 5D, 28th Canadian Conference on Computational Geometry, Vancouver, Canada, 3 August 2016 - 5 August 2016. See in PBN
• Leszek Kołodziejczyk , Henryk Michalewski , How unprovable is Rabin's decidability theorem?, LICS '16: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, Nowy Jork, the United States of America, 5 July 2016 - 8 July 2016. See in PBN
• Henryk Michalewski , Jakub Sygnowski, Learning from the Memory of Atari 2600, Fifth Workshop on Computer Games, CGW 2016, Held in Conjunction with the 25th International Conference on Artificial Intelligence, IJCAI 2016; New York, 2016., New York, the United States of America, 9 July 2016 - 10 July 2016. See in PBN
• Henryk Michalewski , Matteo Mio, Measure Quantifier in Monadic Second Order Logic, 2016. See in PBN
• Oskar Skibski , Henryk Michalewski , Andrzej Nagórko , Tomasz Michalak , Andrew Dowell, Talal Rahwan, Michael Wooldridge, Non-Utilitarian Coalition Structure Generation, 2016 European Conference on Artificial Intelligence, Hague, the Netherlands, 29 August 2016 - 2 September 2016. See in PBN
• Mikołaj Bojańczyk , Henryk Michalewski , Matteo Mio, On the Regular Emptiness Problem of Subzero Automata, 2016. See in PBN
• Leszek Kołodziejczyk , Henryk Michalewski , Pierre Pradic, Michał Skrzypczak , The logical strength of Büchi's decidability theorem, 25th EACSL Annual Conference on Computer Science Logic, Marsylia, France, 29 August 2016 - 1 September 2016. See in PBN
• Henryk Michalewski , Michał Skrzypczak , Unambiguous Büchi Is Weak, Developments in Language Theory, Montreal, Canada, 2016. See in PBN

2015

• Henryk Michalewski , Matteo Mio, Baire Category Quantifier in Monadic Second Order Logic, Automata, Languages, and Programming - 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II, 2015. See in PBN
• Henryk Michalewski , Matteo Mio, Baire Category Quantifier in Monadic Second Order Logic, Automata, Languages, and Programming - 42th International Colloquium, Kyoto, Japan, 6 July 2015 - 10 July 2015. See in PBN
• Henryk Michalewski , Matteo Mio, On the Problem of Computing the Probability of Regular Sets of Trees, 2015. See in PBN

2014

• Alessandro Facchini, Henryk Michalewski , Deciding the Borel Complexity of Regular Tree Languages, 2014. See in PBN
• Tomasz Gogacz, Henryk Michalewski , Matteo Mio, Michał Skrzypczak , Measure Properties of Game Tree Languages, Mathematical Foundations of Computer Science 2014 - 39th International Symposium, Budapest, Hungary, 25 August 2014 - 29 August 2014. See in PBN
• Mikołaj Bojańczyk , Tomasz Gogacz, Henryk Michalewski , Michał Skrzypczak , On the Decidability of MSO+U on Infinite Trees, International Colloquium on Automata, Languages and Programming, 2014. See in PBN

2013

• André Arnold, Henryk Michalewski , Damian Niwiński , On the Separation Question for Tree Languages, Theory of Computing Systems, 2013. See in PBN

2012

• Andre Arnold, Henryk Michalewski , Damian Niwiński , On the separation question for tree languages, 2012. See in PBN
• Henryk Michalewski , Damian Niwiński , On Topological Completeness of Regular Tree Languages, Lecture Notes in Computer Science, 2012. See in PBN

2011

• Menachem Kojman, Henryk Michalewski , Borel extensions of Baire measures in ZFC, Fundamenta Mathematicae, 2011. See in PBN

2010

• Andrzej Komisarski, Henryk Michalewski , Functions equivalent to Borel measurable ones, Bulletin of the Polish Academy of Sciences. Mathematics, 2010. See in PBN

2009

• Szczepan Hummel, Henryk Michalewski , Damian Niwiński , On the Borel inseparability of game tree languages, 2009. See in PBN
• Adam Krawczyk, Witold Marciszewski , Henryk Michalewski , Remarks on the set of G_δ-points in Eberlein and Corson compact spaces, Topology and its Applications, 2009. See in PBN

2006

• Wiesław Kubiś, Henryk Michalewski , Small Valdivia compact spaces, Topology and its Applications, 2006. See in PBN

2003

• Adam Krawczyk, Henryk Michalewski , An example of a topological group, Topology and its Applications, 2003. See in PBN
• Henryk Michalewski , Condensations of projective sets onto compacta, Proceedings of the American Mathematical Society, 2003. See in PBN

2001

• Henryk Michalewski , An answer to a question of Arhangel'skii, Commentationes Mathematicae Universitatis Carolinae, 2001. See in PBN

2000

• Henryk Michalewski , Homogeneity of $\scr K(\bold Q)$, Tsukuba Journal of Mathematics, 2000. See in PBN

1998

• Henryk Michalewski , Game-theoretic approach to the hereditary Baire property of Cp(Nf), Bulletin of the Polish Academy of Sciences. Mathematics, 1998. See in PBN

1995

• Henryk Michalewski , Roman Pol , On a Hurewicz-type theorem and a selection theorem of Michael, Bulletin of the Polish Academy of Sciences. Mathematics, 1995. See in PBN

Others

• Henryk Michalewski , Andrzej Nagórko , Jakub Pawlewicz , An upper bound of 84 for Morpion Solitaire 5D, Proceedings of the 28th Canadian Conference on Computational Geometry, CCCG 2016, August 3-5, 2016, Simon Fraser University, Vancouver, British Columbia, Canada. See in PBN