TY  - RPRT
TI  - MathlibPR: Pull Request Merge-Readiness Benchmark for Formal Mathematical Libraries
AU  - Zixuan Xie
AU  - Xinyu Liu
AU  - Shangtong Zhang
PY  - 2026
UR  - https://arxiv.org/abs/2605.07147
ID  - 2605.07147
ER  -