1 code implementation • 6 Oct 2023 • Amitayush Thakur, George Tsoukalas, Yeming Wen, Jimmy Xin, Swarat Chaudhuri
We evaluate our implementation of COPRA on the miniF2F benchmark for Lean and a set of Coq tasks from the CompCert project.
Ranked #2 on Automated Theorem Proving on miniF2F-test