---
title: "Marco Valentino — author profile and papers · Reasoning"
description: "Marco Valentino, University of Sheffield: 3 papers on Elamur Research (2021–2022), h-index 9 — affiliations, topics, co-authors and who…"
canonical: "https://research.elamur.ai/free/en/authors/marco-valentino/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/marco-valentino/)

[home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / Marco Valentino

# Marco Valentino

Marco Valentino has 3 papers in our library, in 2021–2022, most of them on [Reasoning](https://md.research.elamur.ai/free/en/topics/reasoning/); often with [André Freitas](https://md.research.elamur.ai/free/en/authors/andre-freitas/), [Deborah Ferreira](https://md.research.elamur.ai/free/en/authors/deborah-ferreira/), [Julia Rozanova](https://md.research.elamur.ai/free/en/authors/julia-rozanova/).

3 papers in our library · 2021–2022

[OpenAlex](https://openalex.org/A5032107191) · [ORCID](https://orcid.org/0000-0002-9959-8385) · [**h-index 9**](https://openalex.org/authors/A5032107191) · [82 works](https://openalex.org/works?filter=author.id:A5032107191) · [276 citations](https://openalex.org/works?filter=author.id:A5032107191&sort=cited_by_count:desc) OpenAlex, 2026-10-14

[📄 3 works in our library](https://md.research.elamur.ai/free/en/authors/marco-valentino/#papers) · [🔗 Cited 155 times in our library](https://md.research.elamur.ai/free/en/authors/marco-valentino/cited-by/) · [10 more in our library without a page yet](#also) · [⭐ Paper Stars ranking: #5652](https://md.research.elamur.ai/free/en/paper-stars/page/57/#star-5652)

The profile is the library's match of the name; two people with one name are not always told apart.

Elsewhere: [Google Scholar](https://scholar.google.com/citations?view_op=search_authors&mauthors=Marco+Valentino) · [Semantic Scholar](https://www.semanticscholar.org/search?q=Marco+Valentino) · [dblp](https://dblp.org/search?q=Marco+Valentino) · [ACL Anthology](https://aclanthology.org/search/?q=Marco+Valentino)

## Affiliations

[🎓**University of Sheffield** Sheffield · United Kingdom 2025–2026 · 38 papersEmployment since 2025 · Lecturer, Computer Science*current*](https://md.research.elamur.ai/free/en/universities/university-of-sheffield/) · [🔬**Idiap Research Institute** Martigny-Combe · Switzerland 2020–2025 · 45 papers](https://md.research.elamur.ai/free/en/labs/idiap-research-institute/) · [🎓**University of Manchester** Manchester · United Kingdom 2019–2023 · 19 papers](https://md.research.elamur.ai/free/en/universities/university-of-manchester/) · [🎓**École Polytechnique Fédérale de Lausanne** Lausanne · Switzerland 2021–2023 · 4 papers](https://md.research.elamur.ai/free/en/universities/ecole-polytechnique-federale-de-lausanne/)

From the bylines of their papers (OpenAlex, 2026-10-14), ORCID and Wikidata; institutions on papers are matched by machine. 2 more institutions on single bylines are not listed.

## Concepts, shelves and topics

Of its works in our library: the number of works on each and its rating among them.

📚 Shelves 4 The field of science this work belongs to (OpenAlex fields).[Artificial Intelligence · 3 works](https://md.research.elamur.ai/free/en/shelves/computer-science/artificial-intelligence/) · [Arts and Humanities · 3 works](https://md.research.elamur.ai/free/en/shelves/arts-and-humanities/) · [Computer Science · 3 works](https://md.research.elamur.ai/free/en/shelves/computer-science/) · [Language and Linguistics · 3 works](https://md.research.elamur.ai/free/en/shelves/arts-and-humanities/language-and-linguistics/)

🧭 Topics 1 Research subjects and languages the work is about.[Reasoning · 3 works](https://md.research.elamur.ai/free/en/topics/reasoning/)

## Works by year

### 2020s

[**2022** 1 paper Marco Valentino's papers of 2022](https://md.research.elamur.ai/free/en/papers/rozanova-2022-decomposing-natural-logic-inferences-neural/) · [**2021** 2 papers Marco Valentino's papers of 2021](https://md.research.elamur.ai/free/en/authors/marco-valentino/year/2021/)

## Papers

The most cited first (OpenAlex and our library).

1. **[Do Natural Language Explanations Represent Valid Logical Arguments? Verifying Entailment in Explainable NLI Gold Standards](https://md.research.elamur.ai/free/en/papers/valentino-2021-do-natural-language-explanations-represent/)** *(2021 · 10 citations)* Datasets that pair NLI items with human-written explanations are often treated as ground truth for training and judging models that reason step by step.
2. **[Decomposing Natural Logic Inferences for Neural NLI](https://md.research.elamur.ai/free/en/papers/rozanova-2022-decomposing-natural-logic-inferences-neural/)** *(2022 · 8 citations)* The paper asks whether transformer NLI models represent the two features that natural logic uses to decide entailment.
3. **[Supporting Context Monotonicity Abstractions in Neural NLI Models](https://md.research.elamur.ai/free/en/papers/rozanova-2021-supporting-context-monotonicity-abstractions-neural/)** *(2021 · 5 citations)* Neural NLI models still reason badly when a word is swapped for a broader or narrower one inside a downward monotone context, such as one created by negation or quantifiers like "every".

## All works

13 works of theirs in our library, the most cited first; 3 with a page here, the others link their original until we summarise them.

1. **[Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving ↗](https://aclanthology.org/2024.emnlp-main.172/) Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing · no summary yet**Xin Quan et al.*2024 · 52 citations*
2. **[Improving Chain-of-Thought Reasoning via Quasi-Symbolic Abstractions ↗](https://aclanthology.org/2025.acl-long.843/) Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers) · no summary yet**Leonardo Ranaldi, Marco Valentino, Andre Freitas*2025 · 42 citations*
3. **[SemEval-2026 Task 11: Disentangling Content and Formal Reasoning in Large Language Models ↗](https://aclanthology.org/2026.semeval-1.450/) Proceedings of the 20th International Workshop on Semantic Evaluation (2026) · no summary yet**Marco Valentino et al.*2026 · 22 citations*
4. **[A Symbolic Framework for Evaluating Mathematical Reasoning and Generalisation with Transformers ↗](https://aclanthology.org/2024.naacl-long.84/) Proceedings of the 2024 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies (Volume 1: Long Papers) · no summary yet**Jordan Meadows et al.*2024 · 14 citations*
5. **[Autoformalization in the Wild: Assessing LLMs on Real-World Mathematical Definitions ↗](https://aclanthology.org/2025.emnlp-main.90/) Proceedings of the 2025 Conference on Empirical Methods in Natural Language Processing · no summary yet**Lan Zhang, Marco Valentino, Andre Freitas*2025 · 11 citations*
6. **[Do Natural Language Explanations Represent Valid Logical Arguments? Verifying Entailment in Explainable NLI Gold Standards](https://md.research.elamur.ai/free/en/papers/valentino-2021-do-natural-language-explanations-represent/) [International Conference on Computational Semantics](https://md.research.elamur.ai/free/en/venues/iwcs/)**Marco Valentino, Ian Pratt-Hartmann, André Freitas*2021 · 10 citations*
7. **[Decomposing Natural Logic Inferences for Neural NLI](https://md.research.elamur.ai/free/en/papers/rozanova-2022-decomposing-natural-logic-inferences-neural/) [BlackboxNLP Workshop on Analyzing and Interpreting Neural Networks for NLP](https://md.research.elamur.ai/free/en/venues/blackboxnlp/)**Julia Rozanova, Deborah Ferreira, Mokanarangan Thayaparan, et al.*2022 · 8 citations*
8. **[Interventional Probing in High Dimensions: An NLI Case Study ↗](https://aclanthology.org/2023.findings-eacl.188/) Findings of the Association for Computational Linguistics: EACL 2023 · no summary yet**Julia Rozanova et al.*2023 · 7 citations*
9. **[Can Activation Steering Generalize Across Languages? A Study on Syllogistic Reasoning in Language Models ↗](https://aclanthology.org/2026.eacl-long.125/) Proceedings of the 19th Conference of the European Chapter of the Association for Computational Linguistics (Volume 1: Long Papers) · no summary yet**Gabriele Maraia et al.*2026 · 5 citations*
10. **[Beyond Gold Standards: Epistemic Ensemble of LLM Judges for Formal Mathematical Reasoning ↗](https://arxiv.org/abs/2506.10903) arXiv:2506.10903 · no summary yet**Lan Zhang et al.*2025 · 5 citations*
11. **[MASA: LLM-Driven Multi-Agent Systems for Autoformalization ↗](https://arxiv.org/abs/2510.08988) arXiv:2510.08988 · no summary yet**Lan Zhang, Marco Valentino, Andre Freitas*2025 · 5 citations*
12. **[Supporting Context Monotonicity Abstractions in Neural NLI Models](https://md.research.elamur.ai/free/en/papers/rozanova-2021-supporting-context-monotonicity-abstractions-neural/) [Workshops on Natural Logic Meets Machine Learning (NALOMA)](https://md.research.elamur.ai/free/en/venues/naloma/)**Julia Rozanova, Deborah Ferreira, Mokanarangan Thayaparan, et al.*2021 · 5 citations*
13. **[Adaptive LLM-Symbolic Reasoning via Dynamic Logical Solver Composition ↗](https://aclanthology.org/2026.eacl-long.54/) Proceedings of the 19th Conference of the European Chapter of the Association for Computational Linguistics (Volume 1: Long Papers) · no summary yet**Lei Xu et al.*2026 · 2 citations*

## Co-authors here

4 co-authors with a page, the most papers together first.

- [André Freitas](https://md.research.elamur.ai/free/en/authors/andre-freitas/) ×3
- [Deborah Ferreira](https://md.research.elamur.ai/free/en/authors/deborah-ferreira/) ×2
- [Julia Rozanova](https://md.research.elamur.ai/free/en/authors/julia-rozanova/) ×2
- [Mokanarangan Thayaparan](https://md.research.elamur.ai/free/en/authors/mokanarangan-thayaparan/) ×2

## Venues

Where their works here were published, the most works first, with the editions of those that have a page.

- Proceedings of the 19th Conference of the European Chapter of the Association for Computational Linguistics (Volume 1: Long Papers) ×2
- Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing ×2
- [BlackboxNLP Workshop on Analyzing and Interpreting Neural Networks for NLP](https://md.research.elamur.ai/free/en/venues/blackboxnlp/): [BlackboxNLP Workshop on Analyzing and Interpreting Neural Networks for NLP 2022](https://md.research.elamur.ai/free/en/venues/blackboxnlp/2022/)
- [International Conference on Computational Semantics](https://md.research.elamur.ai/free/en/venues/iwcs/): [International Conference on Computational Semantics 2021](https://md.research.elamur.ai/free/en/venues/iwcs/2021/)
- [Workshops on Natural Logic Meets Machine Learning (NALOMA)](https://md.research.elamur.ai/free/en/venues/naloma/): [NALOMA 2021](https://md.research.elamur.ai/free/en/venues/naloma/2021/)
- Findings of the Association for Computational Linguistics: EACL 2023
- Proceedings of the 2024 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies (Volume 1: Long Papers)
- Proceedings of the 20th International Workshop on Semantic Evaluation (2026)
- Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)

## Cited by

Papers of our library cite their works 155 times (of the 141,840 papers whose bibliographies we read); [3 citing papers with a page here →](https://md.research.elamur.ai/free/en/authors/marco-valentino/cited-by/).

Updated 24 October 2026