@inproceedings{saeki-bekki-2026-execution,
    title = "From Execution to Exploration: Bridging the Usability Gap in Formal Natural Language Inference",
    author = "Saeki, Koharu  and
      Bekki, Daisuke",
    editor = "Bernard, Timoth{\'e}e  and
      Chersoni, Emmanuele  and
      Rambelli, Giulia",
    booktitle = "Proceedings of the Third Workshop on the Bridges and Gaps between Formal and Computational Linguistics ({B}ri{G}ap-3)",
    month = jul,
    year = "2026",
    address = "Paris, France",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/ingest-brigap/2026.brigap-1.1/",
    pages = "1--11",
    ISBN = "XXX-X-XXXXXX-XX-X"
}