Task
Subgroup Discovery on first-order-theorem-proving

Subgroup Discovery on first-order-theorem-proving

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


Metric:

0 Runs

Fetching data
Fetching data
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

quality_measure Jaccard
source_data first-order-theorem-proving (1)
target_feature Class
target_value 6

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