@misc{indiciae3aa9dbec4fd6,
  title = {Lyra: Orchestrating Dual Correction in Automated Theorem Proving},
  author = {Chuanyang Zheng and Haiming Wang and Enze Xie and Zhengying Liu and Jiankai Sun and Huajian Xin and Jianhao Shen and Zhenguo Li and Yu Li},
  year = {2024},
  url = {https://arxiv.org/abs/2309.15806},
  note = {Source identifier: 2309.15806}
}