3 papers
cs.CL2025
GinSign: Grounding Natural Language Into System Signatures for Temporal Logic Translation
William English, Chase Walker, Dominic Simon +1
Natural language (NL) to temporal logic (TL) translation enables engineers to specify, verify, and enforce system behaviors without manually crafting formal specifications-an essen…
eess.SY2025
Verifiable Natural Language to Linear Temporal Logic Translation: A Benchmark Dataset and Evaluation Suite
William H English, Chase Walker, Dominic Simon +2
Empirical evaluation of state-of-the-art natural-language (NL) to temporal-logic (TL) translation systems reveals near-perfect performance on existing benchmarks. However, current…
cs.AI2025
Explaining the Reasoning of Large Language Models Using Attribution Graphs
Chase Walker, Rickard Ewetz
Large language models (LLMs) exhibit remarkable capabilities, yet their reasoning remains opaque, raising safety and trust concerns. Attribution methods, which assign credit to inp…