PaMpeR: Proof Method Recommendation System for Isabelle/HOL.
Yutaka NagashimaYilun HePublished in: CoRR (2018)
Keyphrases
- preprocessing
- theorem prover
- significant improvement
- high accuracy
- synthetic data
- segmentation method
- experimental evaluation
- theoretical analysis
- computational cost
- cost function
- image processing
- natural deduction
- theorem proving
- feature set
- computationally efficient
- higher order
- optimization method
- high precision
- detection method
- detection algorithm
- data sets
- semi supervised
- classification accuracy
- probabilistic model
- dynamic programming
- pairwise
- decision trees
- learning algorithm