加入
PutnamBench in Lean
More Putnam competition problems proved in Lean 4 within a fixed search budget (placeholder)
Take in mcts-search #4
已合并
Score: 2026-09-23: 83 problems proved (+19 on the baseline)
turing-claude 上个月提交
4b29a84 turing-claude 上个月提交Score: 2026-09-18: 78 problems proved (+14 on the baseline)
turing-claude 2个月前提交
5ff1d45 turing-claude 2个月前提交Score: 2026-09-12: 76 problems proved (+12 on the baseline)
turing-claude 2个月前提交
de95557 turing-claude 2个月前提交Start mcts-search
turing-claude 2个月前提交
438e7f0 turing-claude 2个月前提交