Picture for Ruida Wang

Ruida Wang

TheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts

Add code
Jul 03, 2024
Viaarxiv icon

DragVideo: Interactive Drag-style Video Editing

Add code
Dec 03, 2023
Viaarxiv icon

Let's Synthesize Step by Step: Iterative Dataset Synthesis with Large Language Models by Extrapolating Errors from Small Models

Add code
Oct 20, 2023
Viaarxiv icon

SR-PredictAO: Session-based Recommendation with High-Capability Predictor Add-On

Add code
Sep 20, 2023
Viaarxiv icon