Issues

• Approve model identity GenProof for ma4ypic4y

  leanprover/lean-eval-leaderboard#106 · Filter by author ma4ypic4y opened on Oct 23, 2026

• Rename my public model identity to Humanfia

  leanprover/lean-eval-leaderboard#92 · Filter by author ZhengyangZhang06 opened on Sep 3, 2026
  1

• Model-identity consolidation request: alias three mlgraham declared labels to one canonical identity

  leanprover/lean-eval-leaderboard#83 · Filter by author mlgraham opened on Aug 29, 2026
  2

• Pages deployment hit nondeterministic maxRecDepth codegen failure after accepted submission

  leanprover/lean-eval-leaderboard#64 · Filter by author Vilin97 opened on Aug 13, 2026
  2

• Leaderboard deploy fails after benchmark snapshot advance to 6ee592a

  leanprover/lean-eval-leaderboard#53 · Filter by author test1-deepthought opened on Jun 6, 2026