@misc{indiciaebe7b1c29aeeb,
  title = {KAPPA: Checking the Proofs in Statistics Papers with Lean 4 and Language Model Agents},
  author = {Zihua She and Xiao Wang},
  year = {2026},
  url = {https://arxiv.org/abs/2610.35596},
  note = {Source identifier: 2610.35596}
}