Bracket counting on Bracket counting task-localized circuit examples
100Finite-Dataset AgreementSurrogate-mediated verification
Evaluation Results
| Method | Links | ||||
|---|---|---|---|---|---|
| Surrogate-mediated verification2026.05 | 100 | 100 | — | — |
Loading the SOTA2 catalog…
| Method | Links | ||||
|---|---|---|---|---|---|
| Surrogate-mediated verification2026.05 | 100 | 100 | — | — |