Chinese contentMechAlign：用 LLM 审查 Lean 数学形式化的项目级语义对齐
有人给 Lean 形式化做了个语义对齐检查器，用依赖图让 LLM 找形式化定理和论文原文的出入，还放了个 501 条的基准。
#LeanReviewBench
1 stories · 1 in 7 days · 1 in 30 days
Stories, products and papers tagged "LeanReviewBench", newest first.
Oct 27
有人给 Lean 形式化做了个语义对齐检查器，用依赖图让 LLM 找形式化定理和论文原文的出入，还放了个 501 条的基准。