Formal Theorem Proving on USAMO 2026 (Solved Count)
3Solved CountGoedel-Architect
Evaluation Results
| Method | Links | |
|---|---|---|
| Goedel-ArchitectNatural language guidance (+NL)=true2026.06 | 3 |
Loading the SOTA2 catalog…
| Method | Links | |
|---|---|---|
| Goedel-ArchitectNatural language guidance (+NL)=true2026.06 | 3 |