Wang, Ruida

4 publications

ICLR 2026 GAR: Generative Adversarial Reinforcement Learning for Formal Theorem Proving Ruida Wang, Jiarui Yao, Rui Pan, Shizhe Diao, Tong Zhang

ICLR 2026 Lean4Physics: Comprehensive Reasoning Framework for College-Level Physics in Lean4 Yuxin Li, Minghao Liu, Ruida Wang, Ji WenZhao, Zhitao He, Rui Pan, Junming Huang, Tong Zhang, Yi R. Fung

ICML 2025 MA-LoT: Model-Collaboration Lean-Based Long Chain-of-Thought Reasoning Enhances Formal Theorem Proving Ruida Wang, Rui Pan, Yuxin Li, Jipeng Zhang, Yizhen Jia, Shizhe Diao, Renjie Pi, Junjie Hu, Tong Zhang

ECCV 2024 DragVideo: Interactive Drag-Style Video Editing Yufan Deng, Ruida Wang, Yuhao Zhang, Yu-Wing Tai, Chi-Keung Tang