This public lecture was part of the Harmonic Analysis, Stochastics and PDEs workshop at ICMS. We were delighted to welcome speaker Ilya Chevyrev (University of Edinburgh) for this public lecture.The…
Mathematical Approaches to Lower Bounds: Complexity of Proofs and Computation Learning from equivalence queries and
unprovability of circuit upper bounds University of Warwick Igor Oliveira