Selecting Theorem Prover Configurations Based on Problem Features
收藏NIAID Data Ecosystem2026-03-12 收录
下载链接：
https://zenodo.org/record/5082965
下载链接
链接失效反馈官方服务：
资源简介：
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).
创建时间：
2021-07-09
