KAPPA: Checking the Proofs in Statistics Papers with Lean 4 and Language Model Agents.

arXiv:2610.35596v1 Announce Type: cross Abstract: Papers in statistical theory rest on long proofs that few readers check line by line. We present KAPPA (Kit of Agents for Proof-checking Papers with a proof Assistant), open-source software that organizes langu