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
DBLP profile ↗ORCID search ↗
×3
Ming Dai
DBLP profile ↗ORCID search ↗
×1
Chenrui Cao
DBLP profile ↗ORCID search ↗
×1
Zinuo Li
DBLP profile ↗ORCID search ↗
×1

Papers

  1. Multi-task Visual Grounding with Coarse-to-Fine Consistency Constraints
    AAAI 2025 ·
    Ming Dai
    DBLP profile ↗ORCID search ↗
  2. Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning
    ICLR 2025 ·
    Zenan Li
    DBLP profile ↗ORCID search ↗
  3. Reviving DSP for Advanced Theorem Proving in the Era of Reasoning Models
    NeurIPS 2025 ·
    Chenrui Cao
    DBLP profile ↗ORCID search ↗
  4. Watch and Listen: Understanding Audio-Visual-Speech Moments with Multimodal LLM
    NeurIPS 2025 ·
    Zinuo Li
    DBLP profile ↗ORCID search ↗
  5. Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic Consistency
    NeurIPS 2024 ·
    Zenan Li
    DBLP profile ↗ORCID search ↗
  6. Differential-Perceptive and Retrieval-Augmented MLLM for Change Captioning
    ACM MM 2024 · Xian Zhang
  7. Neuro-Symbolic Data Generation for Math Reasoning
    NeurIPS 2024 ·
    Zenan Li
    DBLP profile ↗ORCID search ↗