PaMpeR: proof method recommendation system for Isabelle/HOL.
Yutaka NagashimaYilun HePublished in: ASE (2018)
Keyphrases
- clustering method
- optimization algorithm
- neural network
- high precision
- mutual information
- computational cost
- significant improvement
- data sets
- theorem prover
- optimization method
- segmentation method
- objective function
- medical images
- input data
- face recognition
- detection method
- theoretical analysis
- synthetic data
- image processing
- recommender systems
- probabilistic model
- pairwise
- experimental evaluation
- dynamic programming