1 paper · 1 filter
Ondřej Ježil, Dimitrios Tsintsilidas
Student-Teacher Games are a model of computation in which a computationally restricted Student attempts to produce a string satisfying a refutable property, while an all-powerful T…