📰 Workshop on the Bridges and Gaps between Formal and Computational Linguistics

Editions

Each year with works in our library has its page: the place and dates where known, its works, topics, authors and institutions.

2020s

🧭 Top topics

Topics of its works in our library, with the number of works on each.

🧮Reasoning (1)

📚 Fields

🖥️Computer Science (3)🎭Arts and Humanities (1)💭Psychology (1)

🧑‍🔬 Top authors

Authors with a page who published here most often: their works here, and the citations of those works.

🏛️ Top institutions

Institutions on the bylines of its works here, by the number of works.

🎓Université Paris CitéParis · France1 work here🔬Approches Linguistiques Théoriques, Appliquées et Expérimentales : langues et cultures connectéesParis · France1 work here

📄 Works in our library (3)

The most cited first (OpenAlex citations plus our library's).

1. Neural Wani: Toward Accelerating the Automated Theorem Prover wani for Dependent Type TheoryWorkshop on the Bridges and Gaps between Formal and Computational LinguisticsNanako Miyagawa, Hinari Daido, Daisuke Bekki2026
2. Using the Mimi codec for metalinguistic representationsWorkshop on the Bridges and Gaps between Formal and Computational LinguisticsArtem Saloev, Erin Pacquetet, Nicolas Ballier2026
3. Transformers Learning Contrafactives: The Importance of Data DistributionsWorkshop on the Bridges and Gaps between Formal and Computational LinguisticsDavid Strohmaier, Simon Wimmer2026

Venues, publishers and identifiers from OpenAlex (2026-10-14) and the ACL Anthology; yearly proceedings are counted as one series.

This page in Markdown → https://md.research.elamur.ai/free/en/venues/brigap/