Code included for reproducibility.
In the ipynb folder includes the notebooks we used for generating the data under the Experiments section of the paper.
You can find the raw proofs and "corrected_proofs" under the data folder.
The utils module is included in the repo and is required for the ipynb/eval_pipeline_with_trials.ipynb notebook.
distribution
Graph and stats are generated using ipynb/ensemble_evaluation_miniF2F_test_full.ipynb using the data from data/proof_outcomes_by_problem.json