Danilo S. Carvalho

Venues

Frequent coauthors

Papers

1. Emergence and Localisation of Semantic Role Circuits in LLMs
   ACL 2026 ·

   Nura Aljaafari

   DBLP profile ↗ORCID search ↗
2. Learning to Disentangle Latent Reasoning Rules with Language VAEs: A Systematic Study
   AAAI 2026 ·

   Yingji Zhang

   DBLP profile ↗ORCID search ↗
3. Where Do LLMs Compose Meaning? A Layerwise Analysis of Compositional Robustness
   EACL 2026 ·

   Nura Aljaafari

   DBLP profile ↗ORCID search ↗
4. CARMA: Enhanced Compositionality in LLMs via Advanced Regularisation and Mutual Information Alignment
   EMNLP 2025 ·

   Nura Aljaafari

   DBLP profile ↗ORCID search ↗
5. Inductive Learning of Logical Theories with LLMs: A Expressivity-graded Analysis
   AAAI 2025 ·

   João Pedro Gandarela de Souza

   DBLP profile ↗ORCID search ↗
6. LangVAE and LangSpace: Building and Probing for Language Model VAEs
   EMNLP 2025 · Danilo S. Carvalho
7. Neuro-Symbolic Natural Language Processing
   EMNLP 2025 ·

   André Freitas

   DBLP profile ↗ORCID search ↗
8. PEIRCE: Unifying Material and Formal Reasoning via LLM-Driven Neuro-Symbolic Refinement
   ACL 2025 ·

   Xin Quan

   DBLP profile ↗ORCID search ↗
9. SylloBio-NLI: Evaluating Large Language Models on Biomedical Syllogistic Reasoning
   NAACL 2025 ·

   Magdalena Wysocka

   DBLP profile ↗ORCID search ↗
10. TRACE: Training and Inference-Time Interpretability Analysis for Language Models
    EMNLP 2025 ·

    Nura Aljaafari

    DBLP profile ↗ORCID search ↗
11. An LLM-based Knowledge Synthesis and Scientific Reasoning Framework for Biomedical Discovery
    ACL 2024 ·

    Oskar Wysocki

    DBLP profile ↗ORCID search ↗
12. Graph-Induced Syntactic-Semantic Spaces in Transformer-Based Variational AutoEncoders
    NAACL 2024 ·

    Yingji Zhang

    DBLP profile ↗ORCID search ↗
13. Learning Disentangled Semantic Spaces of Explanations via Invertible Neural Networks
    ACL 2024 ·

    Yingji Zhang

    DBLP profile ↗ORCID search ↗