Hi, I am Mirek Olšák. I got my Ph.D. here at Matfyz 7 years ago, then did research abroad on AI for math from different angles. For the last two years, I worked in Cambridge & Google DeepMind with several Lean experts, and got to understand Lean well.
Official website