Run
ID's
Sort: best match
1304 results
Filter results by:
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.2301, coverage: 1590, positives: 489, probability: 0.3075, quality: 0.2301, joint_entropy: 1.5118, pattern_team_auroc10: 0.6163,
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.1892, coverage: 1391, positives: 417, probability: 0.2998, joint_entropy: 2.7985, pattern_team_auroc10: 0.6023,
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.2254, coverage: 1400, positives: 451, probability: 0.3221, joint_entropy: 1.8457, pattern_team_auroc10: 0.6167,
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.2306, coverage: 1599, positives: 491, probability: 0.3071, joint_entropy: 1.6562, pattern_team_auroc10: 0.6163,
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.2301, coverage: 1590, positives: 489, probability: 0.3075, joint_entropy: 1.651, pattern_team_auroc10: 0.6211,
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.2306, coverage: 1599, positives: 491, probability: 0.3071, quality: 0.2306, joint_entropy: 1.7886, pattern_team_auroc10: 0.6202,
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.2048, coverage: 1004, positives: 362, probability: 0.3606, joint_entropy: 4.3267, pattern_team_auroc10: 0.6086,
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.2301, coverage: 1590, positives: 489, probability: 0.3075, joint_entropy: 1.6419, pattern_team_auroc10: 0.6212,
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.2454, coverage: 1620, positives: 508, probability: 0.3136, joint_entropy: 5.8064, pattern_team_auroc10: 0.6395,
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.2237, coverage: 3212, positives: 772, probability: 0.2403, joint_entropy: 6.537, pattern_team_auroc10: 0.6393,
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.1598, coverage: 1022, positives: 325, probability: 0.318, joint_entropy: 4.7811, pattern_team_auroc10: 0.5938,
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.1598, coverage: 1022, positives: 325, probability: 0.318, quality: 0.1598, joint_entropy: 4.7811, pattern_team_auroc10: 0.5938,
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.1598, coverage: 1022, positives: 325, probability: 0.318, joint_entropy: 4.7811, pattern_team_auroc10: 0.5938,
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.2552, coverage: 2531, positives: 679, probability: 0.2683, joint_entropy: 5.4965, pattern_team_auroc10: 0.6446,
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.2288, coverage: 2091, positives: 577, probability: 0.2759, quality: 0.2288, joint_entropy: 5.5741, pattern_team_auroc10: 0.612,
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.225, coverage: 3301, positives: 789, probability: 0.239, joint_entropy: 5.5782, pattern_team_auroc10: 0.6342,
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.2301, coverage: 1590, positives: 489, probability: 0.3075, quality: 0.2301, joint_entropy: 1.5007, pattern_team_auroc10: 0.6164,
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.1892, coverage: 1391, positives: 417, probability: 0.2998, quality: 0.1892, joint_entropy: 2.2604, pattern_team_auroc10: 0.5989,
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.2121, coverage: 1265, positives: 415, probability: 0.3281, quality: 0.2121, joint_entropy: 1.4574, pattern_team_auroc10: 0.6078,
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.2137, coverage: 1296, positives: 422, probability: 0.3256, joint_entropy: 1.1614, pattern_team_auroc10: 0.6089,
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.2306, coverage: 1599, positives: 491, probability: 0.3071, joint_entropy: 1.6263, pattern_team_auroc10: 0.6214,
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.2243, coverage: 3316, positives: 791, probability: 0.2385, joint_entropy: 6.6259, pattern_team_auroc10: 0.6292,
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.2187, coverage: 2288, positives: 603, probability: 0.2635, joint_entropy: 6.67, pattern_team_auroc10: 0.6214,
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.218, coverage: 2381, positives: 619, probability: 0.26, joint_entropy: 6.5914, pattern_team_auroc10: 0.6249,
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.2237, coverage: 3212, positives: 772, probability: 0.2403, quality: 0.2237, joint_entropy: 6.2871, pattern_team_auroc10: 0.6249,
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.201, coverage: 1731, positives: 488, probability: 0.2819, joint_entropy: 6.4149, pattern_team_auroc10: 0.6039,
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.1598, coverage: 1022, positives: 325, probability: 0.318, joint_entropy: 4.7811, pattern_team_auroc10: 0.5938,
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.1598, coverage: 1022, positives: 325, probability: 0.318, joint_entropy: 6.2326, pattern_team_auroc10: 0.5587,
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.1598, coverage: 1022, positives: 325, probability: 0.318, joint_entropy: 6.2326, pattern_team_auroc10: 0.5587,
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.1598, coverage: 1022, positives: 325, probability: 0.318, joint_entropy: 6.2326, pattern_team_auroc10: 0.5587,
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.1598, coverage: 1022, positives: 325, probability: 0.318, quality: 0.1598, joint_entropy: 4.8567, pattern_team_auroc10: 0.5947,
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.1598, coverage: 1022, positives: 325, probability: 0.318, joint_entropy: 4.8567, pattern_team_auroc10: 0.5947,
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.2115, coverage: 1313, positives: 423, probability: 0.3222, joint_entropy: 1.1378, pattern_team_auroc10: 0.6079,
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.1598, coverage: 1022, positives: 325, probability: 0.318, joint_entropy: 4.8567, pattern_team_auroc10: 0.5947,
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.1598, coverage: 1022, positives: 325, probability: 0.318, quality: 0.1598, joint_entropy: 4.8567, pattern_team_auroc10: 0.5947,
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.2254, coverage: 1400, positives: 451, probability: 0.3221, quality: 0.2254, joint_entropy: 1.8867, pattern_team_auroc10: 0.6201,
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.2115, coverage: 1313, positives: 423, probability: 0.3222, joint_entropy: 1.1378, pattern_team_auroc10: 0.6079,
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.219, coverage: 1365, positives: 439, probability: 0.3216, joint_entropy: 2.0951, pattern_team_auroc10: 0.6174,
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.2121, coverage: 1265, positives: 415, probability: 0.3281, joint_entropy: 1.4574, pattern_team_auroc10: 0.6078,
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.2148, coverage: 1296, positives: 423, probability: 0.3264, quality: 0.2148, joint_entropy: 0.9324, pattern_team_auroc10: 0.6074,
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.2048, coverage: 1004, positives: 362, probability: 0.3606, joint_entropy: 4.3267, pattern_team_auroc10: 0.6086,
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.2137, coverage: 1296, positives: 422, probability: 0.3256, joint_entropy: 1.1614, pattern_team_auroc10: 0.6089,
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.2306, coverage: 1599, positives: 491, probability: 0.3071, joint_entropy: 1.4871, pattern_team_auroc10: 0.6167,
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.1892, coverage: 1391, positives: 417, probability: 0.2998, joint_entropy: 2.7206, pattern_team_auroc10: 0.6022,
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.218, coverage: 1454, positives: 454, probability: 0.3122, joint_entropy: 2.5895, pattern_team_auroc10: 0.6177,
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.219, coverage: 1365, positives: 439, probability: 0.3216, joint_entropy: 2.0874, pattern_team_auroc10: 0.6174,
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.2254, coverage: 1400, positives: 451, probability: 0.3221, joint_entropy: 1.8489, pattern_team_auroc10: 0.6201,
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.219, coverage: 1365, positives: 439, probability: 0.3216, quality: 0.219, joint_entropy: 1.9367, pattern_team_auroc10: 0.6163,
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.2254, coverage: 1400, positives: 451, probability: 0.3221, joint_entropy: 1.8443, pattern_team_auroc10: 0.619,
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.218, coverage: 1454, positives: 454, probability: 0.3122, quality: 0.218, joint_entropy: 2.5097, pattern_team_auroc10: 0.6188,
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.217, coverage: 920, positives: 358, probability: 0.3891, quality: 0.217, joint_entropy: 3.7726, pattern_team_auroc10: 0.6211,
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.2375, coverage: 1356, positives: 454, probability: 0.3348, joint_entropy: 4.1505, pattern_team_auroc10: 0.6353,
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.1598, coverage: 1022, positives: 325, probability: 0.318, joint_entropy: 4.8567, pattern_team_auroc10: 0.5947,
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.2575, coverage: 1997, positives: 586, probability: 0.2934, quality: 0.2575, joint_entropy: 4.6099, pattern_team_auroc10: 0.636,
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.2652, coverage: 2228, positives: 634, probability: 0.2846, joint_entropy: 4.9045, pattern_team_auroc10: 0.6493,
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.2711, coverage: 2367, positives: 664, probability: 0.2805, joint_entropy: 3.6265, pattern_team_auroc10: 0.6436,
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.248, coverage: 2382, positives: 646, probability: 0.2712, quality: 0.248, joint_entropy: 4.9919, pattern_team_auroc10: 0.6438,
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.217, coverage: 920, positives: 358, probability: 0.3891, joint_entropy: 4.7502, pattern_team_auroc10: 0.6164,
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.2586, coverage: 2250, positives: 632, probability: 0.2809, quality: 0.2586, joint_entropy: 5.1241, pattern_team_auroc10: 0.6488,
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.2762, coverage: 2319, positives: 660, probability: 0.2846, joint_entropy: 4.0784, pattern_team_auroc10: 0.6508,
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.2722, coverage: 2322, positives: 657, probability: 0.2829, quality: 0.2722, joint_entropy: 2.7224, pattern_team_auroc10: 0.6482,
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.2575, coverage: 1997, positives: 586, probability: 0.2934, quality: 0.2575, joint_entropy: 5.4589, pattern_team_auroc10: 0.6436,
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.1598, coverage: 1022, positives: 325, probability: 0.318, joint_entropy: 4.2308, pattern_team_auroc10: 0.5964,
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.2254, coverage: 1400, positives: 451, probability: 0.3221, quality: 0.2254, joint_entropy: 1.8843, pattern_team_auroc10: 0.6211,
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.1598, coverage: 1022, positives: 325, probability: 0.318, quality: 0.1598, joint_entropy: 4.2308, pattern_team_auroc10: 0.5964,
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.1598, coverage: 1022, positives: 325, probability: 0.318, joint_entropy: 4.2308, pattern_team_auroc10: 0.5964,
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.1598, coverage: 1022, positives: 325, probability: 0.318, quality: 0.1598, joint_entropy: 4.2308, pattern_team_auroc10: 0.5964,
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.1598, coverage: 1022, positives: 325, probability: 0.318, quality: 0.1598, joint_entropy: 4.2308, pattern_team_auroc10: 0.5964,
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.217, coverage: 920, positives: 358, probability: 0.3891, quality: 0.217, joint_entropy: 3.7726, pattern_team_auroc10: 0.6211,
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.2554, coverage: 2530, positives: 679, probability: 0.2684, quality: 0.2554, joint_entropy: 4.5267, pattern_team_auroc10: 0.6494,
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.2148, coverage: 1313, positives: 426, probability: 0.3244, joint_entropy: 1.2929, pattern_team_auroc10: 0.6104,
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.2208, coverage: 1676, positives: 496, probability: 0.2959, quality: 0.2208, joint_entropy: 2.0189, pattern_team_auroc10: 0.6184,
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.2375, coverage: 1356, positives: 454, probability: 0.3348, quality: 0.2375, joint_entropy: 4.1454, pattern_team_auroc10: 0.6353,
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.1598, coverage: 1022, positives: 325, probability: 0.318, quality: 0.1598, joint_entropy: 4.2308, pattern_team_auroc10: 0.5964,
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.1598, coverage: 1022, positives: 325, probability: 0.318, joint_entropy: 4.2308, pattern_team_auroc10: 0.5964,
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.2306, coverage: 1599, positives: 491, probability: 0.3071, joint_entropy: 1.4499, pattern_team_auroc10: 0.6163,
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.2301, coverage: 1590, positives: 489, probability: 0.3075, quality: 0.2301, joint_entropy: 1.4862, pattern_team_auroc10: 0.6175,
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.2795, coverage: 2027, positives: 611, probability: 0.3014, joint_entropy: 4.1732, pattern_team_auroc10: 0.6559,
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.248, coverage: 2382, positives: 646, probability: 0.2712, quality: 0.248, joint_entropy: 5.0613, pattern_team_auroc10: 0.6476,
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.2762, coverage: 2319, positives: 660, probability: 0.2846, joint_entropy: 4.8351, pattern_team_auroc10: 0.6476,
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.1598, coverage: 1022, positives: 325, probability: 0.318, joint_entropy: 4.2308, pattern_team_auroc10: 0.5964,
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.2155, coverage: 1315, positives: 427, probability: 0.3247, quality: 0.2155, joint_entropy: 0.9175, pattern_team_auroc10: 0.608,
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.1598, coverage: 1022, positives: 325, probability: 0.318, joint_entropy: 4.2308, pattern_team_auroc10: 0.5964,
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.1598, coverage: 1022, positives: 325, probability: 0.318, quality: 0.1598, joint_entropy: 4.2308, pattern_team_auroc10: 0.5964,
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.1598, coverage: 1022, positives: 325, probability: 0.318, quality: 0.1598, joint_entropy: 4.2308, pattern_team_auroc10: 0.5964,
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.1598, coverage: 1022, positives: 325, probability: 0.318, quality: 0.1598, joint_entropy: 4.2308, pattern_team_auroc10: 0.5964,
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.217, coverage: 920, positives: 358, probability: 0.3891, quality: 0.217, joint_entropy: 4.7502, pattern_team_auroc10: 0.6164,
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.1598, coverage: 1022, positives: 325, probability: 0.318, joint_entropy: 4.2308, pattern_team_auroc10: 0.5964,
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.1598, coverage: 1022, positives: 325, probability: 0.318, quality: 0.1598, joint_entropy: 4.2308, pattern_team_auroc10: 0.5964,
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.1598, coverage: 1022, positives: 325, probability: 0.318, quality: 0.1598, joint_entropy: 4.2308, pattern_team_auroc10: 0.5964,
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.1598, coverage: 1022, positives: 325, probability: 0.318, joint_entropy: 4.2308, pattern_team_auroc10: 0.5964,
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.2797, coverage: 2026, positives: 611, probability: 0.3016, joint_entropy: 4.2633, pattern_team_auroc10: 0.6566,
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.2797, coverage: 2026, positives: 611, probability: 0.3016, joint_entropy: 4.2717, pattern_team_auroc10: 0.657,
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.2795, coverage: 2027, positives: 611, probability: 0.3014, quality: 0.2795, joint_entropy: 4.1213, pattern_team_auroc10: 0.6541,
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.1598, coverage: 1022, positives: 325, probability: 0.318, joint_entropy: 4.7811, pattern_team_auroc10: 0.5938,
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.1598, coverage: 1022, positives: 325, probability: 0.318, quality: 0.1598, joint_entropy: 4.7811, pattern_team_auroc10: 0.5938,
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.203, coverage: 1451, positives: 440, probability: 0.3032, joint_entropy: 1.2442, pattern_team_auroc10: 0.6013,
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.1598, coverage: 1022, positives: 325, probability: 0.318, joint_entropy: 4.7811, pattern_team_auroc10: 0.5938,
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.1598, coverage: 1022, positives: 325, probability: 0.318, joint_entropy: 4.7811, pattern_team_auroc10: 0.5938,
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.1598, coverage: 1022, positives: 325, probability: 0.318, joint_entropy: 4.7811, pattern_team_auroc10: 0.5938,