Size-Degree Trade-Offs for Sums-of-Squares and Positivstellensatz Proofs. - Albert Atserias; Tuomas Hakoniemi (CCC, 2019)

Feasible Interpolation for Polynomial Calculus and Sums-Of-Squares. - Tuomas Hakoniemi (ICALP, 2020)

Monomial size vs. Bit-complexity in Sums-of-Squares and Polynomial Calculus. - Tuomas Hakoniemi (LICS, 2021)

Simple Hard Instances for Low-Depth Algebraic Proofs. - Nashlen Govindasamy; Tuomas Hakoniemi; Iddo Tzameret (Electron. Colloquium Comput. Complex., 2022)

Size bounds for algebraic and semialgebraic proof systems. - Tuomas Hakoniemi (2022)

Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers. - Tuomas Hakoniemi; Nutan Limaye; Iddo Tzameret (Electron. Colloquium Comput. Complex., 2024)