Lean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory
Paper • 2606.06523 • Published • 1
Ruida WANG
RickyDeSkywalker
AI & ML interests
None yet
Recent Activity
upvoted a paper about 7 hours ago
Lean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory submitted a paper about 7 hours ago
Lean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory updated a dataset about 2 months ago
RickyDeSkywalker/dc-sutherlandOrganizations
upvoted a paper about 7 hours ago
submitted a
paper to Daily Papers about 7 hours ago
updated a
dataset about 2 months ago
published a
dataset about 2 months ago
updated a
dataset about 2 months ago
published a
dataset about 2 months ago
upvoted an article 2 months ago
Article
Welcome Gemma 4: Frontier multimodal intelligence on device
- +5
merve, pcuenq, sergiopaniego, burtenshaw, Steveeeeeeen, alvarobartt, SaylorTwift
• • 907 Add metadata, paper link, and sample usage
#2 opened 3 months ago
by 
nielsr
Improve dataset card: add paper link, task category, and sample usage
#1 opened 3 months ago
by nielsr
Update model card with metadata, paper link and GitHub repository
#1 opened 3 months ago
by nielsr
Improve model card metadata and add paper link
#1 opened 3 months ago
by nielsr
updated a
dataset 3 months ago
published a
dataset 3 months ago
updated a
dataset 3 months ago
published a
dataset 3 months ago
updated a
model 3 months ago
published a
model 3 months ago
updated a
model 3 months ago
published a
model 3 months ago
upvoted a collection 4 months ago