PPaperPicks

Xian Zhang

7 papers at tracked venues · 7 at CORE A* · active 2024–2025

DBLP profile ↗ORCID search ↗

Venues

NeurIPS ×4AAAI ×1ACM MM ×1ICLR ×1

Frequent coauthors

Zenan Li
×4
Fan Yang
×4
Xiaoxing Ma
×3
Zhaoyu Li
×2
Yuan Yao
×2
Ming Dai
×1
Jian Li
×1
Jiedong Zhuang
×1
Wankou Yang
×1
Wen Tang
×1
Xujie Si
×1
Kaiyu Yang
×1

Papers

  1. Multi-task Visual Grounding with Coarse-to-Fine Consistency Constraints
    AAAI 2025 ·
    Ming Dai
    ,
    Jian Li
    ,
    Jiedong Zhuang
    , Xian Zhang,
    Wankou Yang
  2. Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning
    ICLR 2025 ·
    Zenan Li
    ,
    Zhaoyu Li
    ,
    Wen Tang
    , Xian Zhang,
    Yuan Yao
    ,
    Xujie Si
    ,
    Fan Yang
    ,
    Kaiyu Yang
    ,
    Xiaoxing Ma
  3. Reviving DSP for Advanced Theorem Proving in the Era of Reasoning Models
    NeurIPS 2025 ·
    Chenrui Cao
    ,
    Liangcheng Song
    ,
    Zenan Li
    ,
    Xinyi Le
    , Xian Zhang,
    Hui Xue
    ,
    Fan Yang
  4. Watch and Listen: Understanding Audio-Visual-Speech Moments with Multimodal LLM
    NeurIPS 2025 ·
    Zinuo Li
    , Xian Zhang,
    Yongxin Guo
    ,
    Mohammed Bennamoun
    ,
    Farid Boussaïd
    ,
    Girish Dwivedi
    ,
    Luqi Gong
    ,
    Qiuhong Ke
  5. Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic Consistency
    NeurIPS 2024 ·
    Zenan Li
    ,
    Yifan Wu
    ,
    Zhaoyu Li
    ,
    Xinming Wei
    , Xian Zhang,
    Fan Yang
    ,
    Xiaoxing Ma
  6. Differential-Perceptive and Retrieval-Augmented MLLM for Change Captioning
    ACM MM 2024 · Xian Zhang,
    Haokun Wen
    ,
    Jianlong Wu
    ,
    Pengda Qin
    ,
    Hui Xue'
    ,
    Liqiang Nie
  7. Neuro-Symbolic Data Generation for Math Reasoning
    NeurIPS 2024 ·
    Zenan Li
    ,
    Zhi Zhou
    ,
    Yuan Yao
    , Xian Zhang,
    Yufeng Li
    ,
    Chun Cao
    ,
    Fan Yang
    ,
    Xiaoxing Ma