Hayden Moore, Asfahan Shah (2025). Evaluating Autoformalization Robustness via Semantically Similar Paraphrasing. To appear in Logical and Symbolic Reasoning in Language Models @ AAAI 2026 📄 arXiv:2511.12784

Stephen Casper, Jieun Yun, Joonhyuk Baek, Yeseong Jung, Minhwan Kim, Kiwan Kwon, Saerom Park, Hayden Moore, David Shriver, Marissa Connor, Keltin Grimes, Angus Nicolson, Arush Tagade, Jessica Rumbelow, Hieu Minh Nguyen, Dylan Hadfield-Menell (2024). The SaTML ‘24 CNN Interpretability Competition: New Innovations for Concept-Level Interpretability. Follow-up report for 2nd IEEE Conference on Secure and Trustworthy Machine Learning (SaTML) 📄 arXiv:2404.02949

Sinha, A., Moore, H., VanHoudnos N. (2023). Understanding Bias Transfer from Foundational Models to Fine-tuned Child Models. Conference on Applied Machine Learning for Information Security (CAMLIS) 📄 Poster

Hayden Moore (2023). Adaptability of Computer Vision at the Tactical Edge: Addressing Environmental Uncertainty. The 28th annual International Command and Control Research and Technology Symposium (ICCRTS) 📄 arXiv:2312.00269

Sinha, A., Moore, H., VanHoudnos, N. (2023). Leveraging Adversarial Machine Learning Techniques to Perform Query-Access Fairness Evaluations. Software Engineering Institute’s (SEI) 2023 Research Review 📄 SEI Research Review

Mellinger, A., Brown, B., Churilla, M., Gallagher, S., Helland, J., Justice, D., Mittermeier, D., Moore, H., Nichols, W., Shaw, W., Sinha, A., VanHoudnos, N., Widjaja, J., Winski, N., Zucca, J. (2022). Juneberry Version 0.5 Simulates Attacks on Machine Learning Systems. Software Engineering Institute’s (SEI) 2022 Research Review 📄 SEI Year in Review

Graham, D., Heim, E., Helland, J., McCarthy, R., Moore, H., Morales, J., Palat, J., Smith, C., Deusen, A., Widjaja, J., Wright, O. (2020). AI Collaboration Supports U.S. Army Operations. Software Engineering Institute’s (SEI) 2020 Research Review 📄 SEI Year in Review

CNN Interpretability: Competition Results
IEEE SaTML’24, University of Toronto, CA, 2024

State-of-the-art Ship Detection Algorithms
Software Engineering Institute and Office of Naval Research Summit, 2023

Data Pipelines for Object Detection at the Tactical Edge
Software Engineering Institute AI Workforce Development Lunch Series, 2023

Technical Underpinnings of Decentralized Blockchains
Guest speaker for Robert Beveridge’s Cryptography course (95-745) at Carnegie Mellon University
Pittsburgh, PA, 2021

🏆 Competition Achievement:
2nd Place, IEEE Conference on Secure and Trustworthy Machine Learning, SaTML: CNN Interpretability Competition (2024)
Competition Website

🏆 Award:
Best Paper Nominee for the 28th annual International Command and Control Research and Technology Symposium (ICCRTS)
Best Paper Nominations