OpenML
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.225, coverage: 3301, positives: 789, probability: 0.239, joint_entropy: 5.9844, pattern_team_auroc10: 0.6322,
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: 5.9887, pattern_team_auroc10: 0.6324,
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.2171, coverage: 2296, positives: 603, probability: 0.2626, joint_entropy: 6.7135, 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.201, coverage: 1731, positives: 488, probability: 0.2819, joint_entropy: 6.419, 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.1533, coverage: 1184, positives: 348, probability: 0.2939, joint_entropy: 5.7437, pattern_team_auroc10: 0.5693,
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.1533, coverage: 1184, positives: 348, probability: 0.2939, joint_entropy: 5.7437, pattern_team_auroc10: 0.5693,
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.1533, coverage: 1184, positives: 348, probability: 0.2939, joint_entropy: 5.7437, pattern_team_auroc10: 0.5693,
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.1533, coverage: 1184, positives: 348, probability: 0.2939, joint_entropy: 5.7437, pattern_team_auroc10: 0.5693,
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.1533, coverage: 1184, positives: 348, probability: 0.2939, joint_entropy: 5.7437, pattern_team_auroc10: 0.5693,
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.0905, pattern_team_auroc10: 0.6008,
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.2252, coverage: 3300, positives: 789, probability: 0.2391, joint_entropy: 5.8836, pattern_team_auroc10: 0.6348,
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.2106, coverage: 1750, positives: 500, probability: 0.2857, joint_entropy: 2.622, 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.1533, coverage: 1184, positives: 348, probability: 0.2939, joint_entropy: 5.7437, pattern_team_auroc10: 0.5693,
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.1533, coverage: 1184, positives: 348, probability: 0.2939, joint_entropy: 5.7437, pattern_team_auroc10: 0.5693,
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.1533, coverage: 1184, positives: 348, probability: 0.2939, joint_entropy: 5.7437, pattern_team_auroc10: 0.5693,
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.1533, coverage: 1184, positives: 348, probability: 0.2939, joint_entropy: 5.7437, pattern_team_auroc10: 0.5693,
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.1533, coverage: 1184, positives: 348, probability: 0.2939, joint_entropy: 5.7437, pattern_team_auroc10: 0.5693,
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.1533, coverage: 1184, positives: 348, probability: 0.2939, joint_entropy: 5.7437, pattern_team_auroc10: 0.5693,
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.1533, coverage: 1184, positives: 348, probability: 0.2939, joint_entropy: 5.7437, pattern_team_auroc10: 0.5693,
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.9423, pattern_team_auroc10: 0.602,
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: 6.5723, pattern_team_auroc10: 0.6242,
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: 6.6725, pattern_team_auroc10: 0.6299,
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.5596, pattern_team_auroc10: 0.6341,
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.211, coverage: 1759, positives: 502, probability: 0.2854, joint_entropy: 4.4642, pattern_team_auroc10: 0.596,
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.2013, coverage: 1482, positives: 444, probability: 0.2996, joint_entropy: 2.0168, pattern_team_auroc10: 0.597,
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.211, coverage: 1759, positives: 502, probability: 0.2854, joint_entropy: 3.8287, pattern_team_auroc10: 0.606,
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: 4.3676, pattern_team_auroc10: 0.598,
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.211, coverage: 1759, positives: 502, probability: 0.2854, joint_entropy: 4.1362, 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.211, coverage: 1759, positives: 502, probability: 0.2854, joint_entropy: 3.7052, pattern_team_auroc10: 0.6075,
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.211, coverage: 1759, positives: 502, probability: 0.2854, joint_entropy: 4.3146, pattern_team_auroc10: 0.5965,
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.2013, coverage: 1482, positives: 444, probability: 0.2996, joint_entropy: 2.0168, pattern_team_auroc10: 0.597,
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.211, coverage: 1759, positives: 502, probability: 0.2854, joint_entropy: 3.1248, pattern_team_auroc10: 0.6069,
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.1955, coverage: 1854, positives: 505, probability: 0.2724, joint_entropy: 6.2837, pattern_team_auroc10: 0.599,
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.3582, pattern_team_auroc10: 0.6015,
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.211, coverage: 1759, positives: 502, probability: 0.2854, joint_entropy: 3.1248, pattern_team_auroc10: 0.6069,
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: 4.4916, pattern_team_auroc10: 0.5987,
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.211, coverage: 1759, positives: 502, probability: 0.2854, joint_entropy: 4.385, pattern_team_auroc10: 0.5935,
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.211, coverage: 1759, positives: 502, probability: 0.2854, joint_entropy: 4.2455, pattern_team_auroc10: 0.6019,
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.211, coverage: 1759, positives: 502, probability: 0.2854, joint_entropy: 4.209, pattern_team_auroc10: 0.6005,
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.1955, coverage: 1854, positives: 505, probability: 0.2724, joint_entropy: 6.2837, pattern_team_auroc10: 0.599,
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.2106, coverage: 1750, positives: 500, probability: 0.2857, joint_entropy: 4.0035, pattern_team_auroc10: 0.6025,
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.2106, coverage: 1750, positives: 500, probability: 0.2857, joint_entropy: 4.0064, pattern_team_auroc10: 0.6026,
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: 4.3673, pattern_team_auroc10: 0.6009,
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.2106, coverage: 1750, positives: 500, probability: 0.2857, joint_entropy: 4.1007, pattern_team_auroc10: 0.606,
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.1955, coverage: 1854, positives: 505, probability: 0.2724, joint_entropy: 6.5348, pattern_team_auroc10: 0.599,
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.211, coverage: 1759, positives: 502, probability: 0.2854, joint_entropy: 4.1734, 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.211, coverage: 1759, positives: 502, probability: 0.2854, joint_entropy: 4.2662, pattern_team_auroc10: 0.5983,
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.2106, coverage: 1750, positives: 500, probability: 0.2857, joint_entropy: 3.9864, pattern_team_auroc10: 0.6047,
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.211, coverage: 1759, positives: 502, probability: 0.2854, joint_entropy: 4.2048, pattern_team_auroc10: 0.593,
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.3582, pattern_team_auroc10: 0.6015,
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.6486, pattern_team_auroc10: 0.5983,
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.6137, pattern_team_auroc10: 0.6018,
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.1461, coverage: 1883, positives: 466, probability: 0.2475, joint_entropy: 6.6737, pattern_team_auroc10: 0.5502,
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.1461, coverage: 1883, positives: 466, probability: 0.2475, joint_entropy: 6.6737, pattern_team_auroc10: 0.5502,
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.1461, coverage: 1883, positives: 466, probability: 0.2475, joint_entropy: 6.6737, pattern_team_auroc10: 0.5502,
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.119, coverage: 3907, positives: 802, probability: 0.2053, joint_entropy: 6.6339, pattern_team_auroc10: 0.5618,
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.119, coverage: 3907, positives: 802, probability: 0.2053, joint_entropy: 6.6339, pattern_team_auroc10: 0.5618,
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.119, coverage: 3907, positives: 802, probability: 0.2053, joint_entropy: 6.6339, pattern_team_auroc10: 0.5618,
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.119, coverage: 3907, positives: 802, probability: 0.2053, joint_entropy: 6.6339, pattern_team_auroc10: 0.5618,
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.2106, coverage: 1750, positives: 500, probability: 0.2857, joint_entropy: 4.1199, pattern_team_auroc10: 0.6029,
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.6759, pattern_team_auroc10: 0.598,
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.6137, pattern_team_auroc10: 0.6018,
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.211, coverage: 1759, positives: 502, probability: 0.2854, joint_entropy: 3.0426, 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.2171, coverage: 2296, positives: 603, probability: 0.2626, joint_entropy: 6.6869, pattern_team_auroc10: 0.6186,
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: 5.7878, pattern_team_auroc10: 0.6207,
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.8588, pattern_team_auroc10: 0.603,
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.211, coverage: 1759, positives: 502, probability: 0.2854, joint_entropy: 4.1983, pattern_team_auroc10: 0.617,
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.1533, coverage: 1184, positives: 348, probability: 0.2939, joint_entropy: 6.104, pattern_team_auroc10: 0.5645,
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.1533, coverage: 1184, positives: 348, probability: 0.2939, joint_entropy: 6.104, pattern_team_auroc10: 0.5645,
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.8588, pattern_team_auroc10: 0.603,
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.1533, coverage: 1184, positives: 348, probability: 0.2939, joint_entropy: 6.104, pattern_team_auroc10: 0.5645,
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.1533, coverage: 1184, positives: 348, probability: 0.2939, joint_entropy: 6.104, pattern_team_auroc10: 0.5645,
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.1533, coverage: 1184, positives: 348, probability: 0.2939, joint_entropy: 6.104, pattern_team_auroc10: 0.5645,
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.1533, coverage: 1184, positives: 348, probability: 0.2939, joint_entropy: 6.104, pattern_team_auroc10: 0.5645,
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.1533, coverage: 1184, positives: 348, probability: 0.2939, joint_entropy: 6.104, pattern_team_auroc10: 0.5645,
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.1533, coverage: 1184, positives: 348, probability: 0.2939, joint_entropy: 6.104, pattern_team_auroc10: 0.5645,
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.1533, coverage: 1184, positives: 348, probability: 0.2939, joint_entropy: 6.104, pattern_team_auroc10: 0.5645,
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.1533, coverage: 1184, positives: 348, probability: 0.2939, joint_entropy: 6.104, pattern_team_auroc10: 0.5645,
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.1533, coverage: 1184, positives: 348, probability: 0.2939, joint_entropy: 6.104, pattern_team_auroc10: 0.5645,
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.1533, coverage: 1184, positives: 348, probability: 0.2939, joint_entropy: 6.104, pattern_team_auroc10: 0.5645,
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.1533, coverage: 1184, positives: 348, probability: 0.2939, joint_entropy: 6.104, pattern_team_auroc10: 0.5645,
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.211, coverage: 1759, positives: 502, probability: 0.2854, joint_entropy: 2.9176, 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.203, coverage: 1451, positives: 440, probability: 0.3032, joint_entropy: 1.8445, pattern_team_auroc10: 0.6008,
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.2252, coverage: 3300, positives: 789, probability: 0.2391, joint_entropy: 5.8836, pattern_team_auroc10: 0.6348,
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.2106, coverage: 1750, positives: 500, probability: 0.2857, joint_entropy: 2.622, 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.1533, coverage: 1184, positives: 348, probability: 0.2939, joint_entropy: 6.104, pattern_team_auroc10: 0.5645,
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.1533, coverage: 1184, positives: 348, probability: 0.2939, joint_entropy: 6.104, pattern_team_auroc10: 0.5645,
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.1533, coverage: 1184, positives: 348, probability: 0.2939, joint_entropy: 6.104, pattern_team_auroc10: 0.5645,
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.4914, pattern_team_auroc10: 0.6106,
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.3778, pattern_team_auroc10: 0.6217,
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: 6.4491, pattern_team_auroc10: 0.6355,
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.0905, pattern_team_auroc10: 0.6008,
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.419, 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.1461, coverage: 1883, positives: 466, probability: 0.2475, joint_entropy: 6.6737, pattern_team_auroc10: 0.5502,
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.1461, coverage: 1883, positives: 466, probability: 0.2475, joint_entropy: 6.6737, pattern_team_auroc10: 0.5502,
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.2113, coverage: 1752, positives: 501, probability: 0.286, joint_entropy: 2.088, 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.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.2253, coverage: 1912, positives: 542, probability: 0.2835, joint_entropy: 6.5839, pattern_team_auroc10: 0.6303,
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.192, coverage: 1321, positives: 407, probability: 0.3081, joint_entropy: 2.0088, 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.1892, coverage: 1391, positives: 417, probability: 0.2998, joint_entropy: 2.98, pattern_team_auroc10: 0.5995,