Author

Logan Luna

Observed name: Luna, Logan

Institutions: Georgia Institute of Technology, Embry-Riddle Aeronautical University Daytona Beach Florida Campus, Embry–Riddle Aeronautical University

Observed institutions: Georgia Institute of Technology, Embry-Riddle Aeronautical University Daytona Beach Florida Campus, Embry–Riddle Aeronautical University

ORCID: 0009-0001-0713-4074

Observed ORCID: 0009-0001-0713-4074

OpenAlex ID: A5123518250

Satellite Trajectory Optimization via Proximal Policy Optimization for Space Debris Avoidance

2026 · Logan Luna, Juan Ortiz Couder, et al. · IEEE Access · 2

AIProver: Agentic Auto-Formalization of Mathematical Research via Certificate-Driven Evolving Harness

2026 · Jana, Prithwish, Hoang, Viet Bach, et al. · arXiv (Cornell University)

SensorWF: A FAIR Generalizable Workflow Framework for Scientific Time-Series Analysis

2026 · Luna, Logan, Rigo, Joseph, et al. · arXiv (Cornell University)

Works count: 4

Citation count: 2

H-index: 1

I10-index: