arxiv:2601.10201
Ruida WANG
RickyDeSkywalker
AI & ML interests
None yet
Recent Activity
upvoted a paper 3 days ago
Lean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory submitted a paper 3 days ago
Lean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory updated a dataset about 2 months ago
RickyDeSkywalker/dc-sutherlandOrganizations
