ML Anthology

English, William H

1 publications

ICML 2025 Grammar-Forced Translation of Natural Language to Temporal Logic Using LLMs William H English, Dominic Simon, Sumit Kumar Jha, Rickard Ewetz