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 001 (NeurIPS, 2020)

Proof Repair Infrastructure for Supervised Models: Building a Large Proof Repair Dataset. - Tom Reichel; R. Wesley Henderson; Andrew Touchet; Andrew Gardner; Talia Ringer (ITP, 2023)