Task
Subgroup Discovery on first-order-theorem-proving

Subgroup Discovery on first-order-theorem-proving

Task 56507 Subgroup Discovery first-order-theorem-proving 1312 runs submitted
0 likes downloaded by 0 people , 0 total downloads 0 issues
Visibility: Public
Issue #Downvotes for this reason By


Metric:

1312 Runs

Fetching data
Note: Chart is limited to the 100 best flows, and the 100 best runs for each flow.
Fetching data
Search runs in more detail
ID's
Sort: most recent
1312 results
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2669, coverage: 720, positives: 223, probability: 0.3097, joint_entropy: 2.9801, pattern_team_auroc10: 0.6675,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2649, coverage: 741, positives: 224, probability: 0.3023, joint_entropy: 3.3489, pattern_team_auroc10: 0.6696,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3777, coverage: 1239, positives: 338, probability: 0.2728, joint_entropy: 0.9237, pattern_team_auroc10: 0.6888,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3777, coverage: 1239, positives: 338, probability: 0.2728, quality: 0.3777, joint_entropy: 1.2944, pattern_team_auroc10: 0.6902,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3773, coverage: 1241, positives: 338, probability: 0.2724, joint_entropy: 0.9617, pattern_team_auroc10: 0.6872,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3725, coverage: 1238, positives: 335, probability: 0.2706, quality: 0.3725, joint_entropy: 1.1129, pattern_team_auroc10: 0.6867,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3707, coverage: 1228, positives: 333, probability: 0.2712, joint_entropy: 1.2828, pattern_team_auroc10: 0.686,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.381, coverage: 1417, positives: 358, probability: 0.2526, quality: 0.381, joint_entropy: 1.5354, pattern_team_auroc10: 0.6922,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3657, coverage: 1285, positives: 336, probability: 0.2615, quality: 0.3657, joint_entropy: 2.0644, pattern_team_auroc10: 0.6882,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3599, coverage: 1258, positives: 330, probability: 0.2623, joint_entropy: 2.2408, pattern_team_auroc10: 0.6859,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3301, coverage: 1118, positives: 299, probability: 0.2674, quality: 0.3301, joint_entropy: 3.9251, pattern_team_auroc10: 0.6818,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3301, coverage: 1118, positives: 299, probability: 0.2674, joint_entropy: 5.0054, pattern_team_auroc10: 0.6691,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3773, coverage: 1241, positives: 338, probability: 0.2724, joint_entropy: 1.3008, pattern_team_auroc10: 0.6883,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3725, coverage: 1238, positives: 335, probability: 0.2706, quality: 0.3725, joint_entropy: 1.3261, pattern_team_auroc10: 0.6862,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3707, coverage: 1228, positives: 333, probability: 0.2712, quality: 0.3707, joint_entropy: 1.308, pattern_team_auroc10: 0.6859,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.381, coverage: 1417, positives: 358, probability: 0.2526, joint_entropy: 1.7103, pattern_team_auroc10: 0.6904,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3657, coverage: 1285, positives: 336, probability: 0.2615, joint_entropy: 2.0319, pattern_team_auroc10: 0.6861,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3599, coverage: 1258, positives: 330, probability: 0.2623, joint_entropy: 2.1921, pattern_team_auroc10: 0.6834,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3301, coverage: 1118, positives: 299, probability: 0.2674, quality: 0.3301, joint_entropy: 3.9666, pattern_team_auroc10: 0.6793,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3301, coverage: 1118, positives: 299, probability: 0.2674, joint_entropy: 5.0054, pattern_team_auroc10: 0.6691,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2633, coverage: 740, positives: 223, probability: 0.3014, joint_entropy: 2.1065, pattern_team_auroc10: 0.6274,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2633, coverage: 740, positives: 223, probability: 0.3014, joint_entropy: 2.1065, pattern_team_auroc10: 0.6274,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2633, coverage: 740, positives: 223, probability: 0.3014, quality: 0.2633, joint_entropy: 2.1065, pattern_team_auroc10: 0.6274,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2633, coverage: 740, positives: 223, probability: 0.3014, joint_entropy: 2.1065, pattern_team_auroc10: 0.6274,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2633, coverage: 740, positives: 223, probability: 0.3014, quality: 0.2633, joint_entropy: 2.1065, pattern_team_auroc10: 0.6274,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2633, coverage: 740, positives: 223, probability: 0.3014, quality: 0.2633, joint_entropy: 2.1065, pattern_team_auroc10: 0.6274,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2633, coverage: 740, positives: 223, probability: 0.3014, joint_entropy: 2.1065, pattern_team_auroc10: 0.6274,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2633, coverage: 740, positives: 223, probability: 0.3014, quality: 0.2633, joint_entropy: 2.1065, pattern_team_auroc10: 0.6274,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2633, coverage: 740, positives: 223, probability: 0.3014, quality: 0.2633, joint_entropy: 2.1065, pattern_team_auroc10: 0.6274,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2633, coverage: 740, positives: 223, probability: 0.3014, joint_entropy: 2.1065, pattern_team_auroc10: 0.6274,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2633, coverage: 740, positives: 223, probability: 0.3014, quality: 0.2633, joint_entropy: 2.1065, pattern_team_auroc10: 0.6274,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2633, coverage: 740, positives: 223, probability: 0.3014, joint_entropy: 2.1065, pattern_team_auroc10: 0.6274,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3256, coverage: 1427, positives: 328, probability: 0.2299, quality: 0.3256, joint_entropy: 6.3365, pattern_team_auroc10: 0.6914,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3158, coverage: 1569, positives: 337, probability: 0.2148, quality: 0.3158, joint_entropy: 5.6507, pattern_team_auroc10: 0.6734,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3555, coverage: 1449, positives: 347, probability: 0.2395, joint_entropy: 1.3117, pattern_team_auroc10: 0.6815,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3616, coverage: 1994, positives: 406, probability: 0.2036, quality: 0.3616, joint_entropy: 5.4501, pattern_team_auroc10: 0.7046,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3605, coverage: 1990, positives: 405, probability: 0.2035, quality: 0.3605, joint_entropy: 3.6513, pattern_team_auroc10: 0.7148,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3613, coverage: 2133, positives: 420, probability: 0.1969, quality: 0.3613, joint_entropy: 3.8003, pattern_team_auroc10: 0.7189,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3877, coverage: 1586, positives: 379, probability: 0.239, quality: 0.3877, joint_entropy: 3.6575, pattern_team_auroc10: 0.7044,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.4007, coverage: 1583, positives: 386, probability: 0.2438, quality: 0.4007, joint_entropy: 3.3578, pattern_team_auroc10: 0.7117,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.4032, coverage: 1579, positives: 387, probability: 0.2451, quality: 0.4032, joint_entropy: 4.3599, pattern_team_auroc10: 0.7208,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.4032, coverage: 1579, positives: 387, probability: 0.2451, quality: 0.4032, joint_entropy: 4.6494, pattern_team_auroc10: 0.7231,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3888, coverage: 2168, positives: 439, probability: 0.2025, quality: 0.3888, joint_entropy: 4.4219, pattern_team_auroc10: 0.7168,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3403, coverage: 1454, positives: 339, probability: 0.2331, quality: 0.3403, joint_entropy: 2.6179, pattern_team_auroc10: 0.6783,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3886, coverage: 1571, positives: 378, probability: 0.2406, quality: 0.3886, joint_entropy: 4.5164, pattern_team_auroc10: 0.7306,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3907, coverage: 1589, positives: 381, probability: 0.2398, joint_entropy: 4.7919, pattern_team_auroc10: 0.719,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.4045, coverage: 1778, positives: 408, probability: 0.2295, joint_entropy: 4.2488, pattern_team_auroc10: 0.7092,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.4002, coverage: 1772, positives: 405, probability: 0.2286, quality: 0.4002, joint_entropy: 4.3179, pattern_team_auroc10: 0.7249,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.4017, coverage: 1519, positives: 380, probability: 0.2502, quality: 0.4017, joint_entropy: 4.6441, pattern_team_auroc10: 0.7212,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.4032, coverage: 1579, positives: 387, probability: 0.2451, joint_entropy: 4.6353, pattern_team_auroc10: 0.7244,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3888, coverage: 2168, positives: 439, probability: 0.2025, joint_entropy: 4.7708, pattern_team_auroc10: 0.7161,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3403, coverage: 1454, positives: 339, probability: 0.2331, joint_entropy: 2.6179, pattern_team_auroc10: 0.6783,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2633, coverage: 740, positives: 223, probability: 0.3014, quality: 0.2633, joint_entropy: 1.3231, pattern_team_auroc10: 0.6312,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2633, coverage: 740, positives: 223, probability: 0.3014, quality: 0.2633, joint_entropy: 1.3231, pattern_team_auroc10: 0.6312,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2633, coverage: 740, positives: 223, probability: 0.3014, quality: 0.2633, joint_entropy: 1.3231, pattern_team_auroc10: 0.6312,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2633, coverage: 740, positives: 223, probability: 0.3014, joint_entropy: 1.3231, pattern_team_auroc10: 0.6312,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2633, coverage: 740, positives: 223, probability: 0.3014, quality: 0.2633, joint_entropy: 1.3231, pattern_team_auroc10: 0.6312,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2633, coverage: 740, positives: 223, probability: 0.3014, quality: 0.2633, joint_entropy: 1.3231, pattern_team_auroc10: 0.6312,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2633, coverage: 740, positives: 223, probability: 0.3014, quality: 0.2633, joint_entropy: 1.3231, pattern_team_auroc10: 0.6312,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2633, coverage: 740, positives: 223, probability: 0.3014, joint_entropy: 1.3231, pattern_team_auroc10: 0.6312,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2633, coverage: 740, positives: 223, probability: 0.3014, quality: 0.2633, joint_entropy: 1.3231, pattern_team_auroc10: 0.6312,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2633, coverage: 740, positives: 223, probability: 0.3014, quality: 0.2633, joint_entropy: 1.3231, pattern_team_auroc10: 0.6312,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2633, coverage: 740, positives: 223, probability: 0.3014, quality: 0.2633, joint_entropy: 1.3231, pattern_team_auroc10: 0.6312,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2633, coverage: 740, positives: 223, probability: 0.3014, joint_entropy: 1.3231, pattern_team_auroc10: 0.6312,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2633, coverage: 740, positives: 223, probability: 0.3014, quality: 0.2633, joint_entropy: 1.3231, pattern_team_auroc10: 0.6312,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2633, coverage: 740, positives: 223, probability: 0.3014, quality: 0.2633, joint_entropy: 1.3231, pattern_team_auroc10: 0.6312,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2633, coverage: 740, positives: 223, probability: 0.3014, quality: 0.2633, joint_entropy: 1.3231, pattern_team_auroc10: 0.6312,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2633, coverage: 740, positives: 223, probability: 0.3014, joint_entropy: 1.3231, pattern_team_auroc10: 0.6312,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2633, coverage: 740, positives: 223, probability: 0.3014, quality: 0.2633, joint_entropy: 1.3231, pattern_team_auroc10: 0.6312,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2633, coverage: 740, positives: 223, probability: 0.3014, quality: 0.2633, joint_entropy: 1.3231, pattern_team_auroc10: 0.6312,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3555, coverage: 1449, positives: 347, probability: 0.2395, joint_entropy: 1.3072, pattern_team_auroc10: 0.6816,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3616, coverage: 1994, positives: 406, probability: 0.2036, quality: 0.3616, joint_entropy: 5.4501, pattern_team_auroc10: 0.7046,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3551, coverage: 1451, positives: 347, probability: 0.2391, joint_entropy: 2.9947, pattern_team_auroc10: 0.6901,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3605, coverage: 1990, positives: 405, probability: 0.2035, joint_entropy: 3.9172, pattern_team_auroc10: 0.7191,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3877, coverage: 1586, positives: 379, probability: 0.239, joint_entropy: 2.3643, pattern_team_auroc10: 0.7055,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.386, coverage: 1448, positives: 364, probability: 0.2514, joint_entropy: 4.0715, pattern_team_auroc10: 0.7176,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3849, coverage: 1807, positives: 400, probability: 0.2214, quality: 0.3849, joint_entropy: 4.2831, pattern_team_auroc10: 0.7147,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3589, coverage: 2058, positives: 411, probability: 0.1997, joint_entropy: 5.7331, pattern_team_auroc10: 0.6984,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3223, coverage: 2298, positives: 415, probability: 0.1806, joint_entropy: 6.3225, pattern_team_auroc10: 0.6923,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3345, coverage: 1486, positives: 339, probability: 0.2281, joint_entropy: 3.485, pattern_team_auroc10: 0.6883,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3605, coverage: 1990, positives: 405, probability: 0.2035, quality: 0.3605, joint_entropy: 5.4984, pattern_team_auroc10: 0.7053,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3605, coverage: 1990, positives: 405, probability: 0.2035, joint_entropy: 5.579, pattern_team_auroc10: 0.7062,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3605, coverage: 1990, positives: 405, probability: 0.2035, joint_entropy: 5.571, pattern_team_auroc10: 0.705,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3561, coverage: 1926, positives: 396, probability: 0.2056, quality: 0.3561, joint_entropy: 5.4773, pattern_team_auroc10: 0.6985,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3589, coverage: 2058, positives: 411, probability: 0.1997, joint_entropy: 5.7646, pattern_team_auroc10: 0.7014,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3589, coverage: 2058, positives: 411, probability: 0.1997, quality: 0.3589, joint_entropy: 5.8801, pattern_team_auroc10: 0.6992,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3256, coverage: 1427, positives: 328, probability: 0.2299, quality: 0.3256, joint_entropy: 6.3428, pattern_team_auroc10: 0.7022,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3345, coverage: 1486, positives: 339, probability: 0.2281, quality: 0.3345, joint_entropy: 3.5059, pattern_team_auroc10: 0.6788,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3555, coverage: 1449, positives: 347, probability: 0.2395, joint_entropy: 1.829, pattern_team_auroc10: 0.6941,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3616, coverage: 1994, positives: 406, probability: 0.2036, joint_entropy: 5.4501, pattern_team_auroc10: 0.7046,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3817, coverage: 1501, positives: 367, probability: 0.2445, joint_entropy: 1.7929, pattern_team_auroc10: 0.7014,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.4028, coverage: 1503, positives: 379, probability: 0.2522, joint_entropy: 3.0476, pattern_team_auroc10: 0.7128,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.4037, coverage: 1586, positives: 388, probability: 0.2446, joint_entropy: 3.5258, pattern_team_auroc10: 0.7097,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.4007, coverage: 1583, positives: 386, probability: 0.2438, quality: 0.4007, joint_entropy: 3.6235, pattern_team_auroc10: 0.7108,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.4032, coverage: 1579, positives: 387, probability: 0.2451, quality: 0.4032, joint_entropy: 3.9557, pattern_team_auroc10: 0.7207,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.4032, coverage: 1579, positives: 387, probability: 0.2451, quality: 0.4032, joint_entropy: 4.3198, pattern_team_auroc10: 0.7309,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3831, coverage: 1572, positives: 375, probability: 0.2385, joint_entropy: 3.8778, pattern_team_auroc10: 0.7035,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3403, coverage: 1454, positives: 339, probability: 0.2331, quality: 0.3403, joint_entropy: 2.5835, pattern_team_auroc10: 0.6797,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.4093, coverage: 1634, positives: 396, probability: 0.2424, joint_entropy: 4.0218, pattern_team_auroc10: 0.7291,
Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving
0 likes - 0 downloads - 0 reach - cortana_quality: 0.4052, coverage: 1715, positives: 402, probability: 0.2344, quality: 0.4052, joint_entropy: 4.1482, pattern_team_auroc10: 0.727,

Metric:

Timeline

Plotting contribution timeline

Leaderboard

Rank Name Top Score Entries Highest rank

Note: The leaderboard ignores resubmissions of previous solutions, as well as parameter variations that do not improve performance.

Challenge

TBA

Given inputs

quality_measure Cortana Quality
source_data first-order-theorem-proving (1)
target_feature Class
target_value 5

Expected outputs

How to submit runs

Using your favorite machine learning environment

Download this task directly in your environment and automatically upload your results

OpenML bootcamp

From your own software

Use one of our APIs to download data from OpenML and upload your results

OpenML APIs