The is the official implementation of "Lyra: Orchestrating Dual Correction in Automated Theorem Proving"
[Sep 12, 2023] We will upload the implementation soon. Actually, 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.