Papers by Lucas Cordeiro

3 papers
Montague semantics and modifier consistency measurement in neural language models (2025.coling-main)

Copied to clipboard

Challenge: Existing studies on distributional language models have been focused on linguistics and their relationship with semantic formalisms for decades.
Approach: They propose a method for measuring compositional behavior in contemporary language embedding models by introducing three new tests inspired by Montague semantics.
Outcome: The proposed method measures compositional behavior in language embedding models on adjectival modifier phenomena in adjective-noun phrases.
Systematicity, Compositionality and Transitivity of Deep NLP Models: a Metamorphic Testing Perspective (2022.findings-acl)

Copied to clipboard

Challenge: Existing studies focus on robustness-like metamorphic relations, which limit the scope of linguistic properties they can test.
Approach: They propose three new classes of metamorphic relations which address the properties of systematicity, compositionality and transitivity.
Outcome: The proposed methods show that metamorphic models do not always behave according to expected linguistic properties.
Interventional Probing in High Dimensions: An NLI Case Study (2023.findings-eacl)

Copied to clipboard

Challenge: Probing strategies have been shown to detect the presence of various linguistic features inlarge language models; in particular, semantic features intermediate to the “natural logic”fragment of the NLI.
Approach: They propose to use amnesic probing and mnestic probing to investigate the effect of these semantic fea-tures on NLI classification by examining the effects of a mnemonic probing variation on the model.
Outcome: The proposed methods have been shown to detect features intermediate to the “natural logic”fragment of the Natural Language Inferencetask (NLI).

What is GenGO?

GenGO is an NLP powered publication search system. It currenctly indexes 30k+ papers from ACL Anthology, and implements multi-aspect summarization, semantic search, and more!

Information

About
Limitations