William H English

GinSign: Grounding Natural Language into System Signatures for Temporal Logic Translation

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

Question Decomposition using Masked Language Modeling for Knowledge Editing

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