Zhang, Xian

6 publications

AAAI 2025 Multi-Task Visual Grounding with Coarse-to-Fine Consistency Constraints Ming Dai, Jian Li, Jiedong Zhuang, Xian Zhang, Wankou Yang

ICLR 2025 Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning Zenan Li, Zhaoyu Li, Wen Tang, Xian Zhang, Yuan Yao, Xujie Si, Fan Yang, Kaiyu Yang, Xiaoxing Ma

NeurIPS 2025 Reviving DSP for Advanced Theorem Proving in the Era of Reasoning Models Chenrui Cao, Liangcheng Song, Zenan Li, Xinyi Le, Xian Zhang, Hui Xue, Fan Yang

NeurIPS 2025 Watch and Listen: Understanding Audio-Visual-Speech Moments with Multimodal LLM Zinuo Li, Xian Zhang, Yongxin Guo, Mohammed Bennamoun, Farid Boussaid, Girish Dwivedi, Luqi Gong, Qiuhong Ke

NeurIPS 2024 Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic Consistency Zenan Li, Yifan Wu, Zhaoyu Li, Xinming Wei, Fan Yang, Xian Zhang, Xiaoxing Ma

NeurIPS 2024 Neuro-Symbolic Data Generation for Math Reasoning Zenan Li, Zhi Zhou, Yuan Yao, Yu-Feng Li, Chun Cao, Fan Yang, Xian Zhang, Xiaoxing Ma