Equation 14 · How to Evaluate Codex Beyond SWE-bench and Vendor Scores
What does this equation mean?
Read the formula alongside the article passage below. Each part has a deeper page with its role in the equation, the supporting passage and nearby citations.
This mathematical expression combines the displayed quantities; its precise role follows from the surrounding article text. Read the equation part by part below; each part has a contextual explanation and a link to its mathematical background.
Read it piece by piece
Symbol τ
τ is a part of this expression. Its role is fixed by the surrounding article and by the operations shown in the formula.
How to interpret it
Read this expression with the definitions, units, and assumptions supplied by the article.
What the article says around this equation
-bench evaluates tool-using agents in conversations with policy constraints and final database state, emphasizing repeated consistency through pass-to-k-style measurement [ 7 ] . AgentDojo introduces realistic tasks and hundreds of prompt-injection security cases, asking whether useful agents preserve security under untrusted tool data [ 8 ] . These benchmarks measure properties that repository patch tests largely omit.
Sources cited in the surrounding passage
- [7] tau-bench: A Benchmark for Tool-Agent-User Interaction in Real-World Domains ↗
- [8] AgentDojo: A Dynamic Environment to Evaluate Prompt Injection Attacks and Defenses for LLM Agents ↗
These citations give research context. Read each source to check which claims it supports.
Return to How to Evaluate Codex Beyond SWE-bench and Vendor Scores