Zayden-Jung/lean-bench
2
1
Fork 0
Code Issues 2 Pull Requests Actions Packages Projects Releases Wiki Activity
Files
36fd787c43439a0e2aac666c086127efe4f3f5fe
lean-bench/experiments/P0-pilot/results
T
History
codex-bot 2f0a217a94
ci / python (pull_request) Successful in 14s
Details
ci / lean (pull_request) Successful in 29s
Details
ci / image (pull_request) Has been skipped
Details
feat(pilot): add full-cohort GPT-assisted diagnostic
2026-10-28 19:28:07 +08:00
..
.gitkeep
Give experiments IDs (P0, E0-E11): registry, per-experiment layout, spec moved to docs/experiments/P0-pilot.md
2026-10-22 11:46:59 +00:00
gpt-diagnostic-items.json
feat(pilot): add full-cohort GPT-assisted diagnostic
2026-10-28 19:28:07 +08:00
gpt-diagnostic-summary.json
feat(pilot): add full-cohort GPT-assisted diagnostic
2026-10-28 19:28:07 +08:00