About Me
Hi, I am Yaroslav Alekseev.
I am a PhD student at Technion, working with Yuval Filmus.
My main research interests are: proof complexity, boolean function analysis and communication complexity.
My e-mail: tolstreg [at] gmail.com
Papers
- Yaroslav Alekseev, Dmitry Itsykson
Lifting to bounded-depth and regular resolutions over parities via games.
STOC 2025
- Yaroslav Alekseev, Dima Grigoriev, Edward A. Hirsch
Tropical proof systems.
STACS 2025
- Yaroslav Alekseev, Alexander Smal, Yuval Filmus
Lifting Dichotomies.
CCC 2024
- Yaroslav Alekseev, Edward A. Hirsch
The Power of the Binary Value Principle.
CIAC 2023
- Yaroslav Alekseev
A Lower Bound for Polynomial Calculus with Extension Rule.
CCC 2021 Best Student Paper.
- Yaroslav Alekseev, Dima Grigoriev, Edward A. Hirsch, Iddo Tzameret
IPS lower bounds and the tau-conjecture: Can a natural number be negative?
STOC 2020