@misc{indiciae2a3ba1a794b4,
  title = {ProofJudge: Tool-Grounded LLM Evaluation of Formal Proof Quality in Mathlib},
  author = {Shane Caldwell},
  year = {2026},
  url = {https://arxiv.org/abs/2608.20432},
  note = {Source identifier: 2608.20432}
}