Share your thoughts, 1 month free Claude Pro on usSee more
WorkDL logo mark

Popularity-Similarity

Benchmarks

Task NameDataset NameSOTA ResultTrend
Unsat-core predictionPopularity-Similarity
Precision79.7
4
Unsat-core predictionPopularity-Similarity (hard)
Precision75.2
4
Unsat-core predictionPopularity-Similarity (medium)
Precision77.5
4
Unsat-core predictionPopularity-Similarity (easy)
Precision86.4
4
Showing 4 of 4 rows