The Unicorn of Constant Time Parsing

Contributed @ End-to-End Compositional Models of Vector-Based Semantics (ESSLLI 2022)
August 22, 2022
Slides

We play around with neural proof nets, focusing on how they combine with dynamic graph supertagging to yield a massively parallel and efficient neurosymbolic proof search engine.