TY  - RPRT
TI  - Magenta: Closing the Loop Between Mathematical Reasoning and Lean Verification
AU  - Joshua Ong Jun Leang
AU  - Haonan Li
AU  - Zheng Zhao
AU  - Xinyi Shang
AU  - Wenda Li
AU  - Zhengzhong Liu
AU  - Eric Xing
AU  - Shay Cohen
AU  - Eleonora Giunchiglia
PY  - 2026
UR  - https://arxiv.org/abs/2609.11319
ID  - 2609.11319
ER  -