Graph Databases for Designing High-Performance Speech Recognition Grammars. - Maria Di Maro; Marco Valentino; Anna Riccio; Antonio Origlia (IWCS(2), 2017)

Adaptive Workflows of Home-Care Services. - Claudia Di Napoli; Marco Valentino; Luca Sabatucci; Massimo Cossentino (WETICE, 2018)

A Framework for Personalized and Adaptive Socially Assistive Robotics. - Silvia Rossi 002; Giovanni Ercolano; Luca Raggioli; Marco Valentino; Claudia Di Napoli (WOA, 2018)

Identifying Supporting Facts for Multi-hop Question Answering with Document Graph Networks. - Mokanarangan Thayaparan; Marco Valentino; Viktor Schlegel; André Freitas (TextGraphs@EMNLP, 2019)

A Framework for Evaluation of Machine Reading Comprehension Gold Standards. - Viktor Schlegel; Marco Valentino; André Freitas; Goran Nenadic; Riza Batista-Navarro (LREC, 2020)

Unification-based Reconstruction of Explanations for Science Questions. - Marco Valentino; Mokanarangan Thayaparan; André Freitas (CoRR, 2020)

Explainable Natural Language Reasoning via Conceptual Unification. - Marco Valentino; Mokanarangan Thayaparan; André Freitas (CoRR, 2020)

A Survey on Explainability in Machine Reading Comprehension. - Mokanarangan Thayaparan; Marco Valentino; André Freitas (CoRR, 2020)

ExplanationLP: Abductive Reasoning for Explainable Science Question Answering. - Mokanarangan Thayaparan; Marco Valentino; André Freitas (CoRR, 2020)

Does My Representation Capture X? Probe-Ably. - Deborah Ferreira; Julia Rozanova; Mokanarangan Thayaparan; Marco Valentino; André Freitas (ACL (demo), 2021)

Explainable Inference Over Grounding-Abstract Chains for Science Questions. - Mokanarangan Thayaparan; Marco Valentino; André Freitas (ACL/IJCNLP (Findings), 2021)

Unification-based Reconstruction of Multi-hop Explanations for Science Questions. - Marco Valentino; Mokanarangan Thayaparan; André Freitas (EACL, 2021)

Do Natural Language Explanations Represent Valid Logical Arguments? Verifying Entailment in Explainable NLI Gold Standards. - Marco Valentino; Ian Pratt-Hartmann; André Freitas (CoRR, 2021)

∂-Explainer: Abductive Natural Language Inference via Differentiable Convex Optimization. - Mokanarangan Thayaparan; Marco Valentino; Deborah Ferreira; Julia Rozanova; André Freitas (CoRR, 2021)

Encoding Explanatory Knowledge for Zero-shot Science Question Answering. - Zili Zhou; Marco Valentino; Donal Landers; André Freitas (CoRR, 2021)

Supporting Context Monotonicity Abstractions in Neural NLI Models. - Julia Rozanova; Deborah Ferreira; Mokanarangan Thayaparan; Marco Valentino; André Freitas (CoRR, 2021)

Hybrid Autoregressive Solver for Scalable Abductive Natural Language Inference. - Marco Valentino; Mokanarangan Thayaparan; Deborah Ferreira; André Freitas (CoRR, 2021)

Hybrid Autoregressive Inference for Scalable Multi-Hop Explanation Regeneration. - Marco Valentino; Mokanarangan Thayaparan; Deborah Ferreira; André Freitas (AAAI, 2022)

To be or not to be an Integer? Encoding Variables for Mathematical Text. - Deborah Ferreira; Mokanarangan Thayaparan; Marco Valentino; Julia Rozanova; André Freitas (ACL (Findings), 2022)

Decomposing Natural Logic Inferences for Neural NLI. - Julia Rozanova; Deborah Ferreira; Mokanarangan Thayaparan; Marco Valentino; André Freitas (BlackboxNLP@EMNLP, 2022)

Case-Based Abductive Natural Language Inference. - Marco Valentino; Mokanarangan Thayaparan; André Freitas (COLING, 2022)

Do Transformers Encode a Foundational Ontology? Probing Abstract Classes in Natural Language. - Maël Jullien; Marco Valentino; André Freitas (CoRR, 2022)

Scientific Explanation and Natural Language: A Unified Epistemological-Linguistic Perspective for Explainable AI. - Marco Valentino; André Freitas (CoRR, 2022)

Going Beyond Approximation: Encoding Constraints for Explainable Multi-hop Inference via Differentiable Combinatorial Solvers. - Mokanarangan Thayaparan; Marco Valentino; André Freitas (CoRR, 2022)

Diff-Explainer: Differentiable Convex Optimization for Explainable Multi-hop Inference. - Mokanarangan Thayaparan; Marco Valentino; Deborah Ferreira; Julia Rozanova; André Freitas (Trans. Assoc. Comput. Linguistics, 2022)

Interventional Probing in High Dimensions: An NLI Case Study. - Julia Rozanova; Marco Valentino; Lucas C. Cordeiro; André Freitas (EACL (Findings), 2023)

NLI4CT: Multi-Evidence Natural Language Inference for Clinical Trial Reports. - Maël Jullien; Marco Valentino; Hannah Frost; Paul O'Regan; Dónal Landers; André Freitas (EMNLP, 2023)

SemEval-2023 Task 7: Multi-Evidence Natural Language Inference for Clinical Trial Data. - Maël Jullien; Marco Valentino; Hannah Frost; Paul O'Regan; Donal Landers; André Freitas (SemEval@ACL, 2023)

Estimating the Causal Effects of Natural Logic Features in Neural NLI Models. - Julia Rozanova; Marco Valentino; André Freitas (CoRR, 2023)

A Symbolic Framework for Systematic Evaluation of Mathematical Reasoning with Transformers. - Jordan Meadows; Marco Valentino; Damien Teney; André Freitas (CoRR, 2023)

Generating Mathematical Derivations with Large Language Models. - Jordan Meadows; Marco Valentino; André Freitas (CoRR, 2023)

Inference to the Best Explanation in Large Language Models. - Dhairya Dalal; Marco Valentino; André Freitas; Paul Buitelaar (ACL (1), 2024)

Estimating the Causal Effects of Natural Logic Features in Transformer-Based NLI Models. - Julia Rozanova; Marco Valentino; André Freitas (LREC/COLING, 2024)

A Differentiable Integer Linear Programming Solver for Explanation-Based Natural Language Inference. - Mokanarangan Thayaparan; Marco Valentino; André Freitas (LREC/COLING, 2024)

Enhancing Ethical Explanations of Large Language Models through Iterative Symbolic Refinement. - Xin Quan; Marco Valentino; Louise A. Dennis; André Freitas (EACL (1), 2024)

Multi-Relational Hyperbolic Word Embeddings from Natural Language Definitions. - Marco Valentino; Danilo S. Carvalho; André Freitas (EACL (1), 2024)

Improving Semantic Control in Discrete Latent Spaces with Transformer Quantized Variational Autoencoders. - Yingji Zhang; Danilo S. Carvalho; Marco Valentino; Ian Pratt-Hartmann; André Freitas (EACL (Findings), 2024)

Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving. - Xin Quan; Marco Valentino; Louise A. Dennis; André Freitas (EMNLP, 2024)

A Symbolic Framework for Evaluating Mathematical Reasoning and Generalisation with Transformers. - Jordan Meadows; Marco Valentino; Damien Teney; André Freitas (NAACL-HLT, 2024)

Multi-Operational Mathematical Derivations in Latent Space. - Marco Valentino; Jordan Meadows; Lan Zhang; André Freitas (NAACL-HLT, 2024)

Graph-Induced Syntactic-Semantic Spaces in Transformer-Based Variational AutoEncoders. - Yingji Zhang; Marco Valentino; Danilo S. Carvalho; Ian Pratt-Hartmann; André Freitas (NAACL-HLT (Findings), 2024)

SemEval-2024 Task 2: Safe Biomedical Natural Language Inference for Clinical Trials. - Maël Jullien; Marco Valentino; André Freitas (SemEval@NAACL, 2024)

A Mechanistic Interpretation of Syllogistic Reasoning in Auto-Regressive Language Models. - Geonhee Kim; Marco Valentino; André Freitas (CoRR, 2024)

Reasoning with Natural Language Explanations. - Marco Valentino; André Freitas (CoRR, 2024)

Eliciting Critical Reasoning in Retrieval-Augmented Language Models via Contrastive Explanations. - Leonardo Ranaldi; Marco Valentino; André Freitas (CoRR, 2024)

Controlling Equational Reasoning in Large Language Models with Prompt Interventions. - Jordan Meadows; Marco Valentino; André Freitas (AAAI, 2025)

Reasoning Circuits in Language Models: A Mechanistic Interpretation of Syllogistic Inference. - Geonhee Kim; Marco Valentino; André Freitas (ACL (Findings), 2025)

Unravelling the Logic: Investigating the Generalisation of Transformers in Numerical Satisfiability Problems. - Tharindu Madusanka; Marco Valentino; Iqra Zahid; Ian Pratt-Hartmann; Riza Batista-Navarro (ACL (1), 2025)

Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations. - Xin Quan; Marco Valentino; Louise A. Dennis; André Freitas (ACL (1), 2025)

Improving Chain-of-Thought Reasoning via Quasi-Symbolic Abstractions. - Leonardo Ranaldi; Marco Valentino; André Freitas (ACL (1), 2025)

Eliciting Critical Reasoning in Retrieval-Augmented Generation via Contrastive Explanations. - Leonardo Ranaldi; Marco Valentino; André Freitas (NAACL (Long Papers), 2025)

SylloBio-NLI: Evaluating Large Language Models on Biomedical Syllogistic Reasoning. - Magdalena Wysocka; Danilo S. Carvalho; Oskar Wysocki; Marco Valentino; André Freitas (NAACL (Long Papers), 2025)

Formalizing Complex Mathematical Statements with LLMs: A Study on Mathematical Definitions. - Lan Zhang; Marco Valentino; André Freitas (CoRR, 2025)

Integrating Expert Knowledge into Logical Programs via LLMs. - Franciszek Górski; Oskar Wysocki; Marco Valentino; André Freitas (CoRR, 2025)

Improving Chain-of-Thought Reasoning via Quasi-Symbolic Abstractions. - Leonardo Ranaldi; Marco Valentino; Alexander Polonsky; André Freitas (CoRR, 2025)

PEIRCE: Unifying Material and Formal Reasoning via LLM-Driven Neuro-Symbolic Refinement. - Xin Quan; Marco Valentino; Danilo S. Carvalho; Dhairya Dalal; André Freitas (CoRR, 2025)

Mitigating Content Effects on Reasoning in Language Models through Fine-Grained Activation Steering. - Marco Valentino; Geonhee Kim; Dhairya Dalal; Zhixue Zhao; André Freitas (CoRR, 2025)

Enhancing Logical Reasoning in Language Models via Symbolically-Guided Monte Carlo Process Supervision. - Xingwei Tan; Marco Valentino; Mahmud Elahi Akhter; Maria Liakata; Nikolaos Aletras (CoRR, 2025)

Beyond Gold Standards: Epistemic Ensemble of LLM Judges for Formal Mathematical Reasoning. - Lan Zhang; Marco Valentino; André Freitas (CoRR, 2025)

How Robust is Model Editing after Fine-Tuning? An Empirical Study on Text-to-Image Diffusion Models. - Feng He; Zhenyang Liu; Marco Valentino; Zhixue Zhao (CoRR, 2025)

Learning to Disentangle Latent Reasoning Rules with Language VAEs: A Systematic Study. - Yingji Zhang; Marco Valentino; Danilo S. Carvalho; André Freitas (CoRR, 2025)

Dissecting Clinical Reasoning in Language Models: A Comparative Study of Prompts and Model Adaptation Strategies. - Maël Jullien; Marco Valentino; Leonardo Ranaldi; André Freitas (CoRR, 2025)

The Knowledge-Reasoning Dissociation: Fundamental Limitations of LLMs in Clinical Natural Language Inference. - Maël Jullien; Marco Valentino; André Freitas (CoRR, 2025)