QNP abstraction generation
Benchmarks
Dataset NameSOTA methodMetricTrendResultsLast Updated
0Coverage Rate
8
Feb 26, 2026
0Coverage Rate
8
Feb 26, 2026
1Coverage Rate
8
Feb 26, 2026
40Coverage Rate
8
Feb 26, 2026
85Coverage Rate
8
Feb 26, 2026
100Coverage Rate
8
Feb 26, 2026
100Coverage Rate
8
Feb 26, 2026