Share for optical agent

AI & ML interests

None defined yet.

Recent Activity

RickyDeSkywalker  submitted a paper about 10 hours ago

Lean4AgenticRL: Advancing Agentic RL with Verifiable Multi-level Process Rewards

RickyDeSkywalker  submitted a paper 4 months ago

Lean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory

RickyDeSkywalker  authored a paper 9 months ago

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

View all activity

Team members 2