Follow
Andrew Touchet
Andrew Touchet
Verified email at latech.edu
Title
Cited by
Cited by
Year
Dverge: diversifying vulnerabilities for enhanced robust generation of ensembles
H Yang, J Zhang, H Dong, N Inkawhich, A Gardner, A Touchet, W Wilkes, ...
Advances in Neural Information Processing Systems 33, 5505-5515, 2020
1092020
Proof repair infrastructure for supervised models: Building a large proof repair dataset
T Reichel, R Henderson, A Touchet, A Gardner, T Ringer
14th International Conference on Interactive Theorem Proving (ITP 2023), 2023
42023
The system can't perform the operation now. Try again later.
Articles 1–2