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
    W English, D Simon, SK Jha, and 1 more author
    arXiv preprint arXiv:2512.16814, 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

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
  3. Question Decomposition using Masked Language Modeling for Knowledge Editing
    D Simon, C Walker, WH English, and 1 more author
    arXiv preprint, 2024