Formalizing Coppersmith's Method in Isabelle/HOL.
Katherine KosaianYong Kiam TanKristin Yvonne RozierPublished in: CICM (2024)
Keyphrases
- main contribution
- high precision
- pairwise
- prior knowledge
- significant improvement
- optimization algorithm
- dynamic programming
- computational cost
- high accuracy
- theorem prover
- fully automatic
- detection method
- support vector machine svm
- preprocessing
- computationally efficient
- theoretical analysis
- edge detection
- support vector machine
- cost function
- artificial neural networks
- segmentation method
- multiscale
- feature extraction