Coding agents need verifiers, reviewers, and trace-level repair
The day’s research treats coding agents as systems that need external checks during work. Aria shows verifier-gated proof search at unusual scale; SWE-Review adds repository-aware review; TraceProbe measures how a run…