Ruida Wang
- Papers
- 8
Cite
Notes
Only stored in your browser.
8papers
Authored papers
8Code as Agent Harness
arXiv 2026
AgentSPEX: An Agent SPecification and EXecution Language
arXiv 2026
PRL: Process Reward Learning Improves LLMs' Reasoning Ability and Broadens the Reasoning Boundary
arXiv 2026
MA-LoT: Multi-Agent Lean-based Long Chain-of-Thought Reasoning enhances Formal Theorem Proving
arXiv 2025
GAR: Generative Adversarial Reinforcement Learning for Formal Theorem Proving
arXiv 2025
TheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts
arXiv 2024
DragVideo: Interactive Drag-style Video Editing
arXiv 2023
Let's Synthesize Step by Step: Iterative Dataset Synthesis with Large Language Models by Extrapolating Errors from Small Models
arXiv 2023
Affiliations
No known affiliations.
Frequent co-authors
10from 8 papers