3 papers
cs.CL2025
Quasi-symbolic Semantic Geometry over Transformer-based Variational AutoEncoder
Yingji Zhang, Danilo S. Carvalho, André Freitas
Formal/symbolic semantics can provide canonical, rigid controllability and interpretability to sentence representations due to their \textit{localisation} or \textit{composition} p…
cs.CL2024
Montague semantics and modifier consistency measurement in neural language models
Danilo S. Carvalho, Edoardo Manino, Julia Rozanova +2
This work proposes a novel methodology for measuring compositional behavior in contemporary language embedding models. Specifically, we focus on adjectival modifier phenomena in ad…
cs.CL2024
Towards Controllable Natural Language Inference through Lexical Inference Types
Yingji Zhang, Danilo S. Carvalho, Ian Pratt-Hartmann +1
Explainable natural language inference aims to provide a mechanism to produce explanatory (abductive) inference chains which ground claims to their supporting premises. A recent co…