Xian Zhang
6 papers · 2006–2025 · 5 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 · Silver
🏃
Academic Marathon · Full
🌉
Interdisciplinary Bridge · Bronze
🗺️
Taxonomy Completionist
(18)
Venues
Top co-authors
Research topics
Artificial Intelligence
(3)
Machine Learning
(3)
Core AI · Artificial Intelligence
(3)
Learning Types · Machine Learning
(2)
Optimization & Theory
(2)
Computer Vision
(1)
Deep Learning
(1)
Natural Language Processing
(1)
Analysis
(1)
Applications
(1)
Bayesian & Probabilistic
(1)
Core AI · Computer Vision
(1)
Core Methods
(1)
Learning Paradigms
(1)
Learning Types · Deep Learning
(1)
Keywords
large language model
(3)
mathematical reasoning
(2)
theorem proving
(1)
visual grounding
(1)
object localization
(1)
semantic consistency
(1)
markov chain monte carlo
(1)
proof search
(1)
automated theorem proving
(1)
formal language
(1)
multimodal representation
(1)
multimodal fusion
(1)
referring expression comprehension
(1)
neuro-symbolic computing
(1)
referring image segmentation
(1)
data generation
(1)
knowledge alignment
(1)
neuro-symbolic reasoning
(1)
consistency constraint
(1)
referring expression segmentation
(1)
Papers
Multi-task Visual Grounding with Coarse-to-Fine Consistency Constraints
AAAI 2025
Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning
ICLR 2025
Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic Consistency
NeurIPS 2024
Neuro-Symbolic Data Generation for Math Reasoning
NeurIPS 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