Lyra: Orchestrating Dual Correction in Automated Theorem Proving

Open Webpage

Chuanyang Zheng, Haiming Wang, Enze Xie, Zhengying Liu, Jiankai Sun, Huajian Xin, Jianhao Shen, Zhenguo Li, Yu Li

Published: 01 Jan 2024, Last Modified: 17 Jan 2025Trans. Mach. Learn. Res. 2024EveryoneRevisionsBibTeXCC BY-SA 4.0