Publications of Danilo Carvalho sorted by recency
| SylloBio-NLI: Evaluating Large Language Models on Biomedical Syllogistic Reasoning, , , , and , in: Annual Conference of the Nations of the Americas Chapter of the Association for Computational Linguistics, 2025 |
| Inductive Learning of Logical Theories with LLMs: A Complexity-graded Analysis, , and , in: The 39th Annual AAAI Conference on Artificial Intelligence, 2025 |
| Montague semantics and modifier consistency measurement in neural language models, , , , and , in: 31st International Conference on Computational Linguistics, 2025 |
| PEIRCE: Unifying Material and Formal Reasoning via LLM-Driven Neuro-Symbolic Refinement, , , , and , in: Demonstration at 63rd Annual Meeting of the Association for Computational Linguistics, 2025 |
| TRACE: Training and Inference-Time Interpretability Analysis for Language Models, , and , in: Demonstration at the 2025 Conference on Empirical Methods in Natural Language Processing, 2025 |
| CARMA: Enhanced Compositionality in LLMs via Advanced Regularisation and Mutual Information Alignment, , and , in: The 2025 Conference on Empirical Methods in Natural Language Processing, 2025 |
| Quasi-symbolic Semantic Geometry over Transformer-based Variational AutoEncoders, , and , in: 29th Conference on Computational Natural Language Learning (nominated for a best paper award), 2025 |
| LangVAE and LangSpace: Building and Probing for Language Model VAEs, , , and , in: Demonstration at the 2025 Conference on Empirical Methods in Natural Language Processing (EMNLP), 2025 |
| Learning to Disentangle Latent Reasoning Rules with Language VAEs: A Systematic Study, , , and , in: The 40th Annual AAAI Conference on Artificial Intelligence, 2026 |
| Formal Semantic Controls over Language Models, , and , in: LREC-COLING, 2024 |
| Learning Disentangled Semantic Spaces of Explanations via Invertible Neural Networks, , and , in: The 62nd Annual Meeting of the Association for Computational Linguistics, 2024 |
| Montague semantics and modifier consistency measurement in neural language models, , , , and , in: 31st International Conference on Computational Linguistics, 2025 |
| Graph-Induced Syntactic-Semantic Spaces in Transformer-Based Variational AutoEncoders, , , , and , in: In Findings of the Association for Computational Linguistics: NAACL 2024, 2024 |
| An LLM-based Knowledge Synthesis and Scientific Reasoning Framework for Biomedical Discovery, , , , , , , and , in: Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics, ACL, Bangkok, Thailand, pages 355-364, 2024 |
[DOI] [URL] |
| Improving Semantic Control in Discrete Latent Spaces with Transformer Quantized Variational Autoencoders, , , , and , in: Findings of the 18th Conference of the European Chapter of the Association for Computational Linguistics (EACL 2024), 2024 |
| Multi-Relational Hyperbolic Word Embeddings from Natural Language Definitions, , and , in: The 18th Conference of the European Chapter of the Association for Computational Linguistics (EACL 2024), 2024 |
| Learning Disentangled Representations for Natural Language Definitions, , , and , in: In Findings of the European chapter of Association for Computational Linguistics, 2023 |
|
| Systematicity, Compositionality and Transitivity of Deep NLP Models: a Metamorphic Testing Perspective, , , , and , in: Findings of the ACL, 2022 |