Hayden Moore
Scholar

Hayden Moore

Google Scholar ID: t7r6fiEAAAAJ
Carnegie Mellon University, SEI
Artificial IntelligenceMachine LearningComputer ScienceSoftware Engineering
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
2
 
H-index
1
 
i10-index
0
 
Publications
2
 
Co-authors
10
list available
Contact
No contact links provided.
Publications
4 items
A Pilot Benchmark for NL-to-FOL Translation in Planetary Exploration
2026
Cited
0
Sustainable Graph Analytics Workload Scheduling with Evolutionary Reinforcement Learning in Edge-Cloud Systems
2026
Cited
0
Evaluating Autoformalization Robustness via Semantically Similar Paraphrasing
2025
Cited
0
Sustainable Carbon-Aware and Water-Efficient LLM Scheduling in Geo-Distributed Cloud Datacenters
2025
Cited
0
Resume (English only)
Co-authors
10 total
Co-author 1
Co-author 1
Stephen Casper
Stephen Casper
PhD student, MIT
Jessica Rumbelow
Jessica Rumbelow
Leap Laboratories
Arush Tagade
Arush Tagade
PhD Student, George Washington University
Dylan Hadfield-Menell
Dylan Hadfield-Menell
Massachusetts Institute of Technology
David Shriver
David Shriver
Software Engineering Institute, Carnegie Mellon University
Jord Nguyen
Jord Nguyen
Apart Research, University of Science and Technology of Hanoi
Keltin Grimes
Keltin Grimes
Associate Machine Learning Researcher, Software Engineering Institute, Carnegie Mellon University