Recent Papers / arXiv:2606.06523

Lean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory

arXiv:2606.06523Submitted Jun 8, 20260 benchmark results

Authors pending

View PDF ↗arXiv page ↗Edit
Abstract

First Lean4-based framework for agent behavior verification; verified workflows outperform failing ones by 11.94% on SWE-Bench-Verified and ELAIP-Bench, with 7.47% further gain from LeanEvolve revision.

Tasks
edit
• Agentic AI
Results

No benchmark results recorded yet.

submit

Benchmark results referencing this paper haven't been added to the registry yet. If you have a reproduction, submit it →

CodeSOTA extraction

Benchmark evidence

edit
  • Lean4Agent: verification-passing vs. failing workflow accuracy on SWE-Bench-Verified subset (abstract reports 11.94% average difference)
Add or update benchmark results
Logged-in editor · benchmark trail
Read next

Three places to go from here.

Index
All papers
All tracked papers in the registry, with benchmark result, model, and leaderboard linkage where available.
Replacement
Papers with Code is dead — alternatives
What replaced PWC for each use case: LLMs, OCR, speech, vision, robotics.
Top hub
Agentic AI
Every benchmark in Agentic AI.