TY  - RPRT
TI  - Numina Fuse: Interactive Autoformalization in Lean 4
AU  - Justin Asher
AU  - Yichuan Cao
AU  - Ruichen Qiu
AU  - Pietro Pellegrino
AU  - Jia Li
PY  - 2026
UR  - https://arxiv.org/abs/2610.33860
ID  - 2610.33860
ER  -