Complexity Lower Bounds from Algorithm Design

by Williams, R Ryan
Published 2022

Backprop as Functor: A compositional perspective on supervised learning

by Fong, Brendan C, Spivak, David I, Tuyeras, Remy V
Published 2020

An improved lower bound for the complementation of Rabin automata

by Cai, Yang, Zhang, Ting, Luo, Haifeng
Published 2010

Computable decision making on the reals and other spaces via partiality and nondeterminism

by Sherman, Benjamin, Sciarappa, Luke, Chlipala, Adam, Carbin, Michael James
Published 2019