Marco Valentino
42 papers · 2019–2026 · 7 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+10 more ↓ Show less ↑
πΊοΈ Taxonomy Completionist (51) π Academic Marathon Β· Sprint π Conference Polyglot Β· Silver π Interdisciplinary Bridge Β· Silver π£ Hot Topic Early Bird
π§¬
Topic Evolution
π€
Dynamic Duo
(38)
π
Keyword Champion
(5)
π¬
Deep Specialist
(16)
π
Renaissance Researcher
(5)
π₯
Unstoppable Β· Bronze
β
The Questioner
(3)
β‘
Prolific Year Β· Prolific
π
Century Club Β· Bronze
ποΈ
Keyword Collector
(165)
Top co-authors
Research topics
Artificial Intelligence
(28)
Core AI
(28)
Natural Language Processing
(26)
Machine Learning
(19)
Applications
(19)
Deep Learning
(11)
Knowledge & Reasoning
(11)
Reasoning
(11)
Learning Types
(10)
Core Methods
(8)
Models
(7)
Resources & Methods
(7)
Architectures
(4)
Optimization & Theory
(4)
Understanding
(4)
Keywords
natural language inference
(15)
large language model
(12)
question answering
(7)
multi-hop reasoning
(6)
formal reasoning
(6)
explanation generation
(5)
neuro-symbolic reasoning
(4)
logical reasoning
(4)
syllogistic reasoning
(3)
variational autoencoder
(3)
logical validity
(3)
transformer model
(3)
latent space
(3)
theorem proving
(3)
activation steering
(3)
semantic analysis
(3)
representation learning
(3)
symbolic reasoning
(3)
information retrieval
(3)
causal inference
(2)
Papers
Adaptive LLM-Symbolic Reasoning via Dynamic Logical Solver Composition
EACL 2026
Can Activation Steering Generalize Across Languages? A Study on Syllogistic Reasoning in Language Models
EACL 2026
Learning to Disentangle Latent Reasoning Rules with Language VAEs: A Systematic Study
AAAI 2026
Mitigating Content Effects on Reasoning in Language Models Through Fine-Grained Activation Steering
AAAI 2026
SemEval-2026 Task 11: Disentangling Content and Formal Reasoning in Large Language Models
SemEval 2026
Autoformalization in the Wild: Assessing LLMs on Real-World Mathematical Definitions
EMNLP 2025
Controlling Equational Reasoning in Large Language Models with Prompt Interventions
AAAI 2025
Eliciting Critical Reasoning in Retrieval-Augmented Generation via Contrastive Explanations
NAACL 2025
Enhancing Logical Reasoning in Language Models via Symbolically-Guided Monte Carlo Process Supervision
EMNLP 2025
Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations
ACL 2025
Improving Chain-of-Thought Reasoning via Quasi-Symbolic Abstractions
ACL 2025
MASA: LLM-Driven Multi-Agent Systems for Autoformalization
EMNLP 2025
Neuro-Symbolic Natural Language Processing
EMNLP 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
SylloBio-NLI: Evaluating Large Language Models on Biomedical Syllogistic Reasoning
NAACL 2025
Unravelling the Logic: Investigating the Generalisation of Transformers in Numerical Satisfiability Problems
ACL 2025
A Differentiable Integer Linear Programming Solver for Explanation-Based Natural Language Inference
COLING 2024
A Symbolic Framework for Evaluating Mathematical Reasoning and Generalisation with Transformers
NAACL 2024
Enhancing Ethical Explanations of Large Language Models through Iterative Symbolic Refinement
EACL 2024
Estimating the Causal Effects of Natural Logic Features in Transformer-Based NLI Models
COLING 2024
Graph-Induced Syntactic-Semantic Spaces in Transformer-Based Variational AutoEncoders
NAACL 2024
Improving Semantic Control in Discrete Latent Spaces with Transformer Quantized Variational Autoencoders
EACL 2024
Inference to the Best Explanation in Large Language Models
ACL 2024
Multi-Operational Mathematical Derivations in Latent Space
NAACL 2024
Multi-Relational Hyperbolic Word Embeddings from Natural Language Definitions
EACL 2024
Reasoning with Natural Language Explanations
EMNLP 2024
SemEval-2024 Task 2: Safe Biomedical Natural Language Inference for Clinical Trials
SemEval 2024
Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving
EMNLP 2024
Interventional Probing in High Dimensions: An NLI Case Study
EACL 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
Case-Based Abductive Natural Language Inference
COLING 2022
Decomposing Natural Logic Inferences for Neural NLI
EMNLP 2022
Hybrid Autoregressive Inference for Scalable Multi-Hop Explanation Regeneration
AAAI 2022
TextGraphs 2022 Shared Task on Natural Language Premise Selection
COLING 2022
To be or not to be an Integer? Encoding Variables for Mathematical Text
ACL 2022
Does My Representation Capture X? Probe-Ably
ACL 2021
Explainable Inference Over Grounding-Abstract Chains for Science Questions
ACL 2021
TextGraphs 2021 Shared Task on Multi-Hop Inference for Explanation Regeneration
NAACL 2021
Unification-based Reconstruction of Multi-hop Explanations for Science Questions
EACL 2021
Identifying Supporting Facts for Multi-hop Question Answering with Document Graph Networks
EMNLP 2019