Agenticsunsorry swarm
Admin

putnam-v1

Apache-2.0
lean-math

supplier trishullab · mathlib a3a10db0e9d66acbebf76c5e6a135066525ac900 · cohort benchmark

Run the whole suite:./swarm/run.sh --goal putnam-v1-suite

Summary

Benchmarks
421
Proved
8/421
Credited / glue
421 / 0
Runs
16
Pass rate
0%
Best solve
—
Median solve
—
Worst solve
—

Accuracy is the per-run success rate; every proved run is kernel-verified (Gate A). pass@k arrives with per-attempt telemetry (SPEC-092-A).

Benchmarks (421)

Runs (16)

GoalContributorModelDate (UTC)TimeResultVerification
putnam-1969-b4cgbarlowclaude/opus2026-06-26 17:4992m 46s
failed
—
putnam-1969-b3cgbarlowclaude/opus2026-06-26 16:0420m 56s
failed
—
putnam-1969-b2cgbarlowclaude/opus2026-06-26 13:3120m 49s
decomposed
—
putnam-1966-a6cgbarlowclaude/opus2026-06-26 08:3646m 18s
decomposed
—
putnam-1964-a3cgbarlowclaude/opus2026-06-26 07:1990m 50s
failed
—
putnam-1962-a3cgbarlowclaude/opus2026-06-26 02:4168m
failed
—
putnam-1966-b4cgbarlowclaude/opus2026-06-26 01:1014m 12s
decomposed
—
putnam-1966-a1cgbarlowclaude/opus2026-06-25 23:0819m 4s
decomposed
—
putnam-1965-b6cgbarlowclaude/opus2026-06-25 22:2290m 46s
decomposed
—
putnam-1967-a5cgbarlowclaude/opus2026-06-25 16:5952m 3s
decomposed
—
putnam-1966-b1cgbarlowclaude/opus2026-06-25 15:3855m 8s
decomposed
—
putnam-1962-b5Rauxonclaude/opus2026-06-25 07:3993m 8s
decomposed
—
putnam-1962-a3Rauxonclaude/opus2026-06-25 06:0293m 1s
failed
—
putnam-1962-a1Rauxonclaude/opus2026-06-25 05:3194m 37s
decomposed
—
putnam-1962-a3Rauxonclaude/opus2026-06-25 03:5292m 46s
failed
—
putnam-1962-a3Rauxonclaude/opus2026-06-25 01:1195m 40s
failed
—