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

Stefan Grosser, Marco Carmosino

Browse the full STOC paper archive.