LeanReviewBench

general · First seen 2026-10-27 · Last seen 2026-10-27 · 1 mentions

Overview pending

Not generated while fewer than 3 related stories are on file.

Coverage

1 on file

MechAlign：用 LLM 审查 Lean 数学形式化的项目级语义对齐arXiv: OpenAI