Demo Data from EDBT 2026 / reviewers in the wild / expert
Danilo S. Carvalho
dblp:134/6887 · also Danilo Silva de Carvalho
· DBLP profile ↗
16ranked-venue papers
4as first author
8since 2021 · last 2026
0000-0002-8124-9224ORCID · verified
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 16 · 4 first-author · 8 since 2021Graphics, computer vision, multimedia, augmented reality and games · 2 · 2 since 2021Databases, data management, data science and information retrieval · 1
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Artificial intelligence
4 papers |
Language models and text generation · 72% Knowledge representation and reasoning · 18% Generative modeling · 6% |
Topics — the 6 heaviest of 8, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Natural language and speech › Language models and text generation › large language model reasoning › inference-time reasoning
latent reasoning |
1.0 | 1 | 2026 | Learning to Disentangle Latent Reasoning Rules with Language VAEs: A Systematic Study · AAAI 2026 |
Natural language and speech › Language models and text generation
compositional generalization |
0.9 | 1 | 2025 | CARMA: Enhanced Compositionality in LLMs via Advanced Regularisation and Mutual Information Alignment · EMNLP 2025 |
Knowledge, reasoning and agents › Knowledge representation and reasoning › logic programming
inductive logic programming |
0.9 | 1 | 2025 | Inductive Learning of Logical Theories with LLMs: A Expressivity-graded Analysis · AAAI 2025 |
Natural language and speech › Language models and text generation
large language model reasoning |
0.9 | 1 | 2025 | Inductive Learning of Logical Theories with LLMs: A Expressivity-graded Analysis · AAAI 2025 |
Machine learning › Generative modeling
variational autoencoder |
0.3 | 1 | 2026 | Learning to Disentangle Latent Reasoning Rules with Language VAEs: A Systematic Study · AAAI 2026 |
Machine learning › Representation and self-supervised learning › representation learning
disentangled representation learning |
0.2 | 1 | 2024 | Learning Disentangled Semantic Spaces of Explanations via Invertible Neural Networks · ACL (1) 2024 |
Methods — techniques the papers use, named apart from their topics
variational autoencoder · 1.0mutual information regularization · 0.9layer-wise stability constraint · 0.9inductive logic programming · 0.9formal inference engine · 0.9fine-tuning · 0.9transformer autoencoder · 0.8invertible neural network · 0.8flow-based models · 0.8
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | Learning to Disentangle Latent Reasoning Rules with Language VAEs: A Systematic Study
Yingji Zhang, Marco Valentino, Danilo S. Carvalho, André Freitas |
AAAI | 3 |
| 2026 | Bridging Linguistic Structure and Mechanistic Interpretability for Conceptual Interpretation in Language ModelsabstractUnderstanding how language models compose meaning from linguistic input remains a central problem in interpretability research.Mechanistic studies have attributed functional roles to core transformer components; however, these findings derive largely from factual retrieval settings.Whether the same mechanisms support conceptual interpretation, the compositional mapping from definitional expressions to abstract meaning, remains insufficiently characterised.We introduce DSRA (Definitional Semantic Role Analysis), a methodology that applies causal tracing within the reverse dictionary task and augments restoration traces with definitional semantic roles (DSRs) grounded in Argument Structure Theory.This linguistic overlay identifies which compositional functions (e.g., genus, differentia quality) are associated with high-recovery states, extending activation patching beyond token-level localisation.Applied to GPT-J-6B (English) and BERTIN GPT-J-6B (Spanish), the results show that MLP layers associate content-bearing tokens with high-specificity DSR categories in early layers, MHA layers distribute integration across middle-to-upper layers with concentration at the final token, and hidden states aggregate information in upper layers.Alignment between restored states and DSR categories indicates systematic correspondence between internal activations and definitional structure, with consistent localisation patterns across both languages. Nura Aljaafari, Danilo S. Carvalho, André Freitas |
CoNLL | 2 |
| 2025 | Inductive Learning of Logical Theories with LLMs: A Expressivity-graded AnalysisabstractThis 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 specific inference challenges on LLM performance. Integrating LLMs with formal methods is a promising frontier in the Natural Language Processing field, as an important avenue for improving model inference control and explainability. In particular, inductive learning over complex sets of facts and rules, poses unique challenges for current autoregressive models, as they lack explicit symbolic grounding. While they can be complemented by formal systems, the properties delivered by LLMs regarding inductive learning, are not well understood and quantified. Empirical results indicate that the largest LLMs can achieve competitive results against a SOTA Inductive Logic Programming (ILP) system baseline, but also that tracking long predicate relationship chains is a more difficult obstacle than theory complexity for LLMs. João Pedro Gandarela de Souza, Danilo S. Carvalho, André Freitas |
AAAI | 2 |
| 2025 | Montague semantics and modifier consistency measurement in neural language modelsabstractThis 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 success. At the same time, the need for interpretability has elicited questions on their intrinsic properties and capabilities. Crucially, distributional models are often inconsistent when dealing with compositional phenomena in natural language, which has significant implications for their safety and fairness. Despite this, most current research on compositionality is directed towards improving their performance on similarity tasks only. This work takes a different approach, introducing three novel tests of compositional behavior inspired by Montague semantics. Our experimental results indicate that current neural language models do not behave according to the expected linguistic theories. This indicates that current language models may lack the capability to capture the semantic properties we evaluated on limited context, or that linguistic theories from Montagovian tradition may not match the expected capabilities of distributional models. Danilo S. Carvalho, Edoardo Manino, Julia Rozanova, Lucas C. Cordeiro, André Freitas |
COLING | 1 |
| 2025 | CARMA: Enhanced Compositionality in LLMs via Advanced Regularisation and Mutual Information AlignmentabstractLarge language models (LLMs) struggle with compositional generalisation, limiting their ability to systematically combine learned components to interpret novel inputs.While architectural modifications, fine-tuning, and data augmentation improve compositionality, they often have limited adaptability, face scalability constraints, or yield diminishing returns on real data.To address this, we propose CARMA, an intervention that enhances the stability and robustness of compositional reasoning in LLMs while preserving fine-tuned performance.CARMA employs mutual information regularisation and layer-wise stability constraints to mitigate feature fragmentation, ensuring structured representations persist across and within layers.We evaluate CARMA on inverse dictionary modelling and sentiment classification, measuring its impact on semantic consistency, performance stability, and robustness to lexical perturbations.Results show that CARMA reduces the variability introduced by fine-tuning, stabilises token representations, and improves compositional reasoning.While its effectiveness varies across architectures, CARMA's key strength lies in reinforcing learned structures rather than introducing new capabilities, making it a scalable auxiliary method.These findings suggest that integrating CARMA with fine-tuning can improve compositional generalisation while maintaining task-specific performance in LLMs. Nura Aljaafari, Danilo S. Carvalho, André Freitas |
EMNLP | 2 |
| 2025 | SylloBio-NLI: Evaluating Large Language Models on Biomedical Syllogistic ReasoningabstractMagdalena Wysocka, Danilo Carvalho, Oskar Wysocki, Marco Valentino, Andre Freitas. Proceedings of the 2025 Conference of the Nations of the Americas Chapter of the Association for Computational Linguistics: Human Language Technologies (Volume 1: Long Papers). 2025. Magdalena Wysocka, Danilo S. Carvalho, Oskar Wysocki, Marco Valentino, André Freitas |
NAACL (Long Papers) | 2 |
| 2024 | Learning Disentangled Semantic Spaces of Explanations via Invertible Neural NetworksabstractDisentangled latent spaces usually have better semantic separability and geometrical properties, which leads to better interpretability and more controllable data generation. While this has been well investigated in Computer Vision, in tasks such as image disentanglement, in the NLP domain, sentence disentanglement is still comparatively under-investigated. Most previous work have concentrated on disentangling task-specific generative factors, such as sentiment, within the context of style transfer. In this work, we focus on a more general form of sentence disentanglement, targeting the localised modification and control of more general sentence semantic features. To achieve this, we contribute to a novel notion of sentence semantic disentanglement and introduce a flow-based invertible neural network (INN) mechanism integrated with a transformer-based language Autoencoder (AE) in order to deliver latent spaces with better separability properties. Experimental results demonstrate that the model can conform the distributed latent space into a better semantically disentangled sentence space, leading to improved language interpretability and controlled generation when compared to the recent state-of-the-art language VAE models. Yingji Zhang, Danilo S. Carvalho, André Freitas |
ACL (1) | 2 |
| 2024 | Multi-Relational Hyperbolic Word Embeddings from Natural Language DefinitionsabstractNatural language definitions possess a recursive, self-explanatory semantic structure that can support representation learning methods able to preserve explicit conceptual relations and constraints in the latent space.This paper presents a multi-relational model that explicitly leverages such a structure to derive word embeddings from definitions.By automatically extracting the relations linking defined and defining terms from dictionaries, we demonstrate how the problem of learning word embeddings can be formalised via a translational framework in Hyperbolic space and used as a proxy to capture the global semantic structure of definitions.An extensive empirical analysis demonstrates that the framework can help imposing the desired structural constraints while preserving the semantic mapping required for controllable and interpretable traversal.Moreover, the experiments reveal the superiority of the Hyperbolic word embeddings over the Euclidean counterparts and demonstrate that the multirelational approach can obtain competitive results when compared to state-of-the-art neural models, with the advantage of being intrinsically more efficient and interpretable 1 . Marco Valentino, Danilo S. Carvalho, André Freitas |
EACL (1) | 2 |
| 2017 | Building Lexical Vector Representations from Concept DefinitionsabstractThe use of distributional language representations have opened new paths in solving a variety of NLP problems.However, alternative approaches can take advantage of information unavailable through pure statistical means.This paper presents a method for building vector representations from meaning unit blocks called concept definitions, which are obtained by extracting information from a curated linguistic resource (Wiktionary).The representations obtained in this way can be compared through conventional cosine similarity and are also interpretable by humans.Evaluation was conducted in semantic similarity and relatedness test sets, with results indicating a performance comparable to other methods based on single linguistic resource extraction.The results also indicate noticeable performance gains when combining distributional similarity scores with the ones obtained using this approach.Additionally, a discussion on the proposed method's shortcomings is provided in the analysis of error cases. Danilo S. Carvalho, Minh Le Nguyen 0001 |
EACL (1) | 1 |
| 2017 | Efficient Neural-based patent document segmentation with Term Order Probabilities
Danilo S. Carvalho, Minh Le Nguyen 0001 |
ESANN | 1 |
| 2016 | Financial credit analysis via a clustering weightless neural classifier
Douglas de O. Cardoso, Danilo S. Carvalho, Daniel S. F. Alves, Diego Fonseca Pereira de Souza, Hugo C. C. Carneiro, Carlos Eduardo Pedreira, Priscila M. V. Lima, Felipe M. G. França |
Neurocomputing | 2 |
| 2014 | Credit analysis with a clustering RAM-based neural classifier
Douglas de O. Cardoso, Danilo S. Carvalho, Daniel S. F. Alves, Diego Fonseca Pereira de Souza, Hugo C. C. Carneiro, Carlos Eduardo Pedreira, Priscila M. V. Lima, Felipe M. G. França |
ESANN | 2 |
| 2014 | Online tracking of multiple objects using WiSARD
Rafael Lima de Carvalho, Danilo S. Carvalho, Priscila M. V. Lima, Félix Mora-Camino, Felipe M. G. França |
ESANN | 2 |
| 2014 | Extracting rules from DRASiW's "mental images"
Paulo Coutinho, Hugo C. C. Carneiro, Danilo S. Carvalho, Felipe M. G. França |
ESANN | 3 |
| 2014 | On the Semantic Representation and Extraction of Complex Category Descriptors
André Freitas, Rafael Vieira, Edward Curry, Danilo S. Carvalho, João C. P. da Silva |
NLDB | 4 |
| 2013 | B-bleaching: Agile Overtraining Avoidance in the WiSARD Weightless Neural Classifier
Danilo S. Carvalho, Hugo C. C. Carneiro, Felipe M. G. França, Priscila M. V. Lima |
ESANN | 1 |