Simple Dataset for Proof Method Recommendation in Isabelle/HOL (Dataset Description).
Yutaka NagashimaPublished in: CoRR (2020)
Keyphrases
- preprocessing
- similarity measure
- experimental evaluation
- high accuracy
- feature set
- high precision
- objective function
- computational complexity
- pairwise
- support vector machine svm
- synthetic data
- classification method
- segmentation method
- theorem prover
- data sets
- experimental study
- benchmark datasets
- clustering method
- high level