TY  - RPRT
TI  - Lyra: Orchestrating Dual Correction in Automated Theorem Proving
AU  - Chuanyang Zheng
AU  - Haiming Wang
AU  - Enze Xie
AU  - Zhengying Liu
AU  - Jiankai Sun
AU  - Huajian Xin
AU  - Jianhao Shen
AU  - Zhenguo Li
AU  - Yu Li
PY  - 2024
UR  - https://arxiv.org/abs/2309.15806
ID  - 2309.15806
ER  -