| Model-based reinforcement learning for atari L Kaiser, M Babaeizadeh, P Milos, B Osinski, RH Campbell, ... arXiv preprint arXiv:1903.00374, 2019 | 455 | 2019 |
| Reinforcement learning of theorem proving C Kaliszyk, J Urban, H Michalewski, M Olšák Advances in Neural Information Processing Systems 31, 2018 | 110 | 2018 |
| 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 | 58 | 2018 |
| 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 | 53 | 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 | 48 | 2020 |
| Small Valdivia compact spaces W Kubiś, H Michalewski Topology and its Applications 153 (14), 2560-2573, 2006 | 43 | 2006 |
| 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 International conference on high performance computing, 370-388, 2018 | 26 | 2018 |
| Palm: Scaling language modeling with pathways A Chowdhery, S Narang, J Devlin, M Bosma, G Mishra, A Roberts, ... arXiv preprint arXiv:2204.02311, 2022 | 23 | 2022 |
| On the decidability of MSO+ U on infinite trees M Bojańczyk, T Gogacz, H Michalewski, M Skrzypczak International Colloquium on Automata, Languages, and Programming, 50-61, 2014 | 19 | 2014 |
| Measure properties of game tree languages T Gogacz, H Michalewski, M Mio, M Skrzypczak International Symposium on Mathematical Foundations of Computer Science, 303-314, 2014 | 18 | 2014 |
| Measure quantifier in monadic second order logic H Michalewski, M Mio International Symposium on Logical Foundations of Computer Science, 267-282, 2016 | 17 | 2016 |
| The logical strength of B\" uchi's decidability theorem L Kołodziejczyk, H Michalewski, P Pradic, M Skrzypczak arXiv preprint arXiv:1608.07514, 2016 | 16 | 2016 |
| On the problem of computing the probability of regular sets of trees H Michalewski, M Mio arXiv preprint arXiv:1510.01640, 2015 | 16 | 2015 |
| Towards finding longer proofs Z Zombori, A Csiszárik, H Michalewski, C Kaliszyk, J Urban International Conference on Automated Reasoning with Analytic Tableaux and …, 2021 | 14 | 2021 |
| An example of a topological group A Krawczyk, H Michalewski Topology and its Applications 127 (3), 325-330, 2003 | 14 | 2003 |
| Linear metric spaces close to being σ-compact A Krawczyk, H Michalewski Technical Report 46, 2001 | 14 | 2001 |
| Monadic second order logic with measure and category quantifiers H Michalewski, M Skrzypczak, M Mio Logical Methods in Computer Science 14, 2018 | 13 | 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 | 12 | 2021 |
| On the Borel inseparability of game tree languages S Hummel, H Michalewski, D Niwinski arXiv preprint arXiv:0902.1732, 2009 | 12 | 2009 |
| 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 | 11 | 2020 |
Piotr MiłośUniversity of Warsaw, Polish Academy of SciencesZweryfikowany adres z mimuw.edu.pl
