We stand with Ukraine  

William English

Affiliations:
  • University of Florida, Gainesville, FL, USA


According to our database1, William English authored at least 5 papers between 2024 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
GinSign: Grounding Natural Language Into System Signatures for Temporal Logic Translation.
[BibTeX]
[DOI]
William English
,
Chase Walker
,
Dominic Simon
,
Rickard Ewetz
CoRR, December, 2025

Verifiable Natural Language to Linear Temporal Logic Translation: A Benchmark Dataset and Evaluation Suite.
[BibTeX]
[DOI]
William English
,
Chase Walker
,
Dominic Simon
,
Sumit Kumar Jha
,
Rickard Ewetz
CoRR, July, 2025

Grammar-Forced Translation of Natural Language to Temporal Logic using LLMs.
[BibTeX]
[DOI]
William H. English
,
Dominic Simon
,
Sumit Kumar Jha
,
Rickard Ewetz
Proceedings of the Forty-second International Conference on Machine Learning, 2025

2024
NSP: A Neuro-Symbolic Natural Language Navigational Planner.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
William English
,
Dominic Simon
,
Md Rubel Ahmed
,
Sumit Kumar Jha
,
Rickard Ewetz
Proceedings of the International Conference on Assured Autonomy, 2024


  Loading...