Neurosymbolic Proof Search for Linguistics
A brief exposition of the type-logical pipeline in the context of non-directional types and dependency modalities.
A brief exposition of the type-logical pipeline in the context of non-directional types and dependency modalities.