Stefan Grosser

11 papers A* 2A 2Journal 7
YearRankTypeTitle / Venue / Authors
2026 A conf
Total Search Problems in ZPP.
ITCS
Noah Fleming, Stefan Grosser, Siddhartha Jain, Jiawei Li, Hanlin Ren, Morgan Shirley, Weiqiang Yuan
2025 A* conf
Student-Teacher Constructive Separations and (Un)Provability in Bounded Arithmetic: Witnessing the Gap.
STOC
Stefan Grosser, Marco Carmosino
2025 J jnl
Student-Teacher Constructive Separations and (Un)Provability in Bounded Arithmetic: Witnessing the Gap.
Electron. Colloquium Comput. Complex.
Marco Carmosino, Stefan Grosser
2025 J jnl
Total Search Problems in ZPP.
CoRR
Noah Fleming, Stefan Grosser, Siddhartha Jain, Jiawei Li, Hanlin Ren, Morgan Shirley, Weiqiang Yuan
2025 J jnl
Total Search Problems in ZPP.
Electron. Colloquium Comput. Complex.
Noah Fleming, Stefan Grosser, Siddhartha Jain, Jiawei Li, Hanlin Ren, Morgan Shirley, Weiqiang Yuan
2024 A* conf
Black-Box PPP Is Not Turing-Closed.
STOC
Noah Fleming, Stefan Grosser, Toniann Pitassi, Robert Robere
2024 J jnl
Black-Box PPP is not Turing-Closed.
Electron. Colloquium Comput. Complex.
Noah Fleming, Stefan Grosser, Toniann Pitassi, Robert Robere
2024 J jnl
Typical structure of hereditary properties of binary matroids.
J. Comb. Theory B
Stefan Grosser, Hamed Hatami, Peter Nelson, Sergey Norin
2022 A conf
On Semi-Algebraic Proofs and Algorithms.
ITCS
Noah Fleming, Mika Göös, Stefan Grosser, Robert Robere
2022 J jnl
On Semi-Algebraic Proofs and Algorithms.
Electron. Colloquium Comput. Complex.
Noah Fleming, Stefan Grosser, Mika Göös, Robert Robere
2021 J jnl
Counting Linear Extensions of Posets with Determinants of Hook Lengths.
SIAM J. Discret. Math.
Alexander Garver, Stefan Grosser, Jacob P. Matherne, Alejandro H. Morales