Home

Hayden Moore Profile Pic

Hayden M. Moore

PhD Student at Penn State (CSE) and Associate Software Developer at Carnegie Mellon University’s Software Engineering Institute. My research focuses on Neurosymbolic Learning, XAI, and Interpretable AI for Formal Method Verification.

Google Scholar | LinkedIn | GitHub

Recent Highlights

  • 📄 Paper Accepted, AAAI 2026, Logical and Symbolic Reasoning in Language Models (2026)
  • 🏆 2nd Place, IEEE Conference on SaTML: CNN Interpretability Competition (2024)
  • 📄 Best Paper Nominee at the 28th annual ICCRTS (2023)
  • 🎓 SEI Doctoral Scholarship for PhD at Penn State University (2024)

Research Interests

  • Neurosymbolic Learning
  • Explainable AI (XAI)
  • Interpretable AI
  • Secure AI