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

Not decoded yet

in the queue

This paper is waiting its turn. The original abstract is at the bottom of the page.

From the paper