Category: Math
| Name | Description | Category | Author |
|---|---|---|---|
| math-olympiad | Solve competition math (IMO, Putnam, USAMO) with adversarial verification that catches what self-verification misses. Fresh-context verifiers attack proofs with specific failure patterns. Calibrated abstention over bluffing. | Math | Anthropic |