A Complete Proof Synthesis Method for the Cube of Type Systems.
Gilles DowekPublished in: CoRR (2023)
Keyphrases
- high precision
- synthetic data
- preprocessing
- prior knowledge
- feature set
- support vector machine
- detection method
- optimization algorithm
- semi supervised
- mathematical model
- segmentation method
- complex systems
- theoretical analysis
- feature extraction
- management system
- computational cost
- cost function
- objective function
- similarity measure