Xin Quan
5 papers · 2024–2025 · 3 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 ↓
๐
Conference Polyglot ยท Bronze
๐
Interdisciplinary Bridge ยท Silver
๐บ๏ธ
Taxonomy Completionist
(20)
๐ฃ
Hot Topic Early Bird
Top co-authors
Research topics
Artificial Intelligence
(5)
Natural Language Processing
(5)
Applications
(5)
Core AI
(5)
Machine Learning
(3)
Learning Types
(3)
Deep Learning
(2)
Knowledge & Reasoning
(2)
Models
(2)
Reasoning
(2)
Resources & Methods
(2)
Mathematics & Optimization
(1)
Learning Paradigms
(1)
Mathematics
(1)
Understanding
(1)
Keywords
natural language inference
(4)
large language model
(4)
explanation generation
(3)
formal verification
(2)
neuro-symbolic reasoning
(2)
theorem proving
(2)
ethical reasoning
(1)
argument generation
(1)
formal reasoning
(1)
neuro-symbolic framework
(1)
syntax error
(1)
mathematical library
(1)
proof verification
(1)
explanation verification
(1)
material inference
(1)
logical validity
(1)
proof construction
(1)
explanation refinement
(1)
symbolic prover
(1)
symbolic reasoning
(1)
Papers
Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations
ACL 2025
PEIRCE: Unifying Material and Formal Reasoning via LLM-Driven Neuro-Symbolic Refinement
ACL 2025
Consistent Autoformalization for Constructing Mathematical Libraries
EMNLP 2024
Enhancing Ethical Explanations of Large Language Models through Iterative Symbolic Refinement
EACL 2024
Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving
EMNLP 2024