Schmerl decompositions in first order arithmetic. - François G. Dorais; Zachary Evans; Marcia J. Groszek; Seth Harris; Theodore A. Slaman (Ann. Pure Appl. Log., 2019)

PyRoboCar: A Low-cost Deep Neural Network-based Autonomous Car. - Gordon Hendry; Seth Harris; Ryan Goodwin; Leonid Neverov; Yunkai Xiao; David Tian; Yang Song 019 (FIE, 2021)