@article{lyraorchestratingdualcorrectionin,
  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 = {2023},
  eprint = {2309.15806},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2309.15806v4},
}