OpenML
Subgroup Discovery on first-order-theorem-proving

Subgroup Discovery on first-order-theorem-proving

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


Metric:

1304 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.1821, coverage: 1635, positives: 454, probability: 0.2777, joint_entropy: 6.5448, pattern_team_auroc10: 0.5899,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.18, coverage: 1533, positives: 434, probability: 0.2831, joint_entropy: 7.0732, pattern_team_auroc10: 0.5858,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.18, coverage: 1533, positives: 434, probability: 0.2831, joint_entropy: 7.4663, pattern_team_auroc10: 0.5747,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.18, coverage: 1533, positives: 434, probability: 0.2831, joint_entropy: 7.6265, pattern_team_auroc10: 0.5574,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.18, coverage: 1533, positives: 434, probability: 0.2831, joint_entropy: 7.6526, pattern_team_auroc10: 0.5583,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.1342, coverage: 3061, positives: 665, probability: 0.2172, joint_entropy: 7.637, pattern_team_auroc10: 0.5408,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.1838, coverage: 1677, positives: 463, probability: 0.2761, joint_entropy: 7.4579, pattern_team_auroc10: 0.5601,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.1838, coverage: 1677, positives: 463, probability: 0.2761, joint_entropy: 7.4126, pattern_team_auroc10: 0.5701,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.1821, coverage: 1635, positives: 454, probability: 0.2777, joint_entropy: 7.4046, pattern_team_auroc10: 0.5701,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.18, coverage: 1533, positives: 434, probability: 0.2831, joint_entropy: 7.4013, pattern_team_auroc10: 0.5701,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.18, coverage: 1533, positives: 434, probability: 0.2831, joint_entropy: 7.449, pattern_team_auroc10: 0.5741,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.18, coverage: 1533, positives: 434, probability: 0.2831, joint_entropy: 7.4727, pattern_team_auroc10: 0.5703,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.18, coverage: 1533, positives: 434, probability: 0.2831, joint_entropy: 7.4575, pattern_team_auroc10: 0.5739,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.1342, coverage: 3061, positives: 665, probability: 0.2172, joint_entropy: 7.637, pattern_team_auroc10: 0.5408,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.1839, coverage: 1547, positives: 440, probability: 0.2844, joint_entropy: 2.7947, pattern_team_auroc10: 0.5935,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.1839, coverage: 1547, positives: 440, probability: 0.2844, joint_entropy: 7.3323, pattern_team_auroc10: 0.5874,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.1838, coverage: 1677, positives: 463, probability: 0.2761, joint_entropy: 3.9747, pattern_team_auroc10: 0.5929,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.1838, coverage: 1677, positives: 463, probability: 0.2761, joint_entropy: 6.0519, pattern_team_auroc10: 0.6134,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.1821, coverage: 1635, positives: 454, probability: 0.2777, joint_entropy: 6.5448, pattern_team_auroc10: 0.5899,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.18, coverage: 1533, positives: 434, probability: 0.2831, joint_entropy: 7.0732, pattern_team_auroc10: 0.5858,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.18, coverage: 1533, positives: 434, probability: 0.2831, joint_entropy: 7.4669, pattern_team_auroc10: 0.5749,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.18, coverage: 1533, positives: 434, probability: 0.2831, joint_entropy: 7.5502, pattern_team_auroc10: 0.5574,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.18, coverage: 1533, positives: 434, probability: 0.2831, joint_entropy: 7.6669, pattern_team_auroc10: 0.5532,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.1342, coverage: 3061, positives: 665, probability: 0.2172, joint_entropy: 7.6322, pattern_team_auroc10: 0.5402,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.1838, coverage: 1677, positives: 463, probability: 0.2761, joint_entropy: 7.3337, pattern_team_auroc10: 0.5773,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.1838, coverage: 1677, positives: 463, probability: 0.2761, joint_entropy: 7.3325, pattern_team_auroc10: 0.577,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.1821, coverage: 1635, positives: 454, probability: 0.2777, joint_entropy: 7.3624, pattern_team_auroc10: 0.5749,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.18, coverage: 1533, positives: 434, probability: 0.2831, joint_entropy: 7.3469, pattern_team_auroc10: 0.5749,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.18, coverage: 1533, positives: 434, probability: 0.2831, joint_entropy: 7.3469, pattern_team_auroc10: 0.5749,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.18, coverage: 1533, positives: 434, probability: 0.2831, joint_entropy: 7.3032, pattern_team_auroc10: 0.5743,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.18, coverage: 1533, positives: 434, probability: 0.2831, joint_entropy: 7.4215, pattern_team_auroc10: 0.5703,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.18, coverage: 1533, positives: 434, probability: 0.2831, joint_entropy: 7.4577, pattern_team_auroc10: 0.5863,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.1342, coverage: 3061, positives: 665, probability: 0.2172, joint_entropy: 7.6322, pattern_team_auroc10: 0.5402,
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,
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,
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,
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,
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,
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,
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,
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,
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,
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,
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,
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,
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,
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,
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,
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,
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,
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,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.1839, coverage: 1547, positives: 440, probability: 0.2844, joint_entropy: 2.7947, pattern_team_auroc10: 0.5935,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.1839, coverage: 1547, positives: 440, probability: 0.2844, joint_entropy: 7.464, pattern_team_auroc10: 0.5603,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.1838, coverage: 1677, positives: 463, probability: 0.2761, joint_entropy: 3.9747, pattern_team_auroc10: 0.5929,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.1838, coverage: 1677, positives: 463, probability: 0.2761, joint_entropy: 6.0519, pattern_team_auroc10: 0.6134,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.1821, coverage: 1635, positives: 454, probability: 0.2777, joint_entropy: 6.5448, pattern_team_auroc10: 0.5899,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.18, coverage: 1533, positives: 434, probability: 0.2831, joint_entropy: 7.0732, pattern_team_auroc10: 0.5858,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.18, coverage: 1533, positives: 434, probability: 0.2831, joint_entropy: 7.4663, pattern_team_auroc10: 0.5747,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.18, coverage: 1533, positives: 434, probability: 0.2831, joint_entropy: 7.6265, pattern_team_auroc10: 0.5574,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.18, coverage: 1533, positives: 434, probability: 0.2831, joint_entropy: 7.6526, pattern_team_auroc10: 0.5583,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.1342, coverage: 3061, positives: 665, probability: 0.2172, joint_entropy: 7.637, pattern_team_auroc10: 0.5408,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.1838, coverage: 1677, positives: 463, probability: 0.2761, joint_entropy: 7.4579, pattern_team_auroc10: 0.5601,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.1838, coverage: 1677, positives: 463, probability: 0.2761, joint_entropy: 7.4126, pattern_team_auroc10: 0.5701,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.1821, coverage: 1635, positives: 454, probability: 0.2777, joint_entropy: 7.4046, pattern_team_auroc10: 0.5701,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.18, coverage: 1533, positives: 434, probability: 0.2831, joint_entropy: 7.4013, pattern_team_auroc10: 0.5701,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.18, coverage: 1533, positives: 434, probability: 0.2831, joint_entropy: 7.449, pattern_team_auroc10: 0.5741,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.18, coverage: 1533, positives: 434, probability: 0.2831, joint_entropy: 7.4727, pattern_team_auroc10: 0.5703,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.18, coverage: 1533, positives: 434, probability: 0.2831, joint_entropy: 7.4575, pattern_team_auroc10: 0.5739,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.1342, coverage: 3061, positives: 665, probability: 0.2172, joint_entropy: 7.637, pattern_team_auroc10: 0.5408,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.1839, coverage: 1547, positives: 440, probability: 0.2844, joint_entropy: 2.7947, pattern_team_auroc10: 0.5935,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.1839, coverage: 1547, positives: 440, probability: 0.2844, joint_entropy: 7.3323, pattern_team_auroc10: 0.5874,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.1838, coverage: 1677, positives: 463, probability: 0.2761, joint_entropy: 3.9747, pattern_team_auroc10: 0.5929,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.1838, coverage: 1677, positives: 463, probability: 0.2761, joint_entropy: 6.0519, pattern_team_auroc10: 0.6134,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.1821, coverage: 1635, positives: 454, probability: 0.2777, joint_entropy: 6.5448, pattern_team_auroc10: 0.5899,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.18, coverage: 1533, positives: 434, probability: 0.2831, joint_entropy: 7.0732, pattern_team_auroc10: 0.5858,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.18, coverage: 1533, positives: 434, probability: 0.2831, joint_entropy: 7.4669, pattern_team_auroc10: 0.5749,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.18, coverage: 1533, positives: 434, probability: 0.2831, joint_entropy: 7.5502, pattern_team_auroc10: 0.5574,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.18, coverage: 1533, positives: 434, probability: 0.2831, joint_entropy: 7.6669, pattern_team_auroc10: 0.5532,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.1342, coverage: 3061, positives: 665, probability: 0.2172, joint_entropy: 7.6322, pattern_team_auroc10: 0.5402,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.1838, coverage: 1677, positives: 463, probability: 0.2761, joint_entropy: 7.3337, pattern_team_auroc10: 0.5773,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.1838, coverage: 1677, positives: 463, probability: 0.2761, joint_entropy: 7.3325, pattern_team_auroc10: 0.577,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.1821, coverage: 1635, positives: 454, probability: 0.2777, joint_entropy: 7.3624, pattern_team_auroc10: 0.5749,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.18, coverage: 1533, positives: 434, probability: 0.2831, joint_entropy: 7.3469, pattern_team_auroc10: 0.5749,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.18, coverage: 1533, positives: 434, probability: 0.2831, joint_entropy: 7.3032, pattern_team_auroc10: 0.5743,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.18, coverage: 1533, positives: 434, probability: 0.2831, joint_entropy: 7.4215, pattern_team_auroc10: 0.5703,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.18, coverage: 1533, positives: 434, probability: 0.2831, joint_entropy: 7.4577, pattern_team_auroc10: 0.5863,
0 likes - 0 downloads - 0 reach - cortana_quality: 0.1342, coverage: 3061, positives: 665, probability: 0.2172, joint_entropy: 7.6322, pattern_team_auroc10: 0.5402,
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,
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,
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,
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,
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,
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,
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,
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,
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,
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,
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,
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,
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,

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