Ruida Wang
- Code as Agent Harness
2026/05/18 by Xuying Ning, Katherine Tieu, Dongqi Fu +39 · 4 voices · 1 citation
#cs.CL #cs.AI
- TheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts
2024/07/03 by Ruida Wang, Wang, Ruida, Jipeng Zhang +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
- Lean4Physics: Comprehensive Reasoning Framework for College-level Physics in Lean4
2025/10/30 by Yuxin Li, Minghao Liu, Li, Yuxin +15 · 2 voices
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #cs.AI #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