Renqiu Xia

3 papers Shanghai Jiaotong University

• Bootstrapping Hierarchical Autoregressive Formal Reasoner with Chain-of-Proxy-Autoformalization
• Envisioning Beyond the Pixels: Benchmarking Reasoning-Informed Visual Editing
• Envisioning Beyond the Pixels: Benchmarking Reasoning-Informed Visual Editing