| Model-based reinforcement learning for atari L Kaiser, M Babaeizadeh, P Milos, B Osinski, RH Campbell, ... arXiv preprint arXiv:1903.00374, 2019 | 649 | 2019 |
| Palm: Scaling language modeling with pathways A Chowdhery, S Narang, J Devlin, M Bosma, G Mishra, A Roberts, ... arXiv preprint arXiv:2204.02311, 2022 | 529 | 2022 |
| 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 | 168 | 2021 |
| Reinforcement learning of theorem proving C Kaliszyk, J Urban, H Michalewski, M Olšák Advances in Neural Information Processing Systems 31, 2018 | 142 | 2018 |
| 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 | 107 | 2021 |
| 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 | 78 | 2020 |
| 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 | 77 | 2018 |
| Solving quantitative reasoning problems with language models A Lewkowycz, A Andreassen, D Dohan, E Dyer, H Michalewski, ... arXiv preprint arXiv:2206.14858, 2022 | 74 | 2022 |
| Small Valdivia compact spaces W Kubiś, H Michalewski Topology and its Applications 153 (14), 2560-2573, 2006 | 48 | 2006 |
| 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 | 44 | 2022 |
| 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 | 32 | 2018 |
| 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 | 24 | 2021 |
| Language model cascades D Dohan, W Xu, A Lewkowycz, J Austin, D Bieber, RG Lopes, Y Wu, ... arXiv preprint arXiv:2207.10342, 2022 | 19 | 2022 |
| 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 | 19 | 2014 |
| 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 | 18 | 2021 |
| The logical strength of B\" uchi's decidability theorem L Kołodziejczyk, H Michalewski, P Pradic, M Skrzypczak arXiv preprint arXiv:1608.07514, 2016 | 18 | 2016 |
| Measure properties of game tree languages T Gogacz, H Michalewski, M Mio, M Skrzypczak Mathematical Foundations of Computer Science 2014: 39th International …, 2014 | 18 | 2014 |
| Measure quantifier in monadic second order logic H Michalewski, M Mio Logical Foundations of Computer Science: International Symposium, LFCS 2016 …, 2015 | 17 | 2015 |
| On the problem of computing the probability of regular sets of trees H Michalewski, M Mio arXiv preprint arXiv:1510.01640, 2015 | 17 | 2015 |
| 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 | 16 | 2020 |
Piotr MiłośUniversity of Warsaw, Polish Academy of SciencesDirección de correo verificada de mimuw.edu.pl
