William English

According to our database, William English authored at least 3 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Verifiable Natural Language to Linear Temporal Logic Translation: A Benchmark Dataset and Evaluation Suite.

William English, Chase Walker, Dominic Simon, Sumit Kumar Jha, Rickard Ewetz

CoRR, July, 2025

2024

NSP: A Neuro-Symbolic Natural Language Navigational Planner.

William English, Dominic Simon, Sumit Kumar Jha, Rickard Ewetz

Proceedings of the International Conference on Machine Learning and Applications, 2024

Neuro-Symbolic Program Synthesis for Multi-Hop Natural Language Navigation.

William English, Dominic Simon, Md Rubel Ahmed, Sumit Kumar Jha, Rickard Ewetz

Proceedings of the International Conference on Assured Autonomy, 2024