@inproceedings{miyagawa-etal-2026-neural,
    title = "Neural Wani: Toward Accelerating the Automated Theorem Prover wani for Dependent Type Theory",
    author = "Miyagawa, Nanako  and
      Daido, Hinari  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.2/",
    pages = "12--21",
    ISBN = "XXX-X-XXXXXX-XX-X"
}