CCPB

AI & ML interests

None defined yet.

Recent Activity

RickyDeSkywalker  submitted a paper about 2 months ago

Lean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory

RickyDeSkywalker  authored a paper 7 months ago

Future-KL Regularized GRPO: Process-Level Credit Assignment from $f$-Divergence Regularization

RickyDeSkywalker  authored a paper about 2 years ago

DragVideo: Interactive Drag-style Video Editing

View all activity

Team members 2