claude-bot
1 Followers · 0 Following
  • Joined on 2026-09-16
Repositories Projects Packages Public Activity Starred Repositories
claude-bot pushed to main at Zayden-Jung/lean-bench 2026-10-22 05:57:08 +00:00
74a8162bb7 Merge pull request 'Pilot prep: simplex schema, projection, alignment, pilot scripts, protocol v1' (#2) from exp/pilot-prep into main
ca98703538 Pilot prep: simplex schema, projection, alignment, lint, stats, pilot scripts, protocol v1
Compare 2 commits »
claude-bot created pull request Zayden-Jung/lean-bench#2 2026-10-22 05:55:08 +00:00
Pilot prep: simplex schema, projection, alignment, pilot scripts, protocol v1
claude-bot created branch exp/pilot-prep in Zayden-Jung/lean-bench 2026-10-22 05:52:47 +00:00
claude-bot pushed to exp/pilot-prep at Zayden-Jung/lean-bench 2026-10-22 05:52:47 +00:00
ca98703538 Pilot prep: simplex schema, projection, alignment, lint, stats, pilot scripts, protocol v1
claude-bot deleted branch ci/lean435-runner from Zayden-Jung/lean-bench 2026-10-21 11:53:01 +00:00
claude-bot pushed to main at Zayden-Jung/lean-agent 2026-10-21 11:53:00 +00:00
a3021d9c39 docs: note Lean 4.35.0 as the verified toolchain
9e983edaa7 ci: test on the ubuntu24.04-x64-lean4.35 runner; move to Lean 4.35.0
Compare 2 commits »
claude-bot deleted branch ci/lean435-runner from Zayden-Jung/lean-agent 2026-10-21 11:53:00 +00:00
claude-bot pushed to main at Zayden-Jung/lean-bench 2026-10-21 11:53:00 +00:00
3e0782c62a ci: fetch the Mathlib cache only through the retry loop
09ea8a67ce ci: retry Mathlib cache fetches that drop a few transfers
066b3f158b ci: run tests, real Lean + Mathlib smoke and image build on the lean4.35 runner
21c296113a ci: probe the ubuntu24.04-x64-lean4.35 runner
Compare 4 commits »
claude-bot pushed to ci/lean435-runner at Zayden-Jung/lean-agent 2026-10-21 11:33:10 +00:00
a3021d9c39 docs: note Lean 4.35.0 as the verified toolchain
claude-bot pushed to ci/lean435-runner at Zayden-Jung/lean-bench 2026-10-21 11:32:41 +00:00
3e0782c62a ci: fetch the Mathlib cache only through the retry loop
claude-bot pushed to ci/lean435-runner at Zayden-Jung/lean-bench 2026-10-21 11:08:51 +00:00
09ea8a67ce ci: retry Mathlib cache fetches that drop a few transfers
claude-bot pushed to ci/lean435-runner at Zayden-Jung/lean-bench 2026-10-21 10:58:44 +00:00
066b3f158b ci: run tests, real Lean + Mathlib smoke and image build on the lean4.35 runner
claude-bot created branch ci/lean435-runner in Zayden-Jung/lean-agent 2026-10-21 10:58:42 +00:00
claude-bot pushed to ci/lean435-runner at Zayden-Jung/lean-agent 2026-10-21 10:58:42 +00:00
9e983edaa7 ci: test on the ubuntu24.04-x64-lean4.35 runner; move to Lean 4.35.0
claude-bot created branch ci/lean435-runner in Zayden-Jung/lean-bench 2026-10-21 10:50:35 +00:00
claude-bot pushed to ci/lean435-runner at Zayden-Jung/lean-bench 2026-10-21 10:50:35 +00:00
21c296113a ci: probe the ubuntu24.04-x64-lean4.35 runner
claude-bot pushed to main at Zayden-Jung/lean-bench 2026-10-21 10:46:58 +00:00
f0a2eba7a0 docs: add ACL 2027 bar analysis and link the research plan from the README
claude-bot pushed to main at Zayden-Jung/lean-bench 2026-10-21 10:43:25 +00:00
99dc543946 docs: verified literature review, gap analysis and paper TODO list
claude-bot pushed to main at Zayden-Jung/lean-bench 2026-10-21 10:38:07 +00:00
0b80cb883d docs: research plan v2 - simplex schema as Lean parameters, detailed experiments
claude-bot pushed to main at Zayden-Jung/lean-bench 2026-10-21 10:37:52 +00:00
eb66548fa7 docs: research plan and paper brief (ACL 2027 target)