Xian Zhang
7 papers · 2006–2025 · 5 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
π Conference Polyglot (5) π Academic Marathon (19) π Renaissance Researcher (5) π Interdisciplinary Bridge πΊοΈ Taxonomy Completionist (16)
π§
Keyword Pioneer
π
Cross-Pollinator
(15)
Conferences
COLING (2)
NIPS (2)
AAAI (1)
ACL (1)
ICLR (1)
Top co-authors
Keywords
large language model
(2)
mathematical reasoning
(2)
visual grounding
(1)
object localization
(1)
semantic consistency
(1)
markov chain monte carlo
(1)
automated theorem proving
(1)
formal language
(1)
multimodal representation
(1)
multimodal fusion
(1)
referring expression comprehension
(1)
referring image segmentation
(1)
data generation
(1)
knowledge alignment
(1)
neuro-symbolic reasoning
(1)
consistency constraint
(1)
referring expression segmentation
(1)
multi-task learning
(1)
symbolic equivalence
(1)
theorem proving
(1)
Papers
Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning
ICLR 2025
Multi-task Visual Grounding with Coarse-to-Fine Consistency Constraints
AAAI 2025
Neuro-Symbolic Data Generation for Math Reasoning
NIPS 2024
Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic Consistency
NIPS 2024
Classifying What-Type Questions by Head Noun Tagging
COLING 2008
A Comparison and Semi-Quantitative Analysis of Words and Character-Bigrams as Features in Chinese Text Categorization
ACL 2006
A Comparison and Semi-Quantitative Analysis of Words and Character-Bigrams as Features in Chinese Text Categorization
COLING 2006