Seth Harris

Publication Activity (10 Years)

Years Active: 2019-2021
Publications (10 Years): 2

Top Topics

Stochastic Dominance

Arithmetic Operations

Quantifier Free

Top Venues

Ann. Pure Appl. Log.

Publications

Gordon Hendry, Seth Harris, Ryan Goodwin, Leonid Neverov, Yunkai Xiao, David Tian, Yang Song
PyRoboCar: A Low-cost Deep Neural Network-based Autonomous Car. FIE (2021)
François Dorais, Zachary Evans, Marcia J. Groszek, Seth Harris, Theodore A. Slaman
Schmerl decompositions in first order arithmetic. Ann. Pure Appl. Log. 170 (12) (2019)