Login / Signup
Andrew Touchet
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 3
Top Topics
Mathematical Proofs
Computationally Efficient
Classifier Ensemble
Theorem Prover
Top Venues
ITP
CoRR
NeurIPS
</>
Publications
</>
Tom Reichel
,
R. Wesley Henderson
,
Andrew Touchet
,
Andrew Gardner
,
Talia Ringer
Proof Repair Infrastructure for Supervised Models: Building a Large Proof Repair Dataset.
ITP
(2023)
Huanrui Yang
,
Jingyang Zhang
,
Hongliang Dong
,
Nathan Inkawhich
,
Andrew Gardner
,
Andrew Touchet
,
Wesley Wilkes
,
Heath Berry
,
Hai Li
DVERGE: Diversifying Vulnerabilities for Enhanced Robust Generation of Ensembles.
NeurIPS
(2020)
Huanrui Yang
,
Jingyang Zhang
,
Hongliang Dong
,
Nathan Inkawhich
,
Andrew Gardner
,
Andrew Touchet
,
Wesley Wilkes
,
Heath Berry
,
Hai Li
DVERGE: Diversifying Vulnerabilities for Enhanced Robust Generation of Ensembles.
CoRR
(2020)