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

Zihua She, Xiao Wang

На странице источника доступны аннотация, полный текст или сведения о том, где его прочитать. Препринт может ещё не пройти рецензирование; проверьте, появилась ли журнальная версия.