Hey, I'm Hayden!
I am a Ph.D. student in Computer Science & Engineering at Penn State and an Associate Software Developer at Carnegie Mellon University Software Engineering Institute. My research focuses on neurosymbolic learning, interpretable AI, AI security, and formal verification.
I work on building more trustworthy AI systems: detecting hallucinations, understanding model behavior, evaluating robustness, and using formal or structured reasoning to make AI outputs easier to verify.
Publications
A Pilot Benchmark for NL-to-FOL Translation in Planetary Exploration
Workshop on Perceptual Challenges for Planetary Exploration @ ICRA 2026.
Evaluating Autoformalization Robustness via Semantically Similar Paraphrasing
Logical and Symbolic Reasoning in Language Models @ AAAI 2026.
Trojans in Artificial Intelligence (TrojAI) Final Report
Intelligence Advanced Research Projects Activity (IARPA), 2026.
The SaTML '24 CNN Interpretability Competition
IEEE Conference on Secure and Trustworthy Machine Learning (SaTML), 2024.
Understanding Bias Transfer from Foundational Models to Fine-tuned Child Models
Conference on Applied Machine Learning for Information Security (CAMLIS), 2023.
Adaptability of Computer Vision at the Tactical Edge
28th International Command and Control Research and Technology Symposium (ICCRTS), 2023.