video lecture $A_\infty$ structures as a language for open Gromov-Witten theory October 02, 2017 Sara Tukachinsky Read More
video lecture Crossing the logarithmic barrier for dynamic boolean data structure lower bounds October 02, 2017 Omri Weinstein This paper proves the first super-logarithmic lower bounds on the cell-probe complexity of dynamic boolean (a.k.a. decision) data structure problems, a long-standing milestone in data structure lower bounds. We introduce a new method for proving... Read More
video lecture The quantum best separable state problem and classical connections September 29, 2017 Pravesh Kothari Read More
video lecture Categorical actions in geometry and representation theory September 29, 2017 Clemens Koppensteiner Read More
video lecture Mechanized reasoning in mathematics September 29, 2017 Kuen-Bang Hou (Favonia) Read More
