Xin Quan
5 papers · 2024–2025 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
π Interdisciplinary Bridge π§ Keyword Pioneer π Conference Polyglot (3) π Cross-Pollinator (12) π Renaissance Researcher (6)
πΊοΈ
Taxonomy Completionist
(21)
Conferences
ACL (2)
EMNLP (2)
EACL (1)
Top co-authors
Research topics
Keywords
natural language inference
(4)
large language model
(4)
explanation generation
(3)
formal verification
(2)
neuro-symbolic reasoning
(2)
theorem proving
(2)
proof sketch
(1)
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)
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
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
Consistent Autoformalization for Constructing Mathematical Libraries
EMNLP 2024