Andrew Gardner

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Bibliography

2023

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

[BibT_eX]

[DOI]

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

2020

DVERGE: Diversifying Vulnerabilities for Enhanced Robust Generation of Ensembles.

[BibT_eX]

[DOI]

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

Robot Trajectory Target Delivery Using Machine Learning.

[BibT_eX]

[DOI]

Proceedings of the 63rd IEEE International Midwest Symposium on Circuits and Systems, 2020

2004

Microarray Gene Expression Data Analysis.

[BibT_eX]

[DOI]

Proceedings of the 2004 IEEE International Symposium on Biomedical Imaging: From Nano to Macro, 2004