@misc{indiciae66193cbf48c5,
  title = {Magenta: Closing the Loop Between Mathematical Reasoning and Lean Verification},
  author = {Joshua Ong Jun Leang and Haonan Li and Zheng Zhao and Xinyi Shang and Wenda Li and Zhengzhong Liu and Eric Xing and Shay Cohen and Eleonora Giunchiglia},
  year = {2026},
  url = {https://arxiv.org/abs/2609.11319},
  note = {Source identifier: 2609.11319}
}