Publikacje

Henryk Michalewski

Liczba publikacji: 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 lipca 2024 - 27 lipca 2024. Zobacz w 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 lipca 2023 - 14 lipca 2023. Zobacz w 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 grudnia 2023 - 16 grudnia 2023. Zobacz w 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 lipca 2023 - 14 lipca 2023. Zobacz w 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, s. 1-113. Zobacz w 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 lipca 2022 - 15 lipca 2022. Zobacz w PBN
• Spyridon Mouselinos, Henryk Michalewski , Mateusz Malinowski, Measuring CLEVRness: Black-box Testing of Visual Reasoning Models., International Conference on Learning Representations, Kigali, Rwanda, 1 maja 2023 - 5 maja 2023. Zobacz w 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 listopada 2022 - 30 listopada 2022. Zobacz w 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 maja 2022 - 13 maja 2022. Zobacz w 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 lipca 2022 - 22 lipca 2022, 70 2022, s. 1-8. Zobacz w 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 listopada 2022 - 30 listopada 2022. Zobacz w 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 sierpnia 2021 - 6 sierpnia 2021. Zobacz w 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 grudnia 2021 - 10 grudnia 2021. Zobacz w 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 września 2021 - 9 września 2021. Zobacz w 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 kwietnia 2020 - 1 maja 2020. Zobacz w 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 maja 2020 - 31 sierpnia 2020. Zobacz w 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, s. 16:1-16:31. Zobacz w 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, s. 121-153. Zobacz w PBN
• Matteo Mio, Michał Skrzypczak , Henryk Michalewski , Monadic Second Order Logic with Measure and Category Quantifiers, Logical Methods in Computer Science, 14 (2) 2018, s. 2:1-2:29. Zobacz w PBN
• Henryk Michalewski , Michał Skrzypczak , On the Strength of Unambiguous Tree Automata, International Journal of Foundations of Computer Science, 29 (5) 2018, s. 911-933. Zobacz w 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. Zobacz w 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 sierpnia 2017 - 25 sierpnia 2017. Zobacz w 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 listopada 2017 - 14 listopada 2017, 78 2017, s. 301-313. Zobacz w PBN
• Tomasz Gogacz, Matteo Mio, Michał Skrzypczak , Henryk Michalewski , Measure properties of regular sets of trees, Information and Computation, 256 2017, s. 108-130. Zobacz w 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 lipca 2015 - 27 lipca 2016. Zobacz w 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 sierpnia 2016 - 5 sierpnia 2016. Zobacz w 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 lipca 2016 - 8 lipca 2016. Zobacz w 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 lipca 2016 - 10 lipca 2016. Zobacz w PBN
• Henryk Michalewski , Matteo Mio, Measure Quantifier in Monadic Second Order Logic, 2016. Zobacz w 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 sierpnia 2016 - 2 września 2016. Zobacz w PBN
• Mikołaj Bojańczyk , Henryk Michalewski , Matteo Mio, On the Regular Emptiness Problem of Subzero Automata, 2016. Zobacz w 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 sierpnia 2016 - 1 września 2016. Zobacz w PBN
• Henryk Michalewski , Michał Skrzypczak , Unambiguous Büchi Is Weak, Developments in Language Theory, Montreal, Canada, 2016. Zobacz w 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. Zobacz w PBN
• Henryk Michalewski , Matteo Mio, Baire Category Quantifier in Monadic Second Order Logic, Automata, Languages, and Programming - 42th International Colloquium, Kyoto, Japan, 6 lipca 2015 - 10 lipca 2015. Zobacz w PBN
• Henryk Michalewski , Matteo Mio, On the Problem of Computing the Probability of Regular Sets of Trees, 2015. Zobacz w PBN

2014

• Alessandro Facchini, Henryk Michalewski , Deciding the Borel Complexity of Regular Tree Languages, 2014. Zobacz w 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 sierpnia 2014 - 29 sierpnia 2014. Zobacz w 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. Zobacz w PBN

2013

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

2012

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

2011

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

2010

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

2009

• Szczepan Hummel, Henryk Michalewski , Damian Niwiński , On the Borel inseparability of game tree languages, 2009. Zobacz w 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. Zobacz w PBN

2006

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

2003

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

2001

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

2000

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

1998

• Henryk Michalewski , Game-theoretic approach to the hereditary Baire property of Cp(Nf), Bulletin of the Polish Academy of Sciences. Mathematics, 1998. Zobacz w 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. Zobacz w PBN

Inne

• 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. Zobacz w PBN