2 papers
cs.AI2026
Toward a Decision-Assurance Layer for AI-Assisted Flight Planning in Air Traffic Management
Alexandre Barreto, Shou Matsumoto, Jorge Valverde-Rebaza +2
Generative AI is increasingly being used informally in Air Traffic Management (ATM) for tasks such as flight plan generation, trajectory interpretation, and constraint checking. Al…
cs.CL2025
Advancing Multi-Step Mathematical Reasoning in Large Language Models through Multi-Layered Self-Reflection with Auto-Prompting
André de Souza Loureiro, Jorge Valverde-Rebaza, Julieta Noguez +2
Recent advancements in Large Language Models (LLMs) have significantly improved their problem-solving capabilities. However, these models still struggle when faced with complex mul…