Measuring the Readability of Geometric Proofs: The Area Method Case.
Pedro QuaresmaPierluigi GrazianiPublished in: J. Autom. Reason. (2023)
Keyphrases
- cost function
- experimental evaluation
- pairwise
- theoretical analysis
- high order
- high precision
- significant improvement
- dynamic programming
- machine learning
- computational cost
- detection method
- computationally efficient
- geometric information
- support vector machine svm
- support vector machine
- probabilistic model
- prior knowledge
- preprocessing
- objective function