Selecting Theorem Prover Configurations Based on Problem Features
Yingdi · Zenodo (CERN European Organization for Nuclear Research) · 2021
This archive contains the raw evaluation results and scripts associated with the experiment described in the bachelor thesis "Selecting Theorem Prover Configurations Based on Problem Features" by Yingdi Xie (Vrije Universiteit Amsterdam).