arXiv · cs.AI · Zixuan Xie, Xinyu Liu, Shangtong Zhang · 4 小时前模型评分41
MathlibPR：面向形式数学库的 PR 合并结果基准
MathlibPR: Pull Request Merge-Outcome Benchmark for Formal Mathematical Libraries
导读
研究者发布 MathlibPR，一个基于真实 Mathlib4 PR 历史构建的基准，用于评估大语言模型（LLM，Large Language Model）能否协助审查 Mathlib 的拉取请求（PR，Pull Request）。
分类置信度
中 · 待人工复核
- 只有单一媒体来源，需要人工复核。
来源级别：媒体与个人
应用领域：科学研究
事件类型：研究发布
证据摘录
- “To this end, we introduce MathlibPR, a benchmark built from real Mathlib4 PR histories.”
来源：arXiv · cs.AI · arxiv.org