Michal Sustr

Joined

January 2020

Names

Michal Sustr (Preferred)

Emails

****@gmail.com (Confirmed)

,

****@aic.fel.cvut.cz (Confirmed)

Personal Links

Career & Education History

PhD student

Czech Technical University (cvut.cz)

2018 – 2024

Intern

Google DeepMind (google.com)

2020 – 2020

Advisors, Relations & Conflicts

PhD Advisor

2019 – 2023

Expertise

Machine learning

Present

Game theory

Present

Publications

LeanTree: Accelerating White-Box Proof Search with Factorized States in Lean 4
Matěj Kripner, Michal Sustr, Milan Straka
- AI4Math@ICML25 Poster
- Readers: Everyone
Meta-Learning in Self-Play Regret Minimization
David Sychrovský, Martin Schmid, Michal Sustr, Michael Bowling
- Submitted to ICML 2025
- Readers: Everyone
Global CFR: Meta-Learning in Self-Play Regret Minimization
David Sychrovský, Michal Sustr, Michael Bowling, Martin Schmid
- NeurIPS 2023 Workshop Poster
- Readers: Everyone
Learning not to Regret
David Sychrovsky, Michal Sustr, Elnaz Davoodi, Marc Lanctot, Martin Schmid
- 2023 (modified: 15 Apr 2023)
- CoRR 2023
- Readers: Everyone
Sound Algorithms in Imperfect Information Games
Michal Sustr, Martin Schmid, Matej Moravcík, Neil Burch, Marc Lanctot, Michael Bowling
- 2021 (modified: 26 May 2022)
- AAMAS 2021
- Readers: Everyone
Fast Algorithms for Poker Require Modelling it as a Sequential Bayesian Game
Vojtech Kovarík, David Milec, Michal Sustr, Dominik Seitz, Viliam Lisý
- 2021 (modified: 26 May 2022)
- CoRR 2021
- Readers: Everyone
Sound Search in Imperfect Information Games
Michal Sustr, Martin Schmid, Matej Moravcík, Neil Burch, Marc Lanctot, Michael Bowling
- 2020 (modified: 15 May 2025)
- CoRR 2020
- Readers: Everyone
Monte Carlo Continual Resolving for Online Strategy Computation in Imperfect Information Games
Michal Sustr, Vojtech Kovarík, Viliam Lisý
- 2019 (modified: 04 Nov 2022)
- AAMAS 2019
- Readers: Everyone
Multi-platform Version of StarCraft: Brood War in a Docker Container: Technical Report
Michal Sustr, Jan Malý, Michal Certický
- Published: 01 Jan 2018, Last Modified: 15 May 2023
- CoRR 2018
- Readers: Everyone
Monte Carlo Continual Resolving for Online Strategy Computation in Imperfect Information Games
Michal Sustr, Vojtech Kovarík, Viliam Lisý
- Published: 01 Jan 2018, Last Modified: 15 May 2023
- CoRR 2018
- Readers: Everyone

Co-Authors