@proceedings{brigap-2026-1,
    title = "Proceedings of the Third Workshop on the Bridges and Gaps between Formal and Computational Linguistics ({B}ri{G}ap-3)",
    editor = "Bernard, Timoth{\'e}e  and
      Chersoni, Emmanuele  and
      Rambelli, Giulia",
    month = jul,
    year = "2026",
    address = "Paris, France",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/ingest-brigap/2026.brigap-1.0/",
    ISBN = "XXX-X-XXXXXX-XX-X"
}
@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"
}
@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"
}
@inproceedings{monterosso-2026-cross,
    title = "Cross-linguistic Geometry of Adjective Representations in Multilingual Transformers: Semantic Class, Gradability, and Positional Effects.",
    author = "Monterosso, Tancredi",
    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.3/",
    pages = "22--30",
    ISBN = "XXX-X-XXXXXX-XX-X"
}
@inproceedings{franco-scalabrin-2026-diagnosing,
    title = "Diagnosing Compositional Generalization in Transformers on {R}e{COGS} with Compositional Graph Similarity",
    author = "Franco, Bruno  and
      Scalabrin, Edson",
    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.4/",
    pages = "31--39",
    ISBN = "XXX-X-XXXXXX-XX-X"
}
@inproceedings{ginzburg-etal-2026-polar,
    title = "Polar Questions in {SPA}{--}{TTR}: Linking Dialogue, Acquisition, and Neurosemantics",
    author = {Ginzburg, Jonathan  and
      Dong, Shiyun  and
      Cooper, Robin  and
      L{\"u}cking, Andy  and
      Larsson, Staffan},
    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.5/",
    pages = "40--49",
    ISBN = "XXX-X-XXXXXX-XX-X"
}
@inproceedings{cong-rayz-2026-artificial,
    title = "Artificial Language Learning Paradigm Reveals Pragmatic Blind Spots in Vision-Language Models",
    author = "Cong, Yan  and
      Rayz, Julia",
    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.6/",
    pages = "50--62",
    ISBN = "XXX-X-XXXXXX-XX-X"
}
@inproceedings{saloev-etal-2026-using,
    title = "Using the Mimi codec for metalinguistic representations",
    author = "Saloev, Artem  and
      Pacquetet, Erin  and
      Ballier, Nicolas",
    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.7/",
    pages = "63--73",
    ISBN = "XXX-X-XXXXXX-XX-X"
}
@inproceedings{sieker-zarriess-2026-misalignments,
    title = "Misalignments in Common Ground as a Bridge Between Pragmatic Theory and {LLM} Evaluation",
    author = "Sieker, Judith  and
      Zarrie{\ss}, Sina",
    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.8/",
    pages = "74--81",
    ISBN = "XXX-X-XXXXXX-XX-X"
}
@inproceedings{nawaz-etal-2026-towards,
    title = "Towards Benchmarking {O}ld {C}hurch {S}lavonic Lemmatization",
    author = "Nawaz, Usman  and
      Napolitano, Marianna  and
      Karafillidis, Iris  and
      Lo Presti, Liliana  and
      Cascia, Marco",
    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.9/",
    pages = "82--93",
    ISBN = "XXX-X-XXXXXX-XX-X"
}
@inproceedings{strohmaier-wimmer-2026-transformers,
    title = "Transformers Learning Contrafactives: The Importance of Data Distributions",
    author = "Strohmaier, David  and
      Wimmer, Simon",
    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.10/",
    pages = "94--120",
    ISBN = "XXX-X-XXXXXX-XX-X"
}
@inproceedings{lam-ui-dhonnchadha-2026-grammar,
    title = "Grammar Engineering Meets {LLM}s: Development of {C}antonese and {I}rish {P}ar{G}ram Treebanks",
    author = "Lam, Chit-Fung  and
      U{\'i} Dhonnchadha, Elaine",
    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.11/",
    pages = "121--134",
    ISBN = "XXX-X-XXXXXX-XX-X"
}
@inproceedings{golecki-bernard-2026-formal,
    title = "A Formal Model of Lexical Negation in Discrete Communication",
    author = "Golecki, Miko{\l}aj Piotr  and
      Bernard, Timoth{\'e}e",
    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.12/",
    pages = "135--147",
    ISBN = "XXX-X-XXXXXX-XX-X"
}
@inproceedings{chen-yavas-2026-graph,
    title = "A graph-based analysis of semantic types and coercion in contextualized word embeddings",
    author = "Chen, Long  and
      Yavas, Deniz",
    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.13/",
    pages = "148--159",
    ISBN = "XXX-X-XXXXXX-XX-X"
}