Tuomas Hakoniemi, Nutan Limaye, Iddo Tzameret, Proceedings of the 56th Annual ACM Symposium on Theory of Computing, 2024, 1396
Yaroslav Alekseev, Dima Grigoriev, Edward A. Hirsch, Iddo Tzameret, “Semialgebraic Proofs, IPS Lower Bounds, and the \(\boldsymbol{\tau}\)-Conjecture: Can a Natural Number be Negative?”, SIAM J. Comput., 53, № 3, 2024, 648
Fedor Part, Neil Thapen, Iddo Tzameret, “First-Order Reasoning and Efficient Semi-Algebraic Proofs”, Annals of Pure and Applied Logic, 2024, 103496
Jan Krajíček, “Extended Nullstellensatz proof systems”, Proc. Amer. Math. Soc., 152, № 11, 2024, 4881
Rahul Santhanam, Iddo Tzameret, “Iterated Lower Bound Formulas: A Diagonalization-Based Approach to Proof Complexity”, SIAM J. Comput., 2025, STOC21-313