Andrew Touchet

According to our database, Andrew Touchet authored at least 2 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Proof Repair Infrastructure for Supervised Models: Building a Large Proof Repair Dataset.

Tom Reichel, R. Wesley Henderson, Andrew Touchet, Andrew Gardner, Talia Ringer

Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023

2020

DVERGE: Diversifying Vulnerabilities for Enhanced Robust Generation of Ensembles.

Huanrui Yang, Jingyang Zhang, Hongliang Dong, Nathan Inkawhich, Andrew Gardner, Andrew Touchet, Wesley Wilkes, Heath Berry, Hai Li

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020