ANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification.
Marco CasadioLuca ArnaboldiMatthew L. DaggittOmri IsacTanvi DinkarDaniel KienitzVerena RieserEkaterina KomendantskayaPublished in: FoMLAS@CAV (2023)
Keyphrases
- high accuracy
- cost function
- dynamic programming
- optimization algorithm
- synthetic data
- machine learning
- objective function
- high precision
- segmentation method
- experimental evaluation
- computational cost
- detection method
- clustering method
- input data
- computationally efficient
- fully automatic
- theoretical analysis
- mutual information
- classification accuracy
- feature space
- preprocessing
- computational complexity
- similarity measure