Task
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.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,

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