← Search

André Freitas

11 accepted papers

2026

Learning to Disentangle Latent Reasoning Rules with Language VAEs: A Systematic Study

AAAI 2026technical

Incorporating explicit reasoning rules within the latent space of language models (LMs) offers a promising pathway to enhance generalisation, interpretability, and controllability. While current Transformer-based language models have shown strong performance on Natural Language Inference (NLI) tasks

Cited by 0SourcePDFScholar
2026

Mitigating Content Effects on Reasoning in Language Models Through Fine-Grained Activation Steering

AAAI 2026technical

Large language models (LLMs) exhibit reasoning biases, often conflating content plausibility with formal logical validity. This can lead to wrong inferences in critical domains, where plausible arguments are incorrectly deemed logically valid or vice versa. This paper investigates how content biases

Cited by 0SourcePDFScholar
2025

Controlling Equational Reasoning in Large Language Models with Prompt Interventions

AAAI 2025technical

This paper investigates how hallucination rates in Large Language Models (LLMs) may be controlled via a symbolic data generation framework, exploring a fundamental relationship between the rate of certain mathematical errors and types of input intervention. Specifically, we systematically generate d…

2025

Inductive Learning of Logical Theories with LLMs: A Expressivity-graded Analysis

AAAI 2025technical

This work presents a novel systematic methodology to analyse the capabilities and limitations of Large Language Models (LLMs) with feedback from a formal inference engine, on logic theory induction. The analysis is complexity-graded w.r.t. rule dependency structure, allowing quantification of specif…

Cited by 3SourcePDFScholar
2025

Montague semantics and modifier consistency measurement in neural language models

COLING 2025main

This work proposes a novel methodology for measuring compositional behavior in contemporary language embedding models. Specifically, we focus on adjectival modifier phenomena in adjective-noun phrases. In recent years, distributional language representation models have demonstrated great practical s…

2024

A Differentiable Integer Linear Programming Solver for Explanation-Based Natural Language Inference

COLING 2024main

Integer Linear Programming (ILP) has been proposed as a formalism for encoding precise structural and semantic constraints for Natural Language Inference (NLI). However, traditional ILP frameworks are non-differentiable, posing critical challenges for the integration of continuous language represent…

Cited by 3SourcePDFScholar
2024

Does the Language Matter? Curriculum Learning over Neo-Latin Languages

COLING 2024main

Curriculum Learning (CL) has been emerged as an effective technique for improving the performances and reducing the cost of pre-training Large Language Models (LLMs). The efficacy of CL demonstrated in different scenarios is in the training LLMs by organizing examples from the simplest to the most c…

2024

Estimating the Causal Effects of Natural Logic Features in Transformer-Based NLI Models

COLING 2024main

Rigorous evaluation of the causal effects of semantic features on language model predictions can be hard to achieve for natural language reasoning problems. However, this is such a desirable form of analysis from both an interpretability and model evaluation perspective, that it is valuable to inves…

Cited by 1SourcePDFScholar
2022

Case-Based Abductive Natural Language Inference

COLING 2022main

Most of the contemporary approaches for multi-hop Natural Language Inference (NLI) construct explanations considering each test case in isolation. However, this paradigm is known to suffer from semantic drift, a phenomenon that causes the construction of spurious explanations leading to wrong conclu…

2022

Hybrid Autoregressive Inference for Scalable Multi-Hop Explanation Regeneration

AAAI 2022technical

Regenerating natural language explanations in the scientific domain has been proposed as a benchmark to evaluate complex multi-hop and explainable inference. In this context, large language models can achieve state-of-the-art performance when employed as cross-encoder architectures and fine-tuned on…

2021

Disentangling Generative Factors in Natural Language with Discrete Variational Autoencoders

EMNLP 2021finding

The ability of learning disentangled representations represents a major step for interpretable NLP systems as it allows latent linguistic features to be controlled. Most approaches to disentanglement rely on continuous variables, both for images and text. We argue that despite being suitable for ima…

Cited by 25SourcePDFScholar