Follow
Henryk Michalewski
Henryk Michalewski
Verified email at google.com
Title
Cited by
Cited by
Year
Palm: Scaling language modeling with pathways
A Chowdhery, S Narang, J Devlin, M Bosma, G Mishra, A Roberts, ...
arXiv preprint arXiv:2204.02311, 2022
9192022
Model-based reinforcement learning for atari
L Kaiser, M Babaeizadeh, P Milos, B Osinski, RH Campbell, ...
arXiv preprint arXiv:1903.00374, 2019
6902019
Program synthesis with large language models
J Austin, A Odena, M Nye, M Bosma, H Michalewski, D Dohan, E Jiang, ...
arXiv preprint arXiv:2108.07732, 2021
2202021
Show your work: Scratchpads for intermediate computation with language models
M Nye, AJ Andreassen, G Gur-Ari, H Michalewski, J Austin, D Bieber, ...
arXiv preprint arXiv:2112.00114, 2021
1542021
Reinforcement learning of theorem proving
C Kaliszyk, J Urban, H Michalewski, M Olšák
Advances in Neural Information Processing Systems 31, 2018
1462018
Solving quantitative reasoning problems with language models
A Lewkowycz, A Andreassen, D Dohan, E Dyer, H Michalewski, ...
arXiv preprint arXiv:2206.14858, 2022
1102022
Simulation-based reinforcement learning for real-world autonomous driving
B Osiński, A Jakubowski, P Zięcina, P Miłoś, C Galias, S Homoceanu, ...
2020 IEEE international conference on robotics and automation (ICRA), 6411-6418, 2020
832020
Learning to run challenge solutions: Adapting reinforcement learning methods for neuromusculoskeletal environments
Ł Kidziński, SP Mohanty, CF Ong, Z Huang, S Zhou, A Pechenko, ...
The NIPS'17 Competition: Building Intelligent Systems, 121-153, 2018
782018
Multi-game decision transformers
KH Lee, O Nachum, MS Yang, L Lee, D Freeman, S Guadarrama, ...
Advances in Neural Information Processing Systems 35, 27921-27936, 2022
592022
Small Valdivia compact spaces
W Kubiś, H Michalewski
Topology and its Applications 153 (14), 2560-2573, 2006
482006
Distributed deep reinforcement learning: Learn how to play atari games in 21 minutes
I Adamski, R Adamski, T Grel, A Jędrych, K Kaczmarek, H Michalewski
High Performance Computing: 33rd International Conference, ISC High …, 2018
322018
Sparse is enough in scaling transformers
S Jaszczur, A Chowdhery, A Mohiuddin, L Kaiser, W Gajewski, ...
Advances in Neural Information Processing Systems 34, 9895-9907, 2021
282021
Palm: Scaling language modeling with pathways. 2022
A Chowdhery, S Narang, J Devlin, M Bosma, G Mishra, A Roberts, ...
arXiv preprint arXiv:2204.02311, 2022
262022
Language model cascades
D Dohan, W Xu, A Lewkowycz, J Austin, D Bieber, RG Lopes, Y Wu, ...
arXiv preprint arXiv:2207.10342, 2022
242022
The logical strength of B\" uchi's decidability theorem
L Kołodziejczyk, H Michalewski, P Pradic, M Skrzypczak
arXiv preprint arXiv:1608.07514, 2016
192016
On the decidability of MSO+ U on infinite trees
M Bojańczyk, T Gogacz, H Michalewski, M Skrzypczak
Automata, Languages, and Programming: 41st International Colloquium, ICALP …, 2014
192014
Towards finding longer proofs
Z Zombori, A Csiszárik, H Michalewski, C Kaliszyk, J Urban
Automated Reasoning with Analytic Tableaux and Related Methods: 30th …, 2021
182021
On the problem of computing the probability of regular sets of trees
H Michalewski, M Mio
arXiv preprint arXiv:1510.01640, 2015
182015
Measure properties of game tree languages
T Gogacz, H Michalewski, M Mio, M Skrzypczak
Mathematical Foundations of Computer Science 2014: 39th International …, 2014
182014
CARLA Real Traffic Scenarios--novel training ground and benchmark for autonomous driving
B Osiński, P Miłoś, A Jakubowski, P Zięcina, M Martyniak, C Galias, ...
arXiv preprint arXiv:2012.11329, 2020
172020
The system can't perform the operation now. Try again later.
Articles 1–20