The is the official implementation of "Lyra: Orchestrating Dual Correction in Automated Theorem Proving"
- ✅ July. 2, 2024. 💥 We upload the code of Lyra. And we are polishing the code.
- ✅ Sep. 12, 2023. 💥 The code is based on Draft, Sketch and Prove (DSP, ICLR 2023). The Lyra Tool Correction and Conjecture Correction implementation are already shown in the Arxiv Paper. If there is any question or problem, please let us know.