| 2026 | AAAI | Learning to Disentangle Latent Reasoning Rules with Language VAEs: A Systematic Study. | Yingji Zhang, Marco Valentino, Danilo S. Carvalho, Andr Freitas |
| 2026 | ACL | Emergence and Localisation of Semantic Role Circuits in LLMs. | Nura Aljaafari, Danilo S. Carvalho, Andr Freitas |
| 2026 | CoNLL | Bridging Linguistic Structure and Mechanistic Interpretability for Conceptual Interpretation in Language Models. | Nura Aljaafari, Danilo S. Carvalho, Andr Freitas |
| 2026 | EACL | Where Do LLMs Compose Meaning? A Layerwise Analysis of Compositional Robustness. | Nura Aljaafari, Danilo S. Carvalho, Andr Freitas |
| 2025 | AAAI | Inductive Learning of Logical Theories with LLMs: A Expressivity-graded Analysis. | Joo Pedro Gandarela de Souza, Danilo S. Carvalho, Andr Freitas |
| 2025 | ACL | PEIRCE: Unifying Material and Formal Reasoning via LLM-Driven Neuro-Symbolic Refinement. | Xin Quan, Marco Valentino, Danilo S. Carvalho, Dhairya Dalal, Andr Freitas |
| 2025 | EMNLP | CARMA: Enhanced Compositionality in LLMs via Advanced Regularisation and Mutual Information Alignment. | Nura Aljaafari, Danilo S. Carvalho, Andr Freitas |
| 2025 | EMNLP | TRACE: Training and Inference-Time Interpretability Analysis for Language Models. | Nura Aljaafari, Danilo S. Carvalho, Andr Freitas |
| 2025 | EMNLP | LangVAE and LangSpace: Building and Probing for Language Model VAEs. | Danilo S. Carvalho, Yingji Zhang, Harriet Unsworth, Andr Freitas |
| 2025 | NAACL | SylloBio-NLI: Evaluating Large Language Models on Biomedical Syllogistic Reasoning. | Magdalena Wysocka, Danilo S. Carvalho, Oskar Wysocki, Marco Valentino, Andr Freitas |
| 2024 | ACL | An LLM-based Knowledge Synthesis and Scientific Reasoning Framework for Biomedical Discovery. | Oskar Wysocki, Magdalena Wysocka, Danilo S. Carvalho, Alex Bogatu, Danilo Miranda Gusicuma, Maxime Delmas, Harriet Unsworth, Andr Freitas |
| 2024 | ACL | Learning Disentangled Semantic Spaces of Explanations via Invertible Neural Networks. | Yingji Zhang, Danilo S. Carvalho, Andr Freitas |
| 2024 | EACL | Multi-Relational Hyperbolic Word Embeddings from Natural Language Definitions. | Marco Valentino, Danilo S. Carvalho, Andr Freitas |
| 2024 | EACL | Improving Semantic Control in Discrete Latent Spaces with Transformer Quantized Variational Autoencoders. | Yingji Zhang, Danilo S. Carvalho, Marco Valentino, Ian Pratt-Hartmann, Andr Freitas |
| 2024 | NAACL | Graph-Induced Syntactic-Semantic Spaces in Transformer-Based Variational AutoEncoders. | Yingji Zhang, Marco Valentino, Danilo S. Carvalho, Ian Pratt-Hartmann, Andr Freitas |
| 2022 | AAAI | EnnCore: End-to-End Conceptual Guarding of Neural Architectures. | Edoardo Manino, Danilo S. Carvalho, Yi Dong, Julia Rozanova, Xidan Song, Mustafa A. Mustafa, Andr Freitas, Gavin Brown, Mikel Lujn, Xiaowei Huang, Lucas C. Cordeiro |
| 2022 | ACL | Systematicity, Compositionality and Transitivity of Deep NLP Models: a Metamorphic Testing Perspective. | Edoardo Manino, Julia Rozanova, Danilo S. Carvalho, Andr Freitas, Lucas C. Cordeiro |
| 2019 | WWW | Uncovering Social Media Bots: a Transparency-focused Approach. | Eric Ferreira Dos Santos, Danilo S. Carvalho, Lvia Ruback, Jonice Oliveira |
| 2017 | ICAIL | Improving Legal Information Retrieval by Distributional Composition with Term Order Probabilities. | Danilo S. Carvalho, Vu D. Tran, Van-Khanh Tran, Le-Minh Nguyen |
| 2014 | ESANN | 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. Frana |
| 2014 | ESANN | Online tracking of multiple objects using WiSARD. | Rafael Lima de Carvalho, Danilo S. Carvalho, Priscila M. V. Lima, Flix Mora-Camino, Felipe M. G. Frana |
| 2014 | ESANN | Extracting rules from DRASiW's "mental images". | Paulo Coutinho, Hugo C. C. Carneiro, Danilo S. Carvalho, Felipe M. G. Frana |
| 2014 | NLDB | On the Semantic Representation and Extraction of Complex Category Descriptors. | Andr Freitas, Rafael Vieira, Edward Curry, Danilo S. Carvalho, Joo Carlos Pereira da Silva |
| 2013 | ESANN | B-bleaching: Agile Overtraining Avoidance in the WiSARD Weightless Neural Classifier. | Danilo S. Carvalho, Hugo C. C. Carneiro, Felipe M. G. Frana, Priscila M. V. Lima |