Marco Valentino
45 papers · 2019–2026 · 8 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+11 more ↓ Show less ↑
π Academic Marathon (6) π Conference Polyglot (8) π Interdisciplinary Bridge π§ 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
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