Numina Fuse: Interactive Autoformalization in Lean 4

Justin Asher, Yichuan Cao, Ruichen Qiu, Pietro Pellegrino, Jia Li

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