Selecting Theorem Prover Configurations Based on Problem Features
收藏NIAID Data Ecosystem2026-03-12 收录
数据链接：
官方服务：
资源简介：
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
