Simple Dataset for Proof Method Recommendation in Isabelle/HOL.
Yutaka NagashimaPublished in: CICM (2020)
Keyphrases
- preprocessing
- experimental evaluation
- detection method
- objective function
- computational complexity
- support vector machine
- high accuracy
- pairwise
- significant improvement
- classification accuracy
- classification method
- object detection
- natural deduction
- high precision
- segmentation method
- synthetic data
- clustering method
- segmentation algorithm
- computationally efficient
- decision trees
- feature vectors
- similarity measure