William H English

1 papers · 2025–2025 · 1 conference · across top CS/AI conferences

Conferences

ICML (1)

Top co-authors

Dominic Simon (1) Rickard Ewetz (1) Sumit Kumar Jha (1)

Papers

Grammar-Forced Translation of Natural Language to Temporal Logic using LLMs ICML 2025