publications

publications by categories in reversed chronological order. generated by jekyll-scholar.

2025

  1. Grammar-Forced Translation of Natural Language to Temporal Logic using LLMs
    William H English, Dominic Simon, Sumit Kumar Jha, and 1 more author
    In Forty-second International Conference on Machine Learning, 2025
  2. Verifiable Natural Language to Linear Temporal Logic Translation: A Benchmark Dataset and Evaluation Suite
    WH English, C Walker, D Simon, and 2 more authors
    arXiv preprint arXiv:2507.00877, 2025
  3. GinSign: Grounding Natural Language Into System Signatures for Temporal Logic Translation
    W English, C Walker, D Simon, and 1 more author
    arXiv preprint arXiv:2512.16770, 2025
  4. Question Decomposition using Masked Language Modeling for Knowledge Editing
    Dominic Simon, Chase Walker, William H English, and 1 more author
    2025

2024

  1. NSP: A Neuro-Symbolic Natural Language Navigational Planner
    W English, D Simon, SK Jha, and 1 more author
    In 2024 International Conference on Machine Learning and Applications (ICMLA), 2024
  2. Neuro-Symbolic Program Synthesis for Multi-Hop Natural Language Navigation
    W English, D Simon, R Ahmed, and 2 more authors
    In 2024 International Conference on Assured Autonomy (ICAA), 2024