Semi-Algebraic Proofs, IPS Lower Bounds and the $ tau$-Conjecture: Can a Natural Number be Negative? - Yaroslav Alekseev; Dima Grigoriev; Edward A. Hirsch; Iddo Tzameret (Electron. Colloquium Comput. Complex., 2019)

Semi-algebraic proofs, IPS lower bounds, and the τ-conjecture: can a natural number be negative? - Yaroslav Alekseev; Dima Grigoriev; Edward A. Hirsch; Iddo Tzameret (STOC, 2020)

A Lower Bound for Polynomial Calculus with Extension Rule. - Yaroslav Alekseev (CCC, 2021)

The power of the Binary Value Principle. - Yaroslav Alekseev; Edward A. Hirsch (Electron. Colloquium Comput. Complex., 2022)

Lifting dichotomies. - Yaroslav Alekseev; Yuval Filmus; Alexander Smal (Electron. Colloquium Comput. Complex., 2024)

Tropical proof systems. - Yaroslav Alekseev; Dima Grigoriev; Edward A. Hirsch (Electron. Colloquium Comput. Complex., 2024)

Lifting to regular resolution over parities via games. - Yaroslav Alekseev; Dmitry Itsykson (Electron. Colloquium Comput. Complex., 2024)

Semialgebraic Proofs, IPS Lower Bounds, and the ( boldsymbol{ tau} )-Conjecture: Can a Natural Number be Negative? - Yaroslav Alekseev; Dima Grigoriev; Edward A. Hirsch; Iddo Tzameret (SIAM J. Comput., 2024)

ATSM: A coverage-based framework and a tool for test suite minimization. - Yaroslav Alekseev; Mikhail Onischuck; Arseniy Zorin; Vitaliy Chernyi; Evgeniy Iliyn; Vladimir M. Itsykson (J. Softw. Evol. Process., 2024)

Tropical Proof Systems: Between R(CP) and Resolution. - Yaroslav Alekseev; Dima Grigoriev; Edward A. Hirsch (STACS, 2025)

Lifting to Bounded-Depth and Regular Resolutions over Parities via Games. - Yaroslav Alekseev; Dmitry Itsykson (STOC, 2025)

Approximate polymorphisms of predicates. - Yaroslav Alekseev; Yuval Filmus (Electron. Colloquium Comput. Complex., 2025)

Catalytic Computing and Register Programs Beyond Log-Depth. - Yaroslav Alekseev; Yuval Filmus; Ian Mertz; Alexander Smal; Antoine Vinciguerra (Electron. Colloquium Comput. Complex., 2025)

Generalised Linial-Nisan Conjecture is False for DNFs. - Yaroslav Alekseev; Mika Göös; Ziyi Guan; Gilbert Maystre; Artur Riazanov; Dmitry Sokolov 001; Weiqiang Yuan 002 (Electron. Colloquium Comput. Complex., 2025)