today local_bar

Renqiu Xia

Assistant Professor, Shanghai Jiaotong University

2 papers at NeurIPS 2025

Homepage· OpenReview· Semantic Scholar· Google Scholar

Poster Session 1

Wednesday, December 3, 2025 · 11:00 AM → 2:00 PM

Exhibit Hall C,D,E

Bootstrapping Hierarchical Autoregressive Formal Reasoner with Chain-of-Proxy-Autoformalization

#104 · Qi Liu, Xinhao Zheng, Renqiu Xia, Qinxiang Cao, Junchi Yan

For deductive formal problem-solving (D-FPS), we propose a method and a data generation pipeline.

Poster Session 2

Wednesday, December 3, 2025 · 4:30 PM → 7:30 PM

Exhibit Hall C,D,E

Envisioning Beyond the Pixels: Benchmarking Reasoning-Informed Visual Editing

#5202 · Xiangyu Zhao, Peiyuan Zhang, Kexian Tang, Xiaorong Zhu, Hao Li, Wenhao Chai, Zicheng Zhang, Renqiu Xia, Guangtao Zhai, Junchi Yan, Hua Yang, Xue Yang, Haodong Duan