OpenML
Subgroup Discovery on first-order-theorem-proving

Subgroup Discovery on first-order-theorem-proving

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


Metric:

1299 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
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3167, coverage: 1391, positives: 316, probability: 0.2272, quality: 0.3167, joint_entropy: 2.2391, pattern_team_auroc10: 0.6673,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3161, coverage: 1196, positives: 296, probability: 0.2475, quality: 0.3161, joint_entropy: 2.3672, pattern_team_auroc10: 0.662,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3135, coverage: 1270, positives: 302, probability: 0.2378, quality: 0.3135, joint_entropy: 2.7912, pattern_team_auroc10: 0.6612,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3127, coverage: 1185, positives: 293, probability: 0.2473, joint_entropy: 2.5327, pattern_team_auroc10: 0.6607,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3137, coverage: 1229, positives: 298, probability: 0.2425, joint_entropy: 2.5643, pattern_team_auroc10: 0.6618,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3111, coverage: 1422, positives: 316, probability: 0.2222, joint_entropy: 2.2451, pattern_team_auroc10: 0.6571,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2739, coverage: 1240, positives: 277, probability: 0.2234, quality: 0.2739, joint_entropy: 2.267, pattern_team_auroc10: 0.6432,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2739, coverage: 1240, positives: 277, probability: 0.2234, joint_entropy: 2.267, pattern_team_auroc10: 0.6432,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2739, coverage: 1240, positives: 277, probability: 0.2234, quality: 0.2739, joint_entropy: 2.267, pattern_team_auroc10: 0.6432,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2739, coverage: 1240, positives: 277, probability: 0.2234, joint_entropy: 2.267, pattern_team_auroc10: 0.6432,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2739, coverage: 1240, positives: 277, probability: 0.2234, quality: 0.2739, joint_entropy: 2.267, pattern_team_auroc10: 0.6432,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2739, coverage: 1240, positives: 277, probability: 0.2234, quality: 0.2739, joint_entropy: 2.267, pattern_team_auroc10: 0.6432,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2739, coverage: 1240, positives: 277, probability: 0.2234, joint_entropy: 2.267, pattern_team_auroc10: 0.6432,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2739, coverage: 1240, positives: 277, probability: 0.2234, quality: 0.2739, joint_entropy: 2.267, pattern_team_auroc10: 0.6432,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2739, coverage: 1240, positives: 277, probability: 0.2234, joint_entropy: 2.267, pattern_team_auroc10: 0.6432,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2739, coverage: 1240, positives: 277, probability: 0.2234, quality: 0.2739, joint_entropy: 2.267, pattern_team_auroc10: 0.6432,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2739, coverage: 1240, positives: 277, probability: 0.2234, joint_entropy: 2.267, pattern_team_auroc10: 0.6432,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2739, coverage: 1240, positives: 277, probability: 0.2234, joint_entropy: 2.267, pattern_team_auroc10: 0.6432,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2739, coverage: 1240, positives: 277, probability: 0.2234, joint_entropy: 2.267, pattern_team_auroc10: 0.6432,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2739, coverage: 1240, positives: 277, probability: 0.2234, quality: 0.2739, joint_entropy: 2.267, pattern_team_auroc10: 0.6432,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2739, coverage: 1240, positives: 277, probability: 0.2234, joint_entropy: 2.267, pattern_team_auroc10: 0.6432,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2739, coverage: 1240, positives: 277, probability: 0.2234, quality: 0.2739, joint_entropy: 2.267, pattern_team_auroc10: 0.6432,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2739, coverage: 1240, positives: 277, probability: 0.2234, joint_entropy: 2.267, pattern_team_auroc10: 0.6432,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2739, coverage: 1240, positives: 277, probability: 0.2234, joint_entropy: 2.267, pattern_team_auroc10: 0.6432,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2906, coverage: 1138, positives: 276, probability: 0.2425, joint_entropy: 1.1019, pattern_team_auroc10: 0.6497,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3148, coverage: 1114, positives: 287, probability: 0.2576, joint_entropy: 2.098, pattern_team_auroc10: 0.6626,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3146, coverage: 1115, positives: 287, probability: 0.2574, quality: 0.3146, joint_entropy: 1.1757, pattern_team_auroc10: 0.6623,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3128, coverage: 1125, positives: 287, probability: 0.2551, quality: 0.3128, joint_entropy: 1.2977, pattern_team_auroc10: 0.6614,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3137, coverage: 1229, positives: 298, probability: 0.2425, joint_entropy: 1.4278, pattern_team_auroc10: 0.6622,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3137, coverage: 1229, positives: 298, probability: 0.2425, quality: 0.3137, joint_entropy: 1.4461, pattern_team_auroc10: 0.6611,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3121, coverage: 1238, positives: 298, probability: 0.2407, quality: 0.3121, joint_entropy: 1.5709, pattern_team_auroc10: 0.6591,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3127, coverage: 1185, positives: 293, probability: 0.2473, quality: 0.3127, joint_entropy: 1.3171, pattern_team_auroc10: 0.6586,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3073, coverage: 1324, positives: 304, probability: 0.2296, quality: 0.3073, joint_entropy: 1.6409, pattern_team_auroc10: 0.6613,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3073, coverage: 1324, positives: 304, probability: 0.2296, quality: 0.3073, joint_entropy: 1.4909, pattern_team_auroc10: 0.6572,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3146, coverage: 1115, positives: 287, probability: 0.2574, joint_entropy: 1.7255, pattern_team_auroc10: 0.6578,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3135, coverage: 1022, positives: 277, probability: 0.271, quality: 0.3135, joint_entropy: 1.721, pattern_team_auroc10: 0.6583,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.313, coverage: 1025, positives: 277, probability: 0.2702, quality: 0.313, joint_entropy: 1.692, pattern_team_auroc10: 0.6581,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3137, coverage: 1229, positives: 298, probability: 0.2425, quality: 0.3137, joint_entropy: 1.4974, pattern_team_auroc10: 0.6598,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3135, coverage: 1270, positives: 302, probability: 0.2378, quality: 0.3135, joint_entropy: 1.4721, pattern_team_auroc10: 0.6597,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3127, coverage: 1185, positives: 293, probability: 0.2473, quality: 0.3127, joint_entropy: 1.2673, pattern_team_auroc10: 0.659,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2869, coverage: 1228, positives: 283, probability: 0.2305, quality: 0.2869, joint_entropy: 2.6664, pattern_team_auroc10: 0.6553,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3073, coverage: 1324, positives: 304, probability: 0.2296, quality: 0.3073, joint_entropy: 1.4909, pattern_team_auroc10: 0.6572,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2922, coverage: 1179, positives: 281, probability: 0.2383, quality: 0.2922, joint_entropy: 0.9079, pattern_team_auroc10: 0.6466,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3149, coverage: 1054, positives: 281, probability: 0.2666, quality: 0.3149, joint_entropy: 2.3343, pattern_team_auroc10: 0.6655,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3146, coverage: 1115, positives: 287, probability: 0.2574, joint_entropy: 1.4397, pattern_team_auroc10: 0.6613,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3128, coverage: 1125, positives: 287, probability: 0.2551, quality: 0.3128, joint_entropy: 1.3812, pattern_team_auroc10: 0.6614,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3137, coverage: 1229, positives: 298, probability: 0.2425, joint_entropy: 1.7079, pattern_team_auroc10: 0.6613,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3137, coverage: 1229, positives: 298, probability: 0.2425, joint_entropy: 1.9249, pattern_team_auroc10: 0.6612,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3135, coverage: 1270, positives: 302, probability: 0.2378, quality: 0.3135, joint_entropy: 2.0088, pattern_team_auroc10: 0.6625,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3127, coverage: 1185, positives: 293, probability: 0.2473, joint_entropy: 2.1932, pattern_team_auroc10: 0.6607,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3073, coverage: 1324, positives: 304, probability: 0.2296, joint_entropy: 2.4388, pattern_team_auroc10: 0.654,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3073, coverage: 1324, positives: 304, probability: 0.2296, quality: 0.3073, joint_entropy: 2.4266, pattern_team_auroc10: 0.652,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3146, coverage: 1115, positives: 287, probability: 0.2574, quality: 0.3146, joint_entropy: 2.2994, pattern_team_auroc10: 0.6645,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3145, coverage: 1056, positives: 281, probability: 0.2661, joint_entropy: 2.2283, pattern_team_auroc10: 0.6604,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.313, coverage: 1025, positives: 277, probability: 0.2702, quality: 0.313, joint_entropy: 1.8316, pattern_team_auroc10: 0.6576,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3137, coverage: 1229, positives: 298, probability: 0.2425, joint_entropy: 1.9908, pattern_team_auroc10: 0.6584,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3135, coverage: 1270, positives: 302, probability: 0.2378, quality: 0.3135, joint_entropy: 1.9289, pattern_team_auroc10: 0.6587,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3127, coverage: 1185, positives: 293, probability: 0.2473, joint_entropy: 2.0496, pattern_team_auroc10: 0.6582,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2819, coverage: 1186, positives: 276, probability: 0.2327, quality: 0.2819, joint_entropy: 2.8397, pattern_team_auroc10: 0.6465,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3073, coverage: 1324, positives: 304, probability: 0.2296, quality: 0.3073, joint_entropy: 2.4266, pattern_team_auroc10: 0.652,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2685, coverage: 1210, positives: 271, probability: 0.224, joint_entropy: 2.526, pattern_team_auroc10: 0.6464,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2685, coverage: 1210, positives: 271, probability: 0.224, quality: 0.2685, joint_entropy: 2.526, pattern_team_auroc10: 0.6464,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2685, coverage: 1210, positives: 271, probability: 0.224, quality: 0.2685, joint_entropy: 2.526, pattern_team_auroc10: 0.6464,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2685, coverage: 1210, positives: 271, probability: 0.224, joint_entropy: 2.526, pattern_team_auroc10: 0.6464,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2685, coverage: 1210, positives: 271, probability: 0.224, joint_entropy: 2.526, pattern_team_auroc10: 0.6464,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2685, coverage: 1210, positives: 271, probability: 0.224, quality: 0.2685, joint_entropy: 2.526, pattern_team_auroc10: 0.6464,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2685, coverage: 1210, positives: 271, probability: 0.224, quality: 0.2685, joint_entropy: 2.526, pattern_team_auroc10: 0.6464,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2685, coverage: 1210, positives: 271, probability: 0.224, quality: 0.2685, joint_entropy: 2.526, pattern_team_auroc10: 0.6464,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2685, coverage: 1210, positives: 271, probability: 0.224, joint_entropy: 2.526, pattern_team_auroc10: 0.6464,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2685, coverage: 1210, positives: 271, probability: 0.224, joint_entropy: 2.526, pattern_team_auroc10: 0.6464,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2685, coverage: 1210, positives: 271, probability: 0.224, joint_entropy: 2.526, pattern_team_auroc10: 0.6464,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2685, coverage: 1210, positives: 271, probability: 0.224, joint_entropy: 2.526, pattern_team_auroc10: 0.6464,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2685, coverage: 1210, positives: 271, probability: 0.224, joint_entropy: 2.526, pattern_team_auroc10: 0.6464,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2685, coverage: 1210, positives: 271, probability: 0.224, quality: 0.2685, joint_entropy: 2.526, pattern_team_auroc10: 0.6464,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2685, coverage: 1210, positives: 271, probability: 0.224, joint_entropy: 2.526, pattern_team_auroc10: 0.6464,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2685, coverage: 1210, positives: 271, probability: 0.224, joint_entropy: 2.526, pattern_team_auroc10: 0.6464,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2685, coverage: 1210, positives: 271, probability: 0.224, joint_entropy: 2.526, pattern_team_auroc10: 0.6464,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2685, coverage: 1210, positives: 271, probability: 0.224, quality: 0.2685, joint_entropy: 2.526, pattern_team_auroc10: 0.6464,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2922, coverage: 1179, positives: 281, probability: 0.2383, joint_entropy: 0.9768, pattern_team_auroc10: 0.6466,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3148, coverage: 1114, positives: 287, probability: 0.2576, quality: 0.3148, joint_entropy: 1.4219, pattern_team_auroc10: 0.6616,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2909, coverage: 1186, positives: 281, probability: 0.2369, joint_entropy: 1.1197, pattern_team_auroc10: 0.6472,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3124, coverage: 1256, positives: 300, probability: 0.2389, joint_entropy: 1.3223, pattern_team_auroc10: 0.6603,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.311, coverage: 1224, positives: 296, probability: 0.2418, quality: 0.311, joint_entropy: 1.3506, pattern_team_auroc10: 0.6601,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3137, coverage: 1229, positives: 298, probability: 0.2425, joint_entropy: 1.3422, pattern_team_auroc10: 0.6604,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3121, coverage: 1238, positives: 298, probability: 0.2407, quality: 0.3121, joint_entropy: 1.2693, pattern_team_auroc10: 0.6586,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3084, coverage: 1159, positives: 288, probability: 0.2485, joint_entropy: 1.5989, pattern_team_auroc10: 0.6569,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2722, coverage: 833, positives: 235, probability: 0.2821, joint_entropy: 1.889, pattern_team_auroc10: 0.6508,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2742, coverage: 1030, positives: 256, probability: 0.2485, joint_entropy: 2.2738, pattern_team_auroc10: 0.6463,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3146, coverage: 1115, positives: 287, probability: 0.2574, joint_entropy: 1.3703, pattern_team_auroc10: 0.6615,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3124, coverage: 1256, positives: 300, probability: 0.2389, joint_entropy: 1.2697, pattern_team_auroc10: 0.6599,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.311, coverage: 1224, positives: 296, probability: 0.2418, joint_entropy: 1.2949, pattern_team_auroc10: 0.6592,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3137, coverage: 1229, positives: 298, probability: 0.2425, joint_entropy: 1.3462, pattern_team_auroc10: 0.6597,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3121, coverage: 1238, positives: 298, probability: 0.2407, quality: 0.3121, joint_entropy: 1.2711, pattern_team_auroc10: 0.6566,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3084, coverage: 1159, positives: 288, probability: 0.2485, joint_entropy: 1.55, pattern_team_auroc10: 0.6561,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2722, coverage: 833, positives: 235, probability: 0.2821, joint_entropy: 1.9753, pattern_team_auroc10: 0.6508,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2742, coverage: 1030, positives: 256, probability: 0.2485, quality: 0.2742, joint_entropy: 2.2738, pattern_team_auroc10: 0.6463,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2922, coverage: 1179, positives: 281, probability: 0.2383, joint_entropy: 0.9768, pattern_team_auroc10: 0.6466,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3148, coverage: 1114, positives: 287, probability: 0.2576, joint_entropy: 1.885, pattern_team_auroc10: 0.6591,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.2909, coverage: 1186, positives: 281, probability: 0.2369, quality: 0.2909, joint_entropy: 1.1197, pattern_team_auroc10: 0.6472,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.3135, coverage: 1022, positives: 277, probability: 0.271, joint_entropy: 1.4576, pattern_team_auroc10: 0.6611,

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

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