KAPPA: Checking the Proofs in Statistics Papers with Lean 4 and Language Model Agents
stat.CO, cs.AI, cs.LO
Submitted: 2026-10-26
Updated: 2026-10-26
Terminology
Related papers
- A fast non-reversible sampler for Bayesian mixture models
- A Computable Measure of Suboptimality for Entropy-Regularised Variational Objectives
- BKP: An R Package for Beta Kernel Process Modeling
- Edgewise Envelopes Between Balanced Forman and Ollivier-Ricci Curvature
- Amortized quadrature for posterior expectations in inverse problems
- A Non-asymptotic Analysis for Learning and Applying a Preconditioner in MCMC