Wang, Ruida
- DragVideo: Interactive Drag-style Video Editing
2023/12/03 by Deng, Yufan, Wang, Ruida, Zhang, Yuhao +2 · 9 citations
#Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Graphics (cs.GR)
- TheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts
2024/07/03 by Ruida Wang, Jipeng Zhang, Wang, Ruida +11 · 10 citations
Business, Management and Accounting · Computer Science · Engineering · #Artificial Intelligence (cs.AI) #Engineering Technology and Methodologies #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Quality and Management Systems #Semantic Web and Ontologies
- Generalizable Geometric Image Caption Synthesis
2025/09/18 by Yue Xin, Wenyuan Wang, Xin, Yue +13 · 1 voice · 2 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Machine Learning (cs.LG) #cs.AI #cs.CV #cs.LG
- Let's Synthesize Step by Step: Iterative Dataset Synthesis with Large Language Models by Extrapolating Errors from Small Models
2023/10/20 by Wang, Ruida, Zhou, Wangchunshu, Sachan, Mrinmaya · 2 citations
#Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences
- Lean4Physics: Comprehensive Reasoning Framework for College-level Physics in Lean4
2025/10/30 by Li, Yuxin, Liu, Minghao, Wang, Ruida +6 · 1 voice
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG)
- Let's Reason Formally: Natural-Formal Hybrid Reasoning Enhances LLM's Math Capability
2025/05/29 by Ruida Wang, Wang, Ruida, Yuxin Li +4 · 4 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Mathematics, Computing, and Information Processing #Natural Language Processing Techniques