AgentLens Benchmark

What is AgentLens?

AgentLens evaluates interactive coding agents across entire trajectories, combining formal verification with LLM-written trajectory reviews and side-by-side…

Released

2026-07-07

Evaluates

Agents, Agents & Tool Use, General AI

Openness

unknown

Importer

Claire Radar

Review status

unreviewed

Reported scores

0

Source provenance

• Original evidence https://arxiv.org/abs/2607.06624

AgentLens paper and code

• Paper https://arxiv.org/abs/2607.06624
• Code https://github.com/agent-lens/agent-lens-bench

Which sources cite AgentLens?

• AgentLens

Related Agents, Agents & Tool Use, General AI benchmarks

• $\tau^\tau$-Bench: An Environment for End-To-End, Realistic Agent Construction
• 3DCodeBench
• 5-Dialects-BN
• A3S-Bench
• AARRI-Bench
• ActBench
• ActiveSciBench
• ActiveVision