Xin Quan
5 papers
· 2024–2025
· 3 conferences
· across top CS/AI conferences
Achievements
π
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)