Neuro-Symbolic Program Synthesis for Multi-Hop Natural Language Navigation. - William English; Dominic Simon; Md Rubel Ahmed; Sumit Kumar Jha 001; Rickard Ewetz (ICAA, 2024)

NSP: A Neuro-Symbolic Natural Language Navigational Planner. - William English; Dominic Simon; Sumit Kumar Jha 001; Rickard Ewetz (ICMLA, 2024)

Verifiable Natural Language to Linear Temporal Logic Translation: A Benchmark Dataset and Evaluation Suite. - William English; Chase Walker; Dominic Simon; Sumit Kumar Jha 001; Rickard Ewetz (CoRR, 2025)