Login / Signup
Seth Harris
Publication Activity (10 Years)
Years Active: 2019-2021
Publications (10 Years): 2
Top Topics
Stochastic Dominance
Arithmetic Operations
Quantifier Free
Belief Nets
Top Venues
Ann. Pure Appl. Log.
FIE
</>
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)