P
PaperPicks
Conferences
Researchers
Sponsors ♥
Danilo S. Carvalho
13 papers at tracked venues · 6 at CORE A* · active 2024–2026
DBLP profile ↗
ORCID search ↗
Venues
ACL
×4
EMNLP
×4
AAAI
×2
NAACL
×2
EACL
×1
Frequent coauthors
André Freitas
×13
Marco Valentino
×5
Nura Aljaafari
×4
Yingji Zhang
×4
Harriet Unsworth
×2
Magdalena Wysocka
×2
Oskar Wysocki
×2
João Pedro Gandarela de Souza
×1
Xin Quan
×1
Dhairya Dalal
×1
Alex Bogatu
×1
Danilo Miranda Gusicuma
×1
Papers
Emergence and Localisation of Semantic Role Circuits in LLMs
BibTeX ⧉
ACL 2026
·
Nura Aljaafari
,
Danilo S. Carvalho
,
André Freitas
Learning to Disentangle Latent Reasoning Rules with Language VAEs: A Systematic Study
BibTeX ⧉
AAAI 2026
·
Yingji Zhang
,
Marco Valentino
,
Danilo S. Carvalho
,
André Freitas
Where Do LLMs Compose Meaning? A Layerwise Analysis of Compositional Robustness
BibTeX ⧉
EACL 2026
·
Nura Aljaafari
,
Danilo S. Carvalho
,
André Freitas
CARMA: Enhanced Compositionality in LLMs via Advanced Regularisation and Mutual Information Alignment
BibTeX ⧉
EMNLP 2025
·
Nura Aljaafari
,
Danilo S. Carvalho
,
André Freitas
Inductive Learning of Logical Theories with LLMs: A Expressivity-graded Analysis
BibTeX ⧉
AAAI 2025
·
João Pedro Gandarela de Souza
,
Danilo S. Carvalho
,
André Freitas
LangVAE and LangSpace: Building and Probing for Language Model VAEs
BibTeX ⧉
EMNLP 2025
·
Danilo S. Carvalho
,
Yingji Zhang
,
Harriet Unsworth
,
André Freitas
Neuro-Symbolic Natural Language Processing
BibTeX ⧉
EMNLP 2025
·
André Freitas
,
Marco Valentino
,
Danilo Silva de Carvalho
PEIRCE: Unifying Material and Formal Reasoning via LLM-Driven Neuro-Symbolic Refinement
BibTeX ⧉
ACL 2025
·
Xin Quan
,
Marco Valentino
,
Danilo S. Carvalho
,
Dhairya Dalal
,
André Freitas
SylloBio-NLI: Evaluating Large Language Models on Biomedical Syllogistic Reasoning
BibTeX ⧉
NAACL 2025
·
Magdalena Wysocka
,
Danilo S. Carvalho
,
Oskar Wysocki
,
Marco Valentino
,
André Freitas
TRACE: Training and Inference-Time Interpretability Analysis for Language Models
BibTeX ⧉
EMNLP 2025
·
Nura Aljaafari
,
Danilo S. Carvalho
,
André Freitas
An LLM-based Knowledge Synthesis and Scientific Reasoning Framework for Biomedical Discovery
BibTeX ⧉
ACL 2024
·
Oskar Wysocki
,
Magdalena Wysocka
,
Danilo S. Carvalho
,
Alex Bogatu
,
Danilo Miranda Gusicuma
,
Maxime Delmas
,
Harriet Unsworth
,
André Freitas
Graph-Induced Syntactic-Semantic Spaces in Transformer-Based Variational AutoEncoders
BibTeX ⧉
NAACL 2024
·
Yingji Zhang
,
Marco Valentino
,
Danilo S. Carvalho
,
Ian Pratt-Hartmann
,
André Freitas
Learning Disentangled Semantic Spaces of Explanations via Invertible Neural Networks
BibTeX ⧉
ACL 2024
·
Yingji Zhang
,
Danilo S. Carvalho
,
André Freitas