Equation 14 · Part 1 · How to Evaluate Codex Beyond SWE-bench and Vendor Scores
Symbol τ
What this part means
τ is a part of this expression. Its role is fixed by the surrounding article and by the operations shown in the formula.
Its job in the formula
τ is a part of this expression. Its role is fixed by the surrounding article and by the operations shown in the formula.
Full expression→Symbol τ→Article meaning
The passage around this formula
-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.
Learn the underlying idea
A variable is a named place for a value. Its letter is a local label: x can mean position in one formula and a data point in another.
Open the illustrated variables: a letter stands for a value guide →
See this notation across published equations →
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 provide research context; check each source for the exact claim it supports.