Neurosymbolic Proof Search for Linguistics
Presentation @ Logic for the AI Spring
September 16, 2022
A brief exposition of the type-logical pipeline in the context of non-directional types and dependency modalities.