Explore
Discover
Solutions
AI Services
Our Products
Submit a tool
Search the catalog
⌘K
$
/
₹
Sign up free
Login
Back to papers
October 26, 2026
stat.CO
cs.AI
cs.LO
KAPPA: Checking the Proofs in Statistics Papers with Lean 4 and Language Model Agents
Zihua She
,
Xiao Wang
Original Abstract
Read on arXiv
Download PDF
Categories
stat.CO, cs.AI, cs.LO