OpenML

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.3661, coverage: 2626, positives: 1641, probability: 0.6249, joint_entropy: 2.0063, pattern_team_auroc10: 0.6916,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.3651, coverage: 2608, positives: 1632, probability: 0.6258, quality: 0.3651, joint_entropy: 2.7849, pattern_team_auroc10: 0.6968,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.3651, coverage: 2608, positives: 1632, probability: 0.6258, joint_entropy: 2.3274, pattern_team_auroc10: 0.6916,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.3651, coverage: 2608, positives: 1632, probability: 0.6258, quality: 0.3651, joint_entropy: 2.178, pattern_team_auroc10: 0.6895,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.3651, coverage: 2608, positives: 1632, probability: 0.6258, joint_entropy: 2.178, pattern_team_auroc10: 0.6895,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.3661, coverage: 2626, positives: 1641, probability: 0.6249, joint_entropy: 2.1584, pattern_team_auroc10: 0.6929,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.3078, coverage: 1847, positives: 1229, probability: 0.6654, joint_entropy: 4.8413, pattern_team_auroc10: 0.6719,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.3706, coverage: 2627, positives: 1648, probability: 0.6273, joint_entropy: 1.8619, pattern_team_auroc10: 0.6934,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.3455, coverage: 2774, positives: 1672, probability: 0.6027, joint_entropy: 6.2933, pattern_team_auroc10: 0.688,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.2541, coverage: 2781, positives: 1539, probability: 0.5534, quality: 0.2541, joint_entropy: 4.3682, pattern_team_auroc10: 0.6544,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.2541, coverage: 2781, positives: 1539, probability: 0.5534, joint_entropy: 4.3682, pattern_team_auroc10: 0.6544,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.2541, coverage: 2781, positives: 1539, probability: 0.5534, quality: 0.2541, joint_entropy: 4.3682, pattern_team_auroc10: 0.6544,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.361, coverage: 2570, positives: 1610, probability: 0.6265, joint_entropy: 5.2899, pattern_team_auroc10: 0.6991,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.3771, coverage: 2726, positives: 1699, probability: 0.6233, joint_entropy: 4.4271, pattern_team_auroc10: 0.7019,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.3078, coverage: 1847, positives: 1229, probability: 0.6654, joint_entropy: 4.8674, pattern_team_auroc10: 0.6694,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.3455, coverage: 2774, positives: 1672, probability: 0.6027, joint_entropy: 5.2195, pattern_team_auroc10: 0.6962,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.3706, coverage: 2627, positives: 1648, probability: 0.6273, joint_entropy: 1.8619, pattern_team_auroc10: 0.6934,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.3099, coverage: 1837, positives: 1228, probability: 0.6685, joint_entropy: 4.2422, pattern_team_auroc10: 0.6782,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.309, coverage: 1414, positives: 1050, probability: 0.7426, joint_entropy: 2.3004, pattern_team_auroc10: 0.659,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.3651, coverage: 2608, positives: 1632, probability: 0.6258, joint_entropy: 2.2782, pattern_team_auroc10: 0.6951,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.3676, coverage: 2319, positives: 1515, probability: 0.6533, joint_entropy: 1.57, 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.372, coverage: 2629, positives: 1651, probability: 0.628, joint_entropy: 1.857, pattern_team_auroc10: 0.694,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.3489, coverage: 2752, positives: 1668, probability: 0.6061, quality: 0.3489, joint_entropy: 6.2265, pattern_team_auroc10: 0.6789,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.3442, coverage: 2558, positives: 1580, probability: 0.6177, joint_entropy: 6.4741, pattern_team_auroc10: 0.689,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.3213, coverage: 2733, positives: 1619, probability: 0.5924, quality: 0.3213, joint_entropy: 6.3618, pattern_team_auroc10: 0.6927,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.3455, coverage: 2774, positives: 1672, probability: 0.6027, joint_entropy: 6.3492, pattern_team_auroc10: 0.687,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.3078, coverage: 1847, positives: 1229, probability: 0.6654, joint_entropy: 6.4654, pattern_team_auroc10: 0.654,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.2541, coverage: 2781, positives: 1539, probability: 0.5534, joint_entropy: 4.3682, pattern_team_auroc10: 0.6544,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.2409, coverage: 2131, positives: 1248, probability: 0.5856, quality: 0.2409, joint_entropy: 5.8044, pattern_team_auroc10: 0.6527,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.2409, coverage: 2131, positives: 1248, probability: 0.5856, joint_entropy: 5.8044, pattern_team_auroc10: 0.6527,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.2409, coverage: 2131, positives: 1248, probability: 0.5856, joint_entropy: 5.8044, pattern_team_auroc10: 0.6527,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.2541, coverage: 2781, positives: 1539, probability: 0.5534, joint_entropy: 4.4239, pattern_team_auroc10: 0.6473,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.2541, coverage: 2781, positives: 1539, probability: 0.5534, quality: 0.2541, joint_entropy: 4.4239, pattern_team_auroc10: 0.6473,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.3661, coverage: 2626, positives: 1641, probability: 0.6249, joint_entropy: 1.989, 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.2541, coverage: 2781, positives: 1539, probability: 0.5534, quality: 0.2541, joint_entropy: 4.4239, pattern_team_auroc10: 0.6473,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.2541, coverage: 2781, positives: 1539, probability: 0.5534, joint_entropy: 4.4239, pattern_team_auroc10: 0.6473,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.3661, coverage: 2626, positives: 1641, probability: 0.6249, quality: 0.3661, joint_entropy: 1.989, 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.3651, coverage: 2608, positives: 1632, probability: 0.6258, joint_entropy: 2.4322, pattern_team_auroc10: 0.7003,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.3607, coverage: 2061, positives: 1397, probability: 0.6778, joint_entropy: 2.7901, pattern_team_auroc10: 0.6955,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.3651, coverage: 2608, positives: 1632, probability: 0.6258, joint_entropy: 2.2782, pattern_team_auroc10: 0.6951,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.3683, coverage: 2307, positives: 1511, probability: 0.655, quality: 0.3683, joint_entropy: 1.1784, pattern_team_auroc10: 0.6842,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.3078, coverage: 1847, positives: 1229, probability: 0.6654, quality: 0.3078, joint_entropy: 4.8413, pattern_team_auroc10: 0.6719,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.3676, coverage: 2319, positives: 1515, probability: 0.6533, joint_entropy: 1.57, 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.372, coverage: 2629, positives: 1651, probability: 0.628, joint_entropy: 1.857, pattern_team_auroc10: 0.694,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.309, coverage: 1414, positives: 1050, probability: 0.7426, quality: 0.309, joint_entropy: 2.3004, pattern_team_auroc10: 0.659,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.3566, coverage: 2023, positives: 1375, probability: 0.6797, joint_entropy: 3.2061, pattern_team_auroc10: 0.7027,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.3607, coverage: 2061, positives: 1397, probability: 0.6778, joint_entropy: 2.7696, pattern_team_auroc10: 0.6918,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.3651, coverage: 2608, positives: 1632, probability: 0.6258, joint_entropy: 2.3928, pattern_team_auroc10: 0.7003,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.3592, coverage: 2289, positives: 1490, probability: 0.6509, joint_entropy: 3.3394, pattern_team_auroc10: 0.6968,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.3651, coverage: 2608, positives: 1632, probability: 0.6258, joint_entropy: 2.7833, pattern_team_auroc10: 0.6968,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.3559, coverage: 2186, positives: 1442, probability: 0.6597, quality: 0.3559, joint_entropy: 3.1389, pattern_team_auroc10: 0.6961,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.3078, coverage: 1847, positives: 1229, probability: 0.6654, quality: 0.3078, joint_entropy: 3.1351, pattern_team_auroc10: 0.6672,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.3847, coverage: 2306, positives: 1535, probability: 0.6657, quality: 0.3847, joint_entropy: 4.6995, pattern_team_auroc10: 0.7039,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.2541, coverage: 2781, positives: 1539, probability: 0.5534, joint_entropy: 4.4239, pattern_team_auroc10: 0.6473,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.3811, coverage: 2350, positives: 1548, probability: 0.6587, joint_entropy: 3.0424, pattern_team_auroc10: 0.7069,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.387, coverage: 2650, positives: 1682, probability: 0.6347, quality: 0.387, joint_entropy: 2.9174, pattern_team_auroc10: 0.7133,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.3559, coverage: 2186, positives: 1442, probability: 0.6597, joint_entropy: 3.1148, pattern_team_auroc10: 0.6896,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.3847, coverage: 2306, positives: 1535, probability: 0.6657, quality: 0.3847, joint_entropy: 5.0183, pattern_team_auroc10: 0.7047,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.3078, coverage: 1847, positives: 1229, probability: 0.6654, quality: 0.3078, joint_entropy: 4.4062, pattern_team_auroc10: 0.6679,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.3847, coverage: 2306, positives: 1535, probability: 0.6657, joint_entropy: 4.7288, pattern_team_auroc10: 0.7032,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.3876, coverage: 2868, positives: 1774, probability: 0.6185, quality: 0.3876, joint_entropy: 3.6198, pattern_team_auroc10: 0.7169,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.3912, coverage: 2769, positives: 1738, probability: 0.6277, quality: 0.3912, joint_entropy: 2.9183, pattern_team_auroc10: 0.7114,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.2541, coverage: 2781, positives: 1539, probability: 0.5534, joint_entropy: 4.309, 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.387, coverage: 2650, positives: 1682, probability: 0.6347, joint_entropy: 2.6419, pattern_team_auroc10: 0.7081,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.387, coverage: 2650, positives: 1682, probability: 0.6347, joint_entropy: 2.6419, pattern_team_auroc10: 0.7081,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.2541, coverage: 2781, positives: 1539, probability: 0.5534, quality: 0.2541, joint_entropy: 4.309, 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.2541, coverage: 2781, positives: 1539, probability: 0.5534, joint_entropy: 4.309, 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.2541, coverage: 2781, positives: 1539, probability: 0.5534, joint_entropy: 4.309, 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.2541, coverage: 2781, positives: 1539, probability: 0.5534, joint_entropy: 4.309, 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.3078, coverage: 1847, positives: 1229, probability: 0.6654, quality: 0.3078, joint_entropy: 3.1351, pattern_team_auroc10: 0.6672,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.3489, coverage: 2752, positives: 1668, probability: 0.6061, joint_entropy: 6.2718, pattern_team_auroc10: 0.6814,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.3706, coverage: 2627, positives: 1648, probability: 0.6273, joint_entropy: 1.9799, pattern_team_auroc10: 0.7006,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.3811, coverage: 2350, positives: 1548, probability: 0.6587, joint_entropy: 2.881, pattern_team_auroc10: 0.707,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.3847, coverage: 2306, positives: 1535, probability: 0.6657, joint_entropy: 4.5281, 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.2541, coverage: 2781, positives: 1539, probability: 0.5534, joint_entropy: 4.309, 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.2541, coverage: 2781, positives: 1539, probability: 0.5534, quality: 0.2541, joint_entropy: 4.309, 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.3651, coverage: 2608, positives: 1632, probability: 0.6258, joint_entropy: 2.2949, pattern_team_auroc10: 0.6986,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.3661, coverage: 2626, positives: 1641, probability: 0.6249, joint_entropy: 2.1937, pattern_team_auroc10: 0.6926,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.387, coverage: 2650, positives: 1682, probability: 0.6347, joint_entropy: 3.2973, pattern_team_auroc10: 0.7103,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.3664, coverage: 2146, positives: 1441, probability: 0.6715, quality: 0.3664, joint_entropy: 4.5426, 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.3847, coverage: 2306, positives: 1535, probability: 0.6657, joint_entropy: 5.0214, pattern_team_auroc10: 0.7047,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.3811, coverage: 2350, positives: 1548, probability: 0.6587, quality: 0.3811, joint_entropy: 3.5145, pattern_team_auroc10: 0.7069,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.2541, coverage: 2781, positives: 1539, probability: 0.5534, joint_entropy: 4.309, 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.3489, coverage: 2752, positives: 1668, probability: 0.6061, quality: 0.3489, joint_entropy: 2.8405, pattern_team_auroc10: 0.6973,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.2541, coverage: 2781, positives: 1539, probability: 0.5534, joint_entropy: 4.309, 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.2541, coverage: 2781, positives: 1539, probability: 0.5534, quality: 0.2541, joint_entropy: 4.309, 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.2541, coverage: 2781, positives: 1539, probability: 0.5534, joint_entropy: 4.309, 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.2541, coverage: 2781, positives: 1539, probability: 0.5534, joint_entropy: 4.309, 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.3078, coverage: 1847, positives: 1229, probability: 0.6654, joint_entropy: 4.4062, pattern_team_auroc10: 0.6679,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.2541, coverage: 2781, positives: 1539, probability: 0.5534, quality: 0.2541, joint_entropy: 4.309, 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.2541, coverage: 2781, positives: 1539, probability: 0.5534, quality: 0.2541, joint_entropy: 4.309, 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.2541, coverage: 2781, positives: 1539, probability: 0.5534, joint_entropy: 4.309, 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.2541, coverage: 2781, positives: 1539, probability: 0.5534, joint_entropy: 4.309, 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.3938, coverage: 2427, positives: 1599, probability: 0.6588, joint_entropy: 2.9355, pattern_team_auroc10: 0.7077,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.3939, coverage: 2417, positives: 1595, probability: 0.6599, joint_entropy: 2.6889, pattern_team_auroc10: 0.709,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.3931, coverage: 2415, positives: 1593, probability: 0.6596, quality: 0.3931, joint_entropy: 3.1991, pattern_team_auroc10: 0.7082,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.2541, coverage: 2781, positives: 1539, probability: 0.5534, joint_entropy: 4.3682, pattern_team_auroc10: 0.6544,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.2541, coverage: 2781, positives: 1539, probability: 0.5534, joint_entropy: 4.3682, pattern_team_auroc10: 0.6544,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.3489, coverage: 2752, positives: 1668, probability: 0.6061, quality: 0.3489, joint_entropy: 2.8405, pattern_team_auroc10: 0.6973,

Jan van Rijn 8 years ago
ran flow SubgroupDiscovery(1) on task Subgroup Discovery on data set first-order-theorem-proving

0 likes - 0 downloads - 0 reach - cortana_quality: 0.2541, coverage: 2781, positives: 1539, probability: 0.5534, joint_entropy: 4.3682, pattern_team_auroc10: 0.6544,

Sign in

Filter results by: