Stefan Grosser

According to our database, Stefan Grosser authored at least 6 papers between 2021 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2026

Total Search Problems in ZPP.

Noah Fleming, Stefan Grosser, Siddhartha Jain, Jiawei Li, Hanlin Ren, Morgan Shirley, Weiqiang Yuan

Proceedings of the 17th Innovations in Theoretical Computer Science Conference, 2026

2025

Student-Teacher Constructive Separations and (Un)Provability in Bounded Arithmetic: Witnessing the Gap.

Stefan Grosser, Marco Carmosino

Proceedings of the 57th Annual ACM Symposium on Theory of Computing, 2025

2024

Typical structure of hereditary properties of binary matroids.

Stefan Grosser, Hamed Hatami, Peter Nelson, Sergey Norin

J. Comb. Theory B, 2024

Black-Box PPP Is Not Turing-Closed.

Noah Fleming, Stefan Grosser, Toniann Pitassi, Robert Robere

Proceedings of the 56th Annual ACM Symposium on Theory of Computing, 2024

2022

On Semi-Algebraic Proofs and Algorithms.

Noah Fleming, Mika Göös, Stefan Grosser, Robert Robere

Proceedings of the 13th Innovations in Theoretical Computer Science Conference, 2022

2021

Counting Linear Extensions of Posets with Determinants of Hook Lengths.

Alexander Garver, Stefan Grosser, Jacob P. Matherne, Alejandro H. Morales

SIAM J. Discret. Math., 2021