Author

Shangtong Zhang

1 paper indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

#artificial intelligence Review May 2026

MathlibPR: Pull Request Merge-Readiness Benchmark for Formal Mathematical Libraries

By turning Mathlib PR histories into a supervised signal, MathlibPR provides a step toward reviewer assistants and reward models that could help evaluate PRs and steer LLMs toward producing merge-ready Mathlib contributions.

Zi-Xuan Xie, Xin-Yu Liu, Shangtong Zhang · arXiv.org · 5 citations · ⚡1