Papers, talks and posters
Papers
In 36th Computational Complexity Conference (CCC 2021), volume 200 of Leibniz International Proceedings in Informatics (LIPIcs), pages 21:1–21:18, 2021.
"Semi-algebraic proofs, IPS lower bounds and the tau-conjecture: Can a natural number be negative?",
In Proceedings of the 52nd Annual ACM Symposium on Theory of Computing (STOC 2020), pages 54–67, 2020. Full version (57 pages) is submitted to a journal.
Talks
In progress