Marco Valentino

Venues

Frequent coauthors

Papers

1. Adaptive LLM-Symbolic Reasoning via Dynamic Logical Solver Composition
   EACL 2026 ·

   Lei Xu

   DBLP profile ↗ORCID search ↗
2. Can Activation Steering Generalize Across Languages? A Study on Syllogistic Reasoning in Language Models
   EACL 2026 ·

   Gabriele Maraia

   DBLP profile ↗ORCID search ↗
3. Compartmentalised Agentic Reasoning for Clinical NLI
   ACL 2026 ·

   Maël Jullien

   DBLP profile ↗ORCID search ↗
4. Dissecting Clinical Reasoning in Natural Language Inference for Large Language Models
   ACL 2026 ·

   Maël Jullien

   DBLP profile ↗ORCID search ↗
5. Fundamental Reasoning Paradigms Induce Out-of-Domain Generalization in Language Models
   ACL 2026 ·

   Mingzi Cao

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

   Yingji Zhang

   DBLP profile ↗ORCID search ↗
7. Mitigating Content Effects on Reasoning in Language Models Through Fine-Grained Activation Steering
   AAAI 2026 · Marco Valentino
8. Autoformalization in the Wild: Assessing LLMs on Real-World Mathematical Definitions
   EMNLP 2025 ·

   Lan Zhang

   DBLP profile ↗ORCID search ↗
9. Controlling Equational Reasoning in Large Language Models with Prompt Interventions
   AAAI 2025 ·

   Jordan Meadows

   DBLP profile ↗ORCID search ↗
10. Eliciting Critical Reasoning in Retrieval-Augmented Generation via Contrastive Explanations
    NAACL 2025 ·

    Leonardo Ranaldi

    DBLP profile ↗ORCID search ↗
11. Enhancing Logical Reasoning in Language Models via Symbolically-Guided Monte Carlo Process Supervision
    EMNLP 2025 ·

    Xingwei Tan

    DBLP profile ↗ORCID search ↗
12. Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations
    ACL 2025 ·

    Xin Quan

    DBLP profile ↗ORCID search ↗
13. Improving Chain-of-Thought Reasoning via Quasi-Symbolic Abstractions
    ACL 2025 ·

    Leonardo Ranaldi

    DBLP profile ↗ORCID search ↗
14. MASA: LLM-Driven Multi-Agent Systems for Autoformalization
    EMNLP 2025 ·

    Lan Zhang

    DBLP profile ↗ORCID search ↗
15. Neuro-Symbolic Natural Language Processing
    EMNLP 2025 ·

    André Freitas

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

    Xin Quan

    DBLP profile ↗ORCID search ↗
17. Reasoning Circuits in Language Models: A Mechanistic Interpretation of Syllogistic Inference
    ACL 2025 ·

    Geonhee Kim

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

    Magdalena Wysocka

    DBLP profile ↗ORCID search ↗
19. Unravelling the Logic: Investigating the Generalisation of Transformers in Numerical Satisfiability Problems
    ACL 2025 ·

    Tharindu Madusanka

    DBLP profile ↗ORCID search ↗
20. A Symbolic Framework for Evaluating Mathematical Reasoning and Generalisation with Transformers
    NAACL 2024 ·

    Jordan Meadows

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

    Yingji Zhang

    DBLP profile ↗ORCID search ↗
22. Inference to the Best Explanation in Large Language Models
    ACL 2024 ·

    Dhairya Dalal

    DBLP profile ↗ORCID search ↗
23. Multi-Operational Mathematical Derivations in Latent Space
    NAACL 2024 · Marco Valentino
24. Reasoning with Natural Language Explanations
    EMNLP 2024 · Marco Valentino
25. Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving
    EMNLP 2024 ·

    Xin Quan

    DBLP profile ↗ORCID search ↗