← Authors

Marco Valentino

45 papers · 2019–2026 · 8 conferences · across top CS/AI conferences

Achievements

🌈 Renaissance Researcher (7) 🌍 Conference Polyglot (8) πŸƒ Academic Marathon (6) 🧭 Keyword Pioneer 🐝 Cross-Pollinator (12) πŸ—ΊοΈ Taxonomy Completionist (54) πŸŒ‰ Interdisciplinary Bridge 🧬 Topic Evolution πŸ”¬ Deep Specialist (17) πŸ† Keyword Champion (4) 🀝 Dynamic Duo (38) πŸ—ƒοΈ Keyword Collector (166) ❓ The Questioner (3) ⚑ Prolific Year (6) πŸ’Ž Century Club (41) πŸ”₯ Unstoppable (5)

Conferences

ACL (10) EMNLP (9) EACL (7) NAACL (7) AAAI (4) COLING (4) IJCNLP (2) SEMEVAL (2)

Top co-authors

Andre Freitas (41) Mokanarangan Thayaparan (13) Danilo Carvalho (6) Deborah Ferreira (6) Julia Rozanova (6) MaΓ«l Jullien (5) Xin Quan (4) Lan Zhang (3) Donal Landers (3) Leonardo Ranaldi (3)

Keywords

natural language inference (17) large language model (12) multi-hop reasoning (7) question answering (7) formal reasoning (6) explanation generation (5) biomedical nlp (4) logical reasoning (4) representation learning (4) neuro-symbolic reasoning (4) latent space (3) variational autoencoder (3) transformer model (3) theorem proving (3) clinical trial (3) semantic analysis (3) symbolic reasoning (3) information retrieval (3) causal inference (2) knowledge graph (2)

Papers

Can Activation Steering Generalize Across Languages? A Study on Syllogistic Reasoning in Language Models EACL 2026
Mitigating Content Effects on Reasoning in Language Models Through Fine-Grained Activation Steering AAAI 2026
Adaptive LLM-Symbolic Reasoning via Dynamic Logical Solver Composition EACL 2026
Learning to Disentangle Latent Reasoning Rules with Language VAEs: A Systematic Study AAAI 2026
Neuro-Symbolic Natural Language Processing EMNLP 2025
Controlling Equational Reasoning in Large Language Models with Prompt Interventions AAAI 2025
Improving Chain-of-Thought Reasoning via Quasi-Symbolic Abstractions ACL 2025
Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations ACL 2025
Unravelling the Logic: Investigating the Generalisation of Transformers in Numerical Satisfiability Problems ACL 2025
PEIRCE: Unifying Material and Formal Reasoning via LLM-Driven Neuro-Symbolic Refinement ACL 2025
Reasoning Circuits in Language Models: A Mechanistic Interpretation of Syllogistic Inference ACL 2025
Eliciting Critical Reasoning in Retrieval-Augmented Generation via Contrastive Explanations NAACL 2025
SylloBio-NLI: Evaluating Large Language Models on Biomedical Syllogistic Reasoning NAACL 2025
Autoformalization in the Wild: Assessing LLMs on Real-World Mathematical Definitions EMNLP 2025
Enhancing Logical Reasoning in Language Models via Symbolically-Guided Monte Carlo Process Supervision EMNLP 2025
MASA: LLM-Driven Multi-Agent Systems for Autoformalization EMNLP 2025
Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving EMNLP 2024
Reasoning with Natural Language Explanations EMNLP 2024
Enhancing Ethical Explanations of Large Language Models through Iterative Symbolic Refinement EACL 2024
Inference to the Best Explanation in Large Language Models ACL 2024
Multi-Relational Hyperbolic Word Embeddings from Natural Language Definitions EACL 2024
Improving Semantic Control in Discrete Latent Spaces with Transformer Quantized Variational Autoencoders EACL 2024
SemEval-2024 Task 2: Safe Biomedical Natural Language Inference for Clinical Trials NAACL 2024
Graph-Induced Syntactic-Semantic Spaces in Transformer-Based Variational AutoEncoders NAACL 2024
A Symbolic Framework for Evaluating Mathematical Reasoning and Generalisation with Transformers NAACL 2024
Multi-Operational Mathematical Derivations in Latent Space NAACL 2024
SemEval-2024 Task 2: Safe Biomedical Natural Language Inference for Clinical Trials SEMEVAL 2024
A Differentiable Integer Linear Programming Solver for Explanation-Based Natural Language Inference COLING 2024
Estimating the Causal Effects of Natural Logic Features in Transformer-Based NLI Models COLING 2024
Interventional Probing in High Dimensions: An NLI Case Study EACL 2023
SemEval-2023 Task 7: Multi-Evidence Natural Language Inference for Clinical Trial Data ACL 2023
NLI4CT: Multi-Evidence Natural Language Inference for Clinical Trial Reports EMNLP 2023
SemEval-2023 Task 7: Multi-Evidence Natural Language Inference for Clinical Trial Data SEMEVAL 2023
Decomposing Natural Logic Inferences for Neural NLI EMNLP 2022
To be or not to be an Integer? Encoding Variables for Mathematical Text ACL 2022
TextGraphs 2022 Shared Task on Natural Language Premise Selection COLING 2022
Case-Based Abductive Natural Language Inference COLING 2022
Hybrid Autoregressive Inference for Scalable Multi-Hop Explanation Regeneration AAAI 2022
TextGraphs 2021 Shared Task on Multi-Hop Inference for Explanation Regeneration NAACL 2021
Does My Representation Capture X? Probe-Ably IJCNLP 2021
Unification-based Reconstruction of Multi-hop Explanations for Science Questions EACL 2021
Does My Representation Capture X? Probe-Ably ACL 2021
Explainable Inference Over Grounding-Abstract Chains for Science Questions IJCNLP 2021
Explainable Inference Over Grounding-Abstract Chains for Science Questions ACL 2021
Identifying Supporting Facts for Multi-hop Question Answering with Document Graph Networks EMNLP 2019