| 2026 | AAAI | Mitigating Content Effects on Reasoning in Language Models Through Fine-Grained Activation Steering. | Marco Valentino, Geonhee Kim, Dhairya Dalal, Zhixue Zhao, Andr Freitas |
| 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 | Fundamental Reasoning Paradigms Induce Out-of-Domain Generalization in Language Models. | Mingzi Cao, Xingwei Tan, Mahmud Elahi Akhter, Marco Valentino, Maria Liakata, Xi Wang, Nikolaos Aletras |
| 2026 | ACL | Dissecting Clinical Reasoning in Natural Language Inference for Large Language Models. | Mal Jullien, Andr Freitas, Marco Valentino, Leonardo Ranaldi |
| 2026 | ACL | Compartmentalised Agentic Reasoning for Clinical NLI. | Mal Jullien, Andr Freitas, Marco Valentino, Lei Xu |
| 2026 | EACL | Can Activation Steering Generalize Across Languages? A Study on Syllogistic Reasoning in Language Models. | Gabriele Maraia, Leonardo Ranaldi, Marco Valentino, Fabio Massimo Zanzotto |
| 2026 | EACL | Adaptive LLM-Symbolic Reasoning via Dynamic Logical Solver Composition. | Lei Xu, Pierre Beckmann, Marco Valentino, Andr Freitas |
| 2025 | AAAI | Controlling Equational Reasoning in Large Language Models with Prompt Interventions. | Jordan Meadows, Marco Valentino, Andr Freitas |
| 2025 | ACL | Reasoning Circuits in Language Models: A Mechanistic Interpretation of Syllogistic Inference. | Geonhee Kim, Marco Valentino, Andr Freitas |
| 2025 | ACL | Unravelling the Logic: Investigating the Generalisation of Transformers in Numerical Satisfiability Problems. | Tharindu Madusanka, Marco Valentino, Iqra Zahid, Ian Pratt-Hartmann, Riza Batista-Navarro |
| 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 | ACL | Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations. | Xin Quan, Marco Valentino, Louise A. Dennis, Andr Freitas |
| 2025 | ACL | Improving Chain-of-Thought Reasoning via Quasi-Symbolic Abstractions. | Leonardo Ranaldi, Marco Valentino, Andr Freitas |
| 2025 | EMNLP | Neuro-Symbolic Natural Language Processing. | Andr Freitas, Marco Valentino, Danilo Silva de Carvalho |
| 2025 | EMNLP | Enhancing Logical Reasoning in Language Models via Symbolically-Guided Monte Carlo Process Supervision. | Xingwei Tan, Marco Valentino, Mahmud Elahi Akhter, Maria Liakata, Nikolaos Aletras |
| 2025 | EMNLP | Autoformalization in the Wild: Assessing LLMs on Real-World Mathematical Definitions. | Lan Zhang, Marco Valentino, Andr Freitas |
| 2025 | EMNLP | MASA: LLM-Driven Multi-Agent Systems for Autoformalization. | Lan Zhang, Marco Valentino, Andr Freitas |
| 2025 | NAACL | Eliciting Critical Reasoning in Retrieval-Augmented Generation via Contrastive Explanations. | Leonardo Ranaldi, Marco Valentino, 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 | Inference to the Best Explanation in Large Language Models. | Dhairya Dalal, Marco Valentino, Andr Freitas, Paul Buitelaar |
| 2024 | COLING | Estimating the Causal Effects of Natural Logic Features in Transformer-Based NLI Models. | Julia Rozanova, Marco Valentino, Andr Freitas |
| 2024 | COLING | A Differentiable Integer Linear Programming Solver for Explanation-Based Natural Language Inference. | Mokanarangan Thayaparan, Marco Valentino, Andr Freitas |
| 2024 | EACL | Enhancing Ethical Explanations of Large Language Models through Iterative Symbolic Refinement. | Xin Quan, Marco Valentino, Louise A. Dennis, 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 | EMNLP | Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving. | Xin Quan, Marco Valentino, Louise A. Dennis, Andr Freitas |
| 2024 | EMNLP | Reasoning with Natural Language Explanations. | Marco Valentino, Andr Freitas |
| 2024 | NAACL | A Symbolic Framework for Evaluating Mathematical Reasoning and Generalisation with Transformers. | Jordan Meadows, Marco Valentino, Damien Teney, Andr Freitas |
| 2024 | NAACL | Multi-Operational Mathematical Derivations in Latent Space. | Marco Valentino, Jordan Meadows, Lan Zhang, 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 |
| 2023 | EACL | Interventional Probing in High Dimensions: An NLI Case Study. | Julia Rozanova, Marco Valentino, Lucas C. Cordeiro, Andr Freitas |
| 2023 | EMNLP | NLI4CT: Multi-Evidence Natural Language Inference for Clinical Trial Reports. | Mal Jullien, Marco Valentino, Hannah Frost, Paul O'Regan, Dnal Landers, Andr Freitas |
| 2022 | AAAI | Hybrid Autoregressive Inference for Scalable Multi-Hop Explanation Regeneration. | Marco Valentino, Mokanarangan Thayaparan, Deborah Ferreira, Andr Freitas |
| 2022 | ACL | To be or not to be an Integer? Encoding Variables for Mathematical Text. | Deborah Ferreira, Mokanarangan Thayaparan, Marco Valentino, Julia Rozanova, Andr Freitas |
| 2022 | COLING | Case-Based Abductive Natural Language Inference. | Marco Valentino, Mokanarangan Thayaparan, Andr Freitas |
| 2021 | ACL | Does My Representation Capture X? Probe-Ably. | Deborah Ferreira, Julia Rozanova, Mokanarangan Thayaparan, Marco Valentino, Andr Freitas |
| 2021 | ACL | Explainable Inference Over Grounding-Abstract Chains for Science Questions. | Mokanarangan Thayaparan, Marco Valentino, Andr Freitas |
| 2021 | EACL | Unification-based Reconstruction of Multi-hop Explanations for Science Questions. | Marco Valentino, Mokanarangan Thayaparan, Andr Freitas |
| 2020 | LREC | A Framework for Evaluation of Machine Reading Comprehension Gold Standards. | Viktor Schlegel, Marco Valentino, Andr Freitas, Goran Nenadic, Riza Batista-Navarro |
| 2018 | WETICE | Adaptive Workflows of Home-Care Services. | Claudia Di Napoli, Marco Valentino, Luca Sabatucci, Massimo Cossentino |