back to table · edit · history · where entries came from · files
As of the current version, 2026-11-11 00:55, “Explain the digamma evaluation of Bagchi sequence inner products”. See the history to look at the files of an earlier one.
| name | size | last changed | |
|---|---|---|---|
| argument-selection.md | 2788 bytes | 2026-11-11 | |
| audit-assessment.md | 1439 bytes | 2026-11-11 | |
| audit-final.json | 619 bytes | 2026-11-11 | |
| check-offline-results.json | 29576 bytes | 2026-11-11 | |
| check-results.json | 29552 bytes | 2026-11-11 | |
| generate.py | 4328 bytes | 2026-11-11 | |
| independent_check.py | 8211 bytes | 2026-11-11 | |
| link-checks.json | 1868 bytes | 2026-11-11 | |
| numerical-evidence.md | 6635 bytes | 2026-11-11 | |
| offline-results.json | 313613 bytes | 2026-11-11 | |
| periodic-checkpoint.json | 101790 bytes | 2026-11-11 | |
| presentation-check.md | 1954 bytes | 2026-11-11 | |
| relations-results.json | 37102 bytes | 2026-11-11 | |
| relations_check.py | 2560 bytes | 2026-11-11 | |
| research.md | 3402 bytes | 2026-11-11 | |
| selection-fingerprint.json | 226 bytes | 2026-11-11 | |
| skill-manifest.json | 4060 bytes | 2026-11-11 | |
| sources.json | 503 bytes | 2026-11-11 | |
| stored-input.json | 12057 bytes | 2026-11-11 |
Download the table and its files together — as of this version, so the code in it is the code that produced the numbers in it.
These are recorded, not executed. Several of them take hours or days to run, and nothing on this site runs them.
