Computable decision making on the reals and other spaces: via partiality and nondeterminism. - Benjamin Sherman; Luke Sciarappa; Adam Chlipala; Michael Carbin (LICS, 2018)

Neural Group Actions. - Span Spanbauer; Luke Sciarappa (CoRR, 2020)