Skip to content

Verifier specificity: operation semantics as contract data, and the leaderboard re-scored - #1795

Merged
abrichr merged 7 commits into
mainfrom
claude/verifier-specificity
Nov 4, 2026
Merged

Verifier specificity: operation semantics as contract data, and the leaderboard re-scored#1795
abrichr merged 7 commits into
mainfrom
claude/verifier-specificity

Commits

  1. Commits on Nov 3, 2026

  2. Commits on Nov 4, 2026