Update to new Proverbot version
Opened this issue · 0 comments
AishwaryaSivaraman commented
For the oopsla submission we use an older version of proverbot (a39b71f8304994cb1b6be03b8e8b5efcb0b49404). We need to update this to the latest version of proverbot and check if we get similar or better performance on the benchmark lemmas.