Proceedings of the Third Workshop on the Bridges and Gaps between Formal and Computational Linguistics (BriGap-3)

Proceedings of the Third Workshop on the Bridges and Gaps between Formal and Computational Linguistics (BriGap-3) Timothée Bernard editor Emmanuele Chersoni editor Giulia Rambelli editor 2026-07 Association for Computational Linguistics Paris, France text conference publication brigap-2026-1 https://aclanthology.org/2026.brigap-1.0/ From Execution to Exploration: Bridging the Usability Gap in Formal Natural Language Inference Koharu Saeki author Daisuke Bekki author 2026-07 text Proceedings of the Third Workshop on the Bridges and Gaps between Formal and Computational Linguistics (BriGap-3) Timothée Bernard editor Emmanuele Chersoni editor Giulia Rambelli editor Association for Computational Linguistics Paris, France conference publication saeki-bekki-2026-execution https://aclanthology.org/2026.brigap-1.1/ 2026-07 1 11 Neural Wani: Toward Accelerating the Automated Theorem Prover wani for Dependent Type Theory Nanako Miyagawa author Hinari Daido author Daisuke Bekki author 2026-07 text Proceedings of the Third Workshop on the Bridges and Gaps between Formal and Computational Linguistics (BriGap-3) Timothée Bernard editor Emmanuele Chersoni editor Giulia Rambelli editor Association for Computational Linguistics Paris, France conference publication miyagawa-etal-2026-neural https://aclanthology.org/2026.brigap-1.2/ 2026-07 12 21 Cross-linguistic Geometry of Adjective Representations in Multilingual Transformers: Semantic Class, Gradability, and Positional Effects. Tancredi Monterosso author 2026-07 text Proceedings of the Third Workshop on the Bridges and Gaps between Formal and Computational Linguistics (BriGap-3) Timothée Bernard editor Emmanuele Chersoni editor Giulia Rambelli editor Association for Computational Linguistics Paris, France conference publication monterosso-2026-cross https://aclanthology.org/2026.brigap-1.3/ 2026-07 22 30 Diagnosing Compositional Generalization in Transformers on ReCOGS with Compositional Graph Similarity Bruno Franco author Edson Scalabrin author 2026-07 text Proceedings of the Third Workshop on the Bridges and Gaps between Formal and Computational Linguistics (BriGap-3) Timothée Bernard editor Emmanuele Chersoni editor Giulia Rambelli editor Association for Computational Linguistics Paris, France conference publication franco-scalabrin-2026-diagnosing https://aclanthology.org/2026.brigap-1.4/ 2026-07 31 39 Polar Questions in SPA–TTR: Linking Dialogue, Acquisition, and Neurosemantics Jonathan Ginzburg author Shiyun Dong author Robin Cooper author Andy Lücking author Staffan Larsson author 2026-07 text Proceedings of the Third Workshop on the Bridges and Gaps between Formal and Computational Linguistics (BriGap-3) Timothée Bernard editor Emmanuele Chersoni editor Giulia Rambelli editor Association for Computational Linguistics Paris, France conference publication ginzburg-etal-2026-polar https://aclanthology.org/2026.brigap-1.5/ 2026-07 40 49 Artificial Language Learning Paradigm Reveals Pragmatic Blind Spots in Vision-Language Models Yan Cong author Julia Rayz author 2026-07 text Proceedings of the Third Workshop on the Bridges and Gaps between Formal and Computational Linguistics (BriGap-3) Timothée Bernard editor Emmanuele Chersoni editor Giulia Rambelli editor Association for Computational Linguistics Paris, France conference publication cong-rayz-2026-artificial https://aclanthology.org/2026.brigap-1.6/ 2026-07 50 62 Using the Mimi codec for metalinguistic representations Artem Saloev author Erin Pacquetet author Nicolas Ballier author 2026-07 text Proceedings of the Third Workshop on the Bridges and Gaps between Formal and Computational Linguistics (BriGap-3) Timothée Bernard editor Emmanuele Chersoni editor Giulia Rambelli editor Association for Computational Linguistics Paris, France conference publication saloev-etal-2026-using https://aclanthology.org/2026.brigap-1.7/ 2026-07 63 73 Misalignments in Common Ground as a Bridge Between Pragmatic Theory and LLM Evaluation Judith Sieker author Sina Zarrieß author 2026-07 text Proceedings of the Third Workshop on the Bridges and Gaps between Formal and Computational Linguistics (BriGap-3) Timothée Bernard editor Emmanuele Chersoni editor Giulia Rambelli editor Association for Computational Linguistics Paris, France conference publication sieker-zarriess-2026-misalignments https://aclanthology.org/2026.brigap-1.8/ 2026-07 74 81 Towards Benchmarking Old Church Slavonic Lemmatization Usman Nawaz author Marianna Napolitano author Iris Karafillidis author Liliana Lo Presti author Marco Cascia author 2026-07 text Proceedings of the Third Workshop on the Bridges and Gaps between Formal and Computational Linguistics (BriGap-3) Timothée Bernard editor Emmanuele Chersoni editor Giulia Rambelli editor Association for Computational Linguistics Paris, France conference publication nawaz-etal-2026-towards https://aclanthology.org/2026.brigap-1.9/ 2026-07 82 93 Transformers Learning Contrafactives: The Importance of Data Distributions David Strohmaier author Simon Wimmer author 2026-07 text Proceedings of the Third Workshop on the Bridges and Gaps between Formal and Computational Linguistics (BriGap-3) Timothée Bernard editor Emmanuele Chersoni editor Giulia Rambelli editor Association for Computational Linguistics Paris, France conference publication strohmaier-wimmer-2026-transformers https://aclanthology.org/2026.brigap-1.10/ 2026-07 94 120 Grammar Engineering Meets LLMs: Development of Cantonese and Irish ParGram Treebanks Chit-Fung Lam author Elaine Uí Dhonnchadha author 2026-07 text Proceedings of the Third Workshop on the Bridges and Gaps between Formal and Computational Linguistics (BriGap-3) Timothée Bernard editor Emmanuele Chersoni editor Giulia Rambelli editor Association for Computational Linguistics Paris, France conference publication lam-ui-dhonnchadha-2026-grammar https://aclanthology.org/2026.brigap-1.11/ 2026-07 121 134 A Formal Model of Lexical Negation in Discrete Communication Mikołaj Piotr Golecki author Timothée Bernard author 2026-07 text Proceedings of the Third Workshop on the Bridges and Gaps between Formal and Computational Linguistics (BriGap-3) Timothée Bernard editor Emmanuele Chersoni editor Giulia Rambelli editor Association for Computational Linguistics Paris, France conference publication golecki-bernard-2026-formal https://aclanthology.org/2026.brigap-1.12/ 2026-07 135 147 A graph-based analysis of semantic types and coercion in contextualized word embeddings Long Chen author Deniz Yavas author 2026-07 text Proceedings of the Third Workshop on the Bridges and Gaps between Formal and Computational Linguistics (BriGap-3) Timothée Bernard editor Emmanuele Chersoni editor Giulia Rambelli editor Association for Computational Linguistics Paris, France conference publication chen-yavas-2026-graph https://aclanthology.org/2026.brigap-1.13/ 2026-07 148 159