Updated about 2 months ago

openml-datasets

2.1K

API Access

Access dataset files directly from scripts, code, or AI agents.

Browse dataset files

Dataset Files

Each file has a stable URL (r-link) that you can use directly in scripts, apps, or AI agents. These URLs are permanent and safe to hardcode.

/core/openml-datasets/

├ FRESHNESS_CHECK.md

https://datahub.io/core/openml-datasets/_r/-/FRESHNESS_CHECK.md

https://datahub.io/core/openml-datasets/_r/-/README.md

├ UPDATE_SCRIPT_MAINTENANCE_REPORT.md

https://datahub.io/core/openml-datasets/_r/-/UPDATE_SCRIPT_MAINTENANCE_REPORT.md

├ data/Bioresponse/Bioresponse.arff

https://datahub.io/core/openml-datasets/_r/-/data/Bioresponse/Bioresponse.arff

├ data/Bioresponse/Bioresponse.csv

https://datahub.io/core/openml-datasets/_r/-/data/Bioresponse/Bioresponse.csv

├ data/Bioresponse/README.md

https://datahub.io/core/openml-datasets/_r/-/data/Bioresponse/README.md

├ data/Bioresponse/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/Bioresponse/datapackage.json

├ data/Click_prediction_small/Click_prediction_small.arff

https://datahub.io/core/openml-datasets/_r/-/data/Click_prediction_small/Click_prediction_small.arff

├ data/Click_prediction_small/Click_prediction_small.csv

https://datahub.io/core/openml-datasets/_r/-/data/Click_prediction_small/Click_prediction_small.csv

├ data/Click_prediction_small/README.md

https://datahub.io/core/openml-datasets/_r/-/data/Click_prediction_small/README.md

├ data/Click_prediction_small/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/Click_prediction_small/datapackage.json

├ data/IMDB.drama/IMDB.drama.arff

https://datahub.io/core/openml-datasets/_r/-/data/IMDB.drama/IMDB.drama.arff

├ data/IMDB.drama/IMDB.drama.csv

https://datahub.io/core/openml-datasets/_r/-/data/IMDB.drama/IMDB.drama.csv

├ data/IMDB.drama/README.md

https://datahub.io/core/openml-datasets/_r/-/data/IMDB.drama/README.md

├ data/IMDB.drama/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/IMDB.drama/datapackage.json

├ data/MagicTelescope/MagicTelescope.arff

https://datahub.io/core/openml-datasets/_r/-/data/MagicTelescope/MagicTelescope.arff

├ data/MagicTelescope/MagicTelescope.csv

https://datahub.io/core/openml-datasets/_r/-/data/MagicTelescope/MagicTelescope.csv

├ data/MagicTelescope/README.md

https://datahub.io/core/openml-datasets/_r/-/data/MagicTelescope/README.md

├ data/MagicTelescope/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/MagicTelescope/datapackage.json

├ data/Satellite/README.md

https://datahub.io/core/openml-datasets/_r/-/data/Satellite/README.md

├ data/Satellite/Satellite.arff

https://datahub.io/core/openml-datasets/_r/-/data/Satellite/Satellite.arff

├ data/Satellite/Satellite.csv

https://datahub.io/core/openml-datasets/_r/-/data/Satellite/Satellite.csv

├ data/Satellite/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/Satellite/datapackage.json

├ data/SpeedDating/README.md

https://datahub.io/core/openml-datasets/_r/-/data/SpeedDating/README.md

├ data/SpeedDating/SpeedDating.arff

https://datahub.io/core/openml-datasets/_r/-/data/SpeedDating/SpeedDating.arff

├ data/SpeedDating/SpeedDating.csv

https://datahub.io/core/openml-datasets/_r/-/data/SpeedDating/SpeedDating.csv

├ data/SpeedDating/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/SpeedDating/datapackage.json

├ data/abalone/README.md

https://datahub.io/core/openml-datasets/_r/-/data/abalone/README.md

├ data/abalone/abalone.arff

https://datahub.io/core/openml-datasets/_r/-/data/abalone/abalone.arff

├ data/abalone/abalone.csv

https://datahub.io/core/openml-datasets/_r/-/data/abalone/abalone.csv

├ data/abalone/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/abalone/datapackage.json

├ data/adult/README.md

https://datahub.io/core/openml-datasets/_r/-/data/adult/README.md

├ data/adult/adult.arff

https://datahub.io/core/openml-datasets/_r/-/data/adult/adult.arff

├ data/adult/adult.csv

https://datahub.io/core/openml-datasets/_r/-/data/adult/adult.csv

├ data/adult/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/adult/datapackage.json

├ data/airlines/README.md

https://datahub.io/core/openml-datasets/_r/-/data/airlines/README.md

├ data/airlines/airlines.arff

https://datahub.io/core/openml-datasets/_r/-/data/airlines/airlines.arff

├ data/airlines/airlines.csv

https://datahub.io/core/openml-datasets/_r/-/data/airlines/airlines.csv

├ data/airlines/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/airlines/datapackage.json

├ data/amazon-commerce-reviews/README.md

https://datahub.io/core/openml-datasets/_r/-/data/amazon-commerce-reviews/README.md

├ data/amazon-commerce-reviews/amazon-commerce-reviews.arff

https://datahub.io/core/openml-datasets/_r/-/data/amazon-commerce-reviews/amazon-commerce-reviews.arff

├ data/amazon-commerce-reviews/amazon-commerce-reviews.csv

https://datahub.io/core/openml-datasets/_r/-/data/amazon-commerce-reviews/amazon-commerce-reviews.csv

├ data/amazon-commerce-reviews/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/amazon-commerce-reviews/datapackage.json

├ data/anneal/README.md

https://datahub.io/core/openml-datasets/_r/-/data/anneal/README.md

├ data/anneal/anneal.arff

https://datahub.io/core/openml-datasets/_r/-/data/anneal/anneal.arff

├ data/anneal/anneal.csv

https://datahub.io/core/openml-datasets/_r/-/data/anneal/anneal.csv

├ data/anneal/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/anneal/datapackage.json

├ data/arrhythmia/README.md

https://datahub.io/core/openml-datasets/_r/-/data/arrhythmia/README.md

├ data/arrhythmia/arrhythmia.arff

https://datahub.io/core/openml-datasets/_r/-/data/arrhythmia/arrhythmia.arff

├ data/arrhythmia/arrhythmia.csv

https://datahub.io/core/openml-datasets/_r/-/data/arrhythmia/arrhythmia.csv

├ data/arrhythmia/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/arrhythmia/datapackage.json

├ data/autoUniv-au6-1000/README.md

https://datahub.io/core/openml-datasets/_r/-/data/autoUniv-au6-1000/README.md

├ data/autoUniv-au6-1000/autoUniv-au6-1000.arff

https://datahub.io/core/openml-datasets/_r/-/data/autoUniv-au6-1000/autoUniv-au6-1000.arff

├ data/autoUniv-au6-1000/autoUniv-au6-1000.csv

https://datahub.io/core/openml-datasets/_r/-/data/autoUniv-au6-1000/autoUniv-au6-1000.csv

├ data/autoUniv-au6-1000/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/autoUniv-au6-1000/datapackage.json

├ data/autos/README.md

https://datahub.io/core/openml-datasets/_r/-/data/autos/README.md

├ data/autos/autos.arff

https://datahub.io/core/openml-datasets/_r/-/data/autos/autos.arff

├ data/autos/autos.csv

https://datahub.io/core/openml-datasets/_r/-/data/autos/autos.csv

├ data/autos/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/autos/datapackage.json

├ data/bank-marketing/README.md

https://datahub.io/core/openml-datasets/_r/-/data/bank-marketing/README.md

├ data/bank-marketing/bank-marketing.arff

https://datahub.io/core/openml-datasets/_r/-/data/bank-marketing/bank-marketing.arff

├ data/bank-marketing/bank-marketing.csv

https://datahub.io/core/openml-datasets/_r/-/data/bank-marketing/bank-marketing.csv

├ data/bank-marketing/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/bank-marketing/datapackage.json

├ data/banknote-authentication/README.md

https://datahub.io/core/openml-datasets/_r/-/data/banknote-authentication/README.md

├ data/banknote-authentication/banknote-authentication.arff

https://datahub.io/core/openml-datasets/_r/-/data/banknote-authentication/banknote-authentication.arff

├ data/banknote-authentication/banknote-authentication.csv

https://datahub.io/core/openml-datasets/_r/-/data/banknote-authentication/banknote-authentication.csv

├ data/banknote-authentication/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/banknote-authentication/datapackage.json

├ data/blood-transfusion-service-center/README.md

https://datahub.io/core/openml-datasets/_r/-/data/blood-transfusion-service-center/README.md

├ data/blood-transfusion-service-center/blood-transfusion-service-center.arff

https://datahub.io/core/openml-datasets/_r/-/data/blood-transfusion-service-center/blood-transfusion-service-center.arff

├ data/blood-transfusion-service-center/blood-transfusion-service-center.csv

https://datahub.io/core/openml-datasets/_r/-/data/blood-transfusion-service-center/blood-transfusion-service-center.csv

├ data/blood-transfusion-service-center/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/blood-transfusion-service-center/datapackage.json

├ data/breast-cancer/README.md

https://datahub.io/core/openml-datasets/_r/-/data/breast-cancer/README.md

├ data/breast-cancer/breast-cancer.arff

https://datahub.io/core/openml-datasets/_r/-/data/breast-cancer/breast-cancer.arff

├ data/breast-cancer/breast-cancer.csv

https://datahub.io/core/openml-datasets/_r/-/data/breast-cancer/breast-cancer.csv

├ data/breast-cancer/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/breast-cancer/datapackage.json

├ data/breast-w/README.md

https://datahub.io/core/openml-datasets/_r/-/data/breast-w/README.md

├ data/breast-w/breast-w.arff

https://datahub.io/core/openml-datasets/_r/-/data/breast-w/breast-w.arff

├ data/breast-w/breast-w.csv

https://datahub.io/core/openml-datasets/_r/-/data/breast-w/breast-w.csv

├ data/breast-w/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/breast-w/datapackage.json

├ data/cardiotocography/README.md

https://datahub.io/core/openml-datasets/_r/-/data/cardiotocography/README.md

├ data/cardiotocography/cardiotocography.arff

https://datahub.io/core/openml-datasets/_r/-/data/cardiotocography/cardiotocography.arff

├ data/cardiotocography/cardiotocography.csv

https://datahub.io/core/openml-datasets/_r/-/data/cardiotocography/cardiotocography.csv

├ data/cardiotocography/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/cardiotocography/datapackage.json

├ data/climate-model-simulation-crashes/README.md

https://datahub.io/core/openml-datasets/_r/-/data/climate-model-simulation-crashes/README.md

├ data/climate-model-simulation-crashes/climate-model-simulation-crashes.arff

https://datahub.io/core/openml-datasets/_r/-/data/climate-model-simulation-crashes/climate-model-simulation-crashes.arff

├ data/climate-model-simulation-crashes/climate-model-simulation-crashes.csv

https://datahub.io/core/openml-datasets/_r/-/data/climate-model-simulation-crashes/climate-model-simulation-crashes.csv

├ data/climate-model-simulation-crashes/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/climate-model-simulation-crashes/datapackage.json

├ data/cmc/README.md

https://datahub.io/core/openml-datasets/_r/-/data/cmc/README.md

├ data/cmc/cmc.arff

https://datahub.io/core/openml-datasets/_r/-/data/cmc/cmc.arff

├ data/cmc/cmc.csv

https://datahub.io/core/openml-datasets/_r/-/data/cmc/cmc.csv

├ data/cmc/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/cmc/datapackage.json

├ data/credit-approval/README.md

https://datahub.io/core/openml-datasets/_r/-/data/credit-approval/README.md

├ data/credit-approval/credit-approval.arff

https://datahub.io/core/openml-datasets/_r/-/data/credit-approval/credit-approval.arff

├ data/credit-approval/credit-approval.csv

https://datahub.io/core/openml-datasets/_r/-/data/credit-approval/credit-approval.csv

├ data/credit-approval/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/credit-approval/datapackage.json

├ data/credit-g/README.md

https://datahub.io/core/openml-datasets/_r/-/data/credit-g/README.md

├ data/credit-g/credit-g.arff

https://datahub.io/core/openml-datasets/_r/-/data/credit-g/credit-g.arff

├ data/credit-g/credit-g.csv

https://datahub.io/core/openml-datasets/_r/-/data/credit-g/credit-g.csv

├ data/credit-g/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/credit-g/datapackage.json

├ data/diabetes/README.md

https://datahub.io/core/openml-datasets/_r/-/data/diabetes/README.md

├ data/diabetes/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/diabetes/datapackage.json

├ data/diabetes/diabetes.arff

https://datahub.io/core/openml-datasets/_r/-/data/diabetes/diabetes.arff

├ data/diabetes/diabetes.csv

https://datahub.io/core/openml-datasets/_r/-/data/diabetes/diabetes.csv

├ data/eeg-eye-state/README.md

https://datahub.io/core/openml-datasets/_r/-/data/eeg-eye-state/README.md

├ data/eeg-eye-state/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/eeg-eye-state/datapackage.json

├ data/eeg-eye-state/eeg-eye-state.arff

https://datahub.io/core/openml-datasets/_r/-/data/eeg-eye-state/eeg-eye-state.arff

├ data/eeg-eye-state/eeg-eye-state.csv

https://datahub.io/core/openml-datasets/_r/-/data/eeg-eye-state/eeg-eye-state.csv

├ data/electricity/README.md

https://datahub.io/core/openml-datasets/_r/-/data/electricity/README.md

├ data/electricity/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/electricity/datapackage.json

├ data/electricity/electricity.arff

https://datahub.io/core/openml-datasets/_r/-/data/electricity/electricity.arff

├ data/electricity/electricity.csv

https://datahub.io/core/openml-datasets/_r/-/data/electricity/electricity.csv

├ data/fbis.wc/README.md

https://datahub.io/core/openml-datasets/_r/-/data/fbis.wc/README.md

├ data/fbis.wc/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/fbis.wc/datapackage.json

├ data/fbis.wc/fbis.wc.arff

https://datahub.io/core/openml-datasets/_r/-/data/fbis.wc/fbis.wc.arff

├ data/fbis.wc/fbis.wc.csv

https://datahub.io/core/openml-datasets/_r/-/data/fbis.wc/fbis.wc.csv

├ data/first-order-theorem-proving/README.md

https://datahub.io/core/openml-datasets/_r/-/data/first-order-theorem-proving/README.md

├ data/first-order-theorem-proving/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/first-order-theorem-proving/datapackage.json

├ data/first-order-theorem-proving/first-order-theorem-proving.arff

https://datahub.io/core/openml-datasets/_r/-/data/first-order-theorem-proving/first-order-theorem-proving.arff

├ data/first-order-theorem-proving/first-order-theorem-proving.csv

https://datahub.io/core/openml-datasets/_r/-/data/first-order-theorem-proving/first-order-theorem-proving.csv

├ data/gas-drift/README.md

https://datahub.io/core/openml-datasets/_r/-/data/gas-drift/README.md

├ data/gas-drift/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/gas-drift/datapackage.json

├ data/gas-drift/gas-drift.arff

https://datahub.io/core/openml-datasets/_r/-/data/gas-drift/gas-drift.arff

├ data/gas-drift/gas-drift.csv

https://datahub.io/core/openml-datasets/_r/-/data/gas-drift/gas-drift.csv

├ data/gina_agnostic/README.md

https://datahub.io/core/openml-datasets/_r/-/data/gina_agnostic/README.md

├ data/gina_agnostic/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/gina_agnostic/datapackage.json

├ data/gina_agnostic/gina_agnostic.arff

https://datahub.io/core/openml-datasets/_r/-/data/gina_agnostic/gina_agnostic.arff

├ data/gina_agnostic/gina_agnostic.csv

https://datahub.io/core/openml-datasets/_r/-/data/gina_agnostic/gina_agnostic.csv

├ data/gina_prior2/README.md

https://datahub.io/core/openml-datasets/_r/-/data/gina_prior2/README.md

├ data/gina_prior2/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/gina_prior2/datapackage.json

├ data/gina_prior2/gina_prior2.arff

https://datahub.io/core/openml-datasets/_r/-/data/gina_prior2/gina_prior2.arff

├ data/gina_prior2/gina_prior2.csv

https://datahub.io/core/openml-datasets/_r/-/data/gina_prior2/gina_prior2.csv

├ data/glass/README.md

https://datahub.io/core/openml-datasets/_r/-/data/glass/README.md

├ data/glass/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/glass/datapackage.json

├ data/glass/glass.arff

https://datahub.io/core/openml-datasets/_r/-/data/glass/glass.arff

├ data/glass/glass.csv

https://datahub.io/core/openml-datasets/_r/-/data/glass/glass.csv

├ data/haberman/README.md

https://datahub.io/core/openml-datasets/_r/-/data/haberman/README.md

├ data/haberman/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/haberman/datapackage.json

├ data/haberman/haberman.arff

https://datahub.io/core/openml-datasets/_r/-/data/haberman/haberman.arff

├ data/haberman/haberman.csv

https://datahub.io/core/openml-datasets/_r/-/data/haberman/haberman.csv

├ data/heart-statlog/README.md

https://datahub.io/core/openml-datasets/_r/-/data/heart-statlog/README.md

├ data/heart-statlog/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/heart-statlog/datapackage.json

├ data/heart-statlog/heart-statlog.arff

https://datahub.io/core/openml-datasets/_r/-/data/heart-statlog/heart-statlog.arff

├ data/heart-statlog/heart-statlog.csv

https://datahub.io/core/openml-datasets/_r/-/data/heart-statlog/heart-statlog.csv

├ data/hill-valley/README.md

https://datahub.io/core/openml-datasets/_r/-/data/hill-valley/README.md

├ data/hill-valley/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/hill-valley/datapackage.json

├ data/hill-valley/hill-valley.arff

https://datahub.io/core/openml-datasets/_r/-/data/hill-valley/hill-valley.arff

├ data/hill-valley/hill-valley.csv

https://datahub.io/core/openml-datasets/_r/-/data/hill-valley/hill-valley.csv

├ data/ilpd/README.md

https://datahub.io/core/openml-datasets/_r/-/data/ilpd/README.md

├ data/ilpd/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/ilpd/datapackage.json

├ data/ilpd/ilpd.arff

https://datahub.io/core/openml-datasets/_r/-/data/ilpd/ilpd.arff

├ data/ilpd/ilpd.csv

https://datahub.io/core/openml-datasets/_r/-/data/ilpd/ilpd.csv

├ data/ionosphere/README.md

https://datahub.io/core/openml-datasets/_r/-/data/ionosphere/README.md

├ data/ionosphere/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/ionosphere/datapackage.json

├ data/ionosphere/ionosphere.arff

https://datahub.io/core/openml-datasets/_r/-/data/ionosphere/ionosphere.arff

├ data/ionosphere/ionosphere.csv

https://datahub.io/core/openml-datasets/_r/-/data/ionosphere/ionosphere.csv

├ data/iris/README.md

https://datahub.io/core/openml-datasets/_r/-/data/iris/README.md

├ data/iris/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/iris/datapackage.json

├ data/iris/iris.arff

https://datahub.io/core/openml-datasets/_r/-/data/iris/iris.arff

├ data/iris/iris.csv

https://datahub.io/core/openml-datasets/_r/-/data/iris/iris.csv

├ data/isolet/README.md

https://datahub.io/core/openml-datasets/_r/-/data/isolet/README.md

├ data/isolet/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/isolet/datapackage.json

├ data/isolet/isolet.arff

https://datahub.io/core/openml-datasets/_r/-/data/isolet/isolet.arff

├ data/isolet/isolet.csv

https://datahub.io/core/openml-datasets/_r/-/data/isolet/isolet.csv

├ data/jm1/README.md

https://datahub.io/core/openml-datasets/_r/-/data/jm1/README.md

├ data/jm1/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/jm1/datapackage.json

├ data/jm1/jm1.arff

https://datahub.io/core/openml-datasets/_r/-/data/jm1/jm1.arff

├ data/jm1/jm1.csv

https://datahub.io/core/openml-datasets/_r/-/data/jm1/jm1.csv

├ data/kc1/README.md

https://datahub.io/core/openml-datasets/_r/-/data/kc1/README.md

├ data/kc1/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/kc1/datapackage.json

├ data/kc1/kc1.arff

https://datahub.io/core/openml-datasets/_r/-/data/kc1/kc1.arff

├ data/kc1/kc1.csv

https://datahub.io/core/openml-datasets/_r/-/data/kc1/kc1.csv

├ data/kc2/README.md

https://datahub.io/core/openml-datasets/_r/-/data/kc2/README.md

├ data/kc2/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/kc2/datapackage.json

├ data/kc2/kc2.arff

https://datahub.io/core/openml-datasets/_r/-/data/kc2/kc2.arff

├ data/kc2/kc2.csv

https://datahub.io/core/openml-datasets/_r/-/data/kc2/kc2.csv

├ data/kr-vs-kp/README.md

https://datahub.io/core/openml-datasets/_r/-/data/kr-vs-kp/README.md

├ data/kr-vs-kp/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/kr-vs-kp/datapackage.json

├ data/kr-vs-kp/kr-vs-kp.arff

https://datahub.io/core/openml-datasets/_r/-/data/kr-vs-kp/kr-vs-kp.arff

├ data/kr-vs-kp/kr-vs-kp.csv

https://datahub.io/core/openml-datasets/_r/-/data/kr-vs-kp/kr-vs-kp.csv

├ data/kropt/README.md

https://datahub.io/core/openml-datasets/_r/-/data/kropt/README.md

├ data/kropt/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/kropt/datapackage.json

├ data/kropt/kropt.arff

https://datahub.io/core/openml-datasets/_r/-/data/kropt/kropt.arff

├ data/kropt/kropt.csv

https://datahub.io/core/openml-datasets/_r/-/data/kropt/kropt.csv

├ data/letter/README.md

https://datahub.io/core/openml-datasets/_r/-/data/letter/README.md

├ data/letter/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/letter/datapackage.json

├ data/letter/letter.arff

https://datahub.io/core/openml-datasets/_r/-/data/letter/letter.arff

├ data/letter/letter.csv

https://datahub.io/core/openml-datasets/_r/-/data/letter/letter.csv

├ data/liver-disorders/README.md

https://datahub.io/core/openml-datasets/_r/-/data/liver-disorders/README.md

├ data/liver-disorders/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/liver-disorders/datapackage.json

├ data/liver-disorders/liver-disorders.arff

https://datahub.io/core/openml-datasets/_r/-/data/liver-disorders/liver-disorders.arff

├ data/liver-disorders/liver-disorders.csv

https://datahub.io/core/openml-datasets/_r/-/data/liver-disorders/liver-disorders.csv

├ data/lung-cancer/README.md

https://datahub.io/core/openml-datasets/_r/-/data/lung-cancer/README.md

├ data/lung-cancer/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/lung-cancer/datapackage.json

├ data/lung-cancer/lung-cancer.arff

https://datahub.io/core/openml-datasets/_r/-/data/lung-cancer/lung-cancer.arff

├ data/lung-cancer/lung-cancer.csv

https://datahub.io/core/openml-datasets/_r/-/data/lung-cancer/lung-cancer.csv

├ data/lymph/README.md

https://datahub.io/core/openml-datasets/_r/-/data/lymph/README.md

├ data/lymph/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/lymph/datapackage.json

├ data/lymph/lymph.arff

https://datahub.io/core/openml-datasets/_r/-/data/lymph/lymph.arff

├ data/lymph/lymph.csv

https://datahub.io/core/openml-datasets/_r/-/data/lymph/lymph.csv

├ data/madelon/README.md

https://datahub.io/core/openml-datasets/_r/-/data/madelon/README.md

├ data/madelon/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/madelon/datapackage.json

├ data/madelon/madelon.arff

https://datahub.io/core/openml-datasets/_r/-/data/madelon/madelon.arff

├ data/madelon/madelon.csv

https://datahub.io/core/openml-datasets/_r/-/data/madelon/madelon.csv

├ data/mammography/README.md

https://datahub.io/core/openml-datasets/_r/-/data/mammography/README.md

├ data/mammography/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/mammography/datapackage.json

├ data/mammography/mammography.arff

https://datahub.io/core/openml-datasets/_r/-/data/mammography/mammography.arff

├ data/mammography/mammography.csv

https://datahub.io/core/openml-datasets/_r/-/data/mammography/mammography.csv

├ data/mfeat-factors/README.md

https://datahub.io/core/openml-datasets/_r/-/data/mfeat-factors/README.md

├ data/mfeat-factors/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/mfeat-factors/datapackage.json

├ data/mfeat-factors/mfeat-factors.arff

https://datahub.io/core/openml-datasets/_r/-/data/mfeat-factors/mfeat-factors.arff

├ data/mfeat-factors/mfeat-factors.csv

https://datahub.io/core/openml-datasets/_r/-/data/mfeat-factors/mfeat-factors.csv

├ data/mfeat-karhunen/README.md

https://datahub.io/core/openml-datasets/_r/-/data/mfeat-karhunen/README.md

├ data/mfeat-karhunen/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/mfeat-karhunen/datapackage.json

├ data/mfeat-karhunen/mfeat-karhunen.arff

https://datahub.io/core/openml-datasets/_r/-/data/mfeat-karhunen/mfeat-karhunen.arff

├ data/mfeat-karhunen/mfeat-karhunen.csv

https://datahub.io/core/openml-datasets/_r/-/data/mfeat-karhunen/mfeat-karhunen.csv

├ data/mfeat-morphological/README.md

https://datahub.io/core/openml-datasets/_r/-/data/mfeat-morphological/README.md

├ data/mfeat-morphological/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/mfeat-morphological/datapackage.json

├ data/mfeat-morphological/mfeat-morphological.arff

https://datahub.io/core/openml-datasets/_r/-/data/mfeat-morphological/mfeat-morphological.arff

├ data/mfeat-morphological/mfeat-morphological.csv

https://datahub.io/core/openml-datasets/_r/-/data/mfeat-morphological/mfeat-morphological.csv

├ data/mfeat-pixel/README.md

https://datahub.io/core/openml-datasets/_r/-/data/mfeat-pixel/README.md

├ data/mfeat-pixel/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/mfeat-pixel/datapackage.json

├ data/mfeat-pixel/mfeat-pixel.arff

https://datahub.io/core/openml-datasets/_r/-/data/mfeat-pixel/mfeat-pixel.arff

├ data/mfeat-pixel/mfeat-pixel.csv

https://datahub.io/core/openml-datasets/_r/-/data/mfeat-pixel/mfeat-pixel.csv

├ data/mfeat-zernike/README.md

https://datahub.io/core/openml-datasets/_r/-/data/mfeat-zernike/README.md

├ data/mfeat-zernike/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/mfeat-zernike/datapackage.json

├ data/mfeat-zernike/mfeat-zernike.arff

https://datahub.io/core/openml-datasets/_r/-/data/mfeat-zernike/mfeat-zernike.arff

├ data/mfeat-zernike/mfeat-zernike.csv

https://datahub.io/core/openml-datasets/_r/-/data/mfeat-zernike/mfeat-zernike.csv

├ data/mozilla4/README.md

https://datahub.io/core/openml-datasets/_r/-/data/mozilla4/README.md

├ data/mozilla4/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/mozilla4/datapackage.json

├ data/mozilla4/mozilla4.arff

https://datahub.io/core/openml-datasets/_r/-/data/mozilla4/mozilla4.arff

├ data/mozilla4/mozilla4.csv

https://datahub.io/core/openml-datasets/_r/-/data/mozilla4/mozilla4.csv

├ data/mushroom/README.md

https://datahub.io/core/openml-datasets/_r/-/data/mushroom/README.md

├ data/mushroom/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/mushroom/datapackage.json

├ data/mushroom/mushroom.arff

https://datahub.io/core/openml-datasets/_r/-/data/mushroom/mushroom.arff

├ data/mushroom/mushroom.csv

https://datahub.io/core/openml-datasets/_r/-/data/mushroom/mushroom.csv

├ data/musk/README.md

https://datahub.io/core/openml-datasets/_r/-/data/musk/README.md

├ data/musk/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/musk/datapackage.json

├ data/musk/musk.arff

https://datahub.io/core/openml-datasets/_r/-/data/musk/musk.arff

├ data/musk/musk.csv

https://datahub.io/core/openml-datasets/_r/-/data/musk/musk.csv

├ data/nursery/README.md

https://datahub.io/core/openml-datasets/_r/-/data/nursery/README.md

├ data/nursery/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/nursery/datapackage.json

├ data/nursery/nursery.arff

https://datahub.io/core/openml-datasets/_r/-/data/nursery/nursery.arff

├ data/nursery/nursery.csv

https://datahub.io/core/openml-datasets/_r/-/data/nursery/nursery.csv

├ data/oil_spill/README.md

https://datahub.io/core/openml-datasets/_r/-/data/oil_spill/README.md

├ data/oil_spill/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/oil_spill/datapackage.json

├ data/oil_spill/oil_spill.arff

https://datahub.io/core/openml-datasets/_r/-/data/oil_spill/oil_spill.arff

├ data/oil_spill/oil_spill.csv

https://datahub.io/core/openml-datasets/_r/-/data/oil_spill/oil_spill.csv

├ data/one-hundred-plants-shape/README.md

https://datahub.io/core/openml-datasets/_r/-/data/one-hundred-plants-shape/README.md

├ data/one-hundred-plants-shape/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/one-hundred-plants-shape/datapackage.json

├ data/one-hundred-plants-shape/one-hundred-plants-shape.arff

https://datahub.io/core/openml-datasets/_r/-/data/one-hundred-plants-shape/one-hundred-plants-shape.arff

├ data/one-hundred-plants-shape/one-hundred-plants-shape.csv

https://datahub.io/core/openml-datasets/_r/-/data/one-hundred-plants-shape/one-hundred-plants-shape.csv

├ data/one-hundred-plants-texture/README.md

https://datahub.io/core/openml-datasets/_r/-/data/one-hundred-plants-texture/README.md

├ data/one-hundred-plants-texture/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/one-hundred-plants-texture/datapackage.json

├ data/one-hundred-plants-texture/one-hundred-plants-texture.arff

https://datahub.io/core/openml-datasets/_r/-/data/one-hundred-plants-texture/one-hundred-plants-texture.arff

├ data/one-hundred-plants-texture/one-hundred-plants-texture.csv

https://datahub.io/core/openml-datasets/_r/-/data/one-hundred-plants-texture/one-hundred-plants-texture.csv

├ data/optdigits/README.md

https://datahub.io/core/openml-datasets/_r/-/data/optdigits/README.md

├ data/optdigits/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/optdigits/datapackage.json

├ data/optdigits/optdigits.arff

https://datahub.io/core/openml-datasets/_r/-/data/optdigits/optdigits.arff

├ data/optdigits/optdigits.csv

https://datahub.io/core/openml-datasets/_r/-/data/optdigits/optdigits.csv

├ data/page-blocks/README.md

https://datahub.io/core/openml-datasets/_r/-/data/page-blocks/README.md

├ data/page-blocks/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/page-blocks/datapackage.json

├ data/page-blocks/page-blocks.arff

https://datahub.io/core/openml-datasets/_r/-/data/page-blocks/page-blocks.arff

├ data/page-blocks/page-blocks.csv

https://datahub.io/core/openml-datasets/_r/-/data/page-blocks/page-blocks.csv

├ data/pc1/README.md

https://datahub.io/core/openml-datasets/_r/-/data/pc1/README.md

├ data/pc1/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/pc1/datapackage.json

├ data/pc1/pc1.arff

https://datahub.io/core/openml-datasets/_r/-/data/pc1/pc1.arff

├ data/pc1/pc1.csv

https://datahub.io/core/openml-datasets/_r/-/data/pc1/pc1.csv

├ data/pc3/README.md

https://datahub.io/core/openml-datasets/_r/-/data/pc3/README.md

├ data/pc3/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/pc3/datapackage.json

├ data/pc3/pc3.arff

https://datahub.io/core/openml-datasets/_r/-/data/pc3/pc3.arff

├ data/pc3/pc3.csv

https://datahub.io/core/openml-datasets/_r/-/data/pc3/pc3.csv

├ data/pendigits/README.md

https://datahub.io/core/openml-datasets/_r/-/data/pendigits/README.md

├ data/pendigits/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/pendigits/datapackage.json

├ data/pendigits/pendigits.arff

https://datahub.io/core/openml-datasets/_r/-/data/pendigits/pendigits.arff

├ data/pendigits/pendigits.csv

https://datahub.io/core/openml-datasets/_r/-/data/pendigits/pendigits.csv

├ data/phoneme/README.md

https://datahub.io/core/openml-datasets/_r/-/data/phoneme/README.md

├ data/phoneme/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/phoneme/datapackage.json

├ data/phoneme/phoneme.arff

https://datahub.io/core/openml-datasets/_r/-/data/phoneme/phoneme.arff

├ data/phoneme/phoneme.csv

https://datahub.io/core/openml-datasets/_r/-/data/phoneme/phoneme.csv

├ data/profb/README.md

https://datahub.io/core/openml-datasets/_r/-/data/profb/README.md

├ data/profb/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/profb/datapackage.json

├ data/profb/profb.arff

https://datahub.io/core/openml-datasets/_r/-/data/profb/profb.arff

├ data/profb/profb.csv

https://datahub.io/core/openml-datasets/_r/-/data/profb/profb.csv

├ data/qsar-biodeg/README.md

https://datahub.io/core/openml-datasets/_r/-/data/qsar-biodeg/README.md

├ data/qsar-biodeg/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/qsar-biodeg/datapackage.json

├ data/qsar-biodeg/qsar-biodeg.arff

https://datahub.io/core/openml-datasets/_r/-/data/qsar-biodeg/qsar-biodeg.arff

├ data/qsar-biodeg/qsar-biodeg.csv

https://datahub.io/core/openml-datasets/_r/-/data/qsar-biodeg/qsar-biodeg.csv

├ data/satimage/README.md

https://datahub.io/core/openml-datasets/_r/-/data/satimage/README.md

├ data/satimage/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/satimage/datapackage.json

├ data/satimage/satimage.arff

https://datahub.io/core/openml-datasets/_r/-/data/satimage/satimage.arff

├ data/satimage/satimage.csv

https://datahub.io/core/openml-datasets/_r/-/data/satimage/satimage.csv

├ data/scene/README.md

https://datahub.io/core/openml-datasets/_r/-/data/scene/README.md

├ data/scene/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/scene/datapackage.json

├ data/scene/scene.arff

https://datahub.io/core/openml-datasets/_r/-/data/scene/scene.arff

├ data/scene/scene.csv

https://datahub.io/core/openml-datasets/_r/-/data/scene/scene.csv

├ data/segment/README.md

https://datahub.io/core/openml-datasets/_r/-/data/segment/README.md

├ data/segment/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/segment/datapackage.json

├ data/segment/segment.arff

https://datahub.io/core/openml-datasets/_r/-/data/segment/segment.arff

├ data/segment/segment.csv

https://datahub.io/core/openml-datasets/_r/-/data/segment/segment.csv

├ data/seismic-bumps/README.md

https://datahub.io/core/openml-datasets/_r/-/data/seismic-bumps/README.md

├ data/seismic-bumps/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/seismic-bumps/datapackage.json

├ data/seismic-bumps/seismic-bumps.arff

https://datahub.io/core/openml-datasets/_r/-/data/seismic-bumps/seismic-bumps.arff

├ data/seismic-bumps/seismic-bumps.csv

https://datahub.io/core/openml-datasets/_r/-/data/seismic-bumps/seismic-bumps.csv

├ data/semeion/README.md

https://datahub.io/core/openml-datasets/_r/-/data/semeion/README.md

├ data/semeion/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/semeion/datapackage.json

├ data/semeion/semeion.arff

https://datahub.io/core/openml-datasets/_r/-/data/semeion/semeion.arff

├ data/semeion/semeion.csv

https://datahub.io/core/openml-datasets/_r/-/data/semeion/semeion.csv

├ data/sick/README.md

https://datahub.io/core/openml-datasets/_r/-/data/sick/README.md

├ data/sick/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/sick/datapackage.json

├ data/sick/sick.arff

https://datahub.io/core/openml-datasets/_r/-/data/sick/sick.arff

├ data/sick/sick.csv

https://datahub.io/core/openml-datasets/_r/-/data/sick/sick.csv

├ data/sonar/README.md

https://datahub.io/core/openml-datasets/_r/-/data/sonar/README.md

├ data/sonar/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/sonar/datapackage.json

├ data/sonar/sonar.arff

https://datahub.io/core/openml-datasets/_r/-/data/sonar/sonar.arff

├ data/sonar/sonar.csv

https://datahub.io/core/openml-datasets/_r/-/data/sonar/sonar.csv

├ data/soybean/README.md

https://datahub.io/core/openml-datasets/_r/-/data/soybean/README.md

├ data/soybean/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/soybean/datapackage.json

├ data/soybean/soybean.arff

https://datahub.io/core/openml-datasets/_r/-/data/soybean/soybean.arff

├ data/soybean/soybean.csv

https://datahub.io/core/openml-datasets/_r/-/data/soybean/soybean.csv

├ data/spambase/README.md

https://datahub.io/core/openml-datasets/_r/-/data/spambase/README.md

├ data/spambase/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/spambase/datapackage.json

├ data/spambase/spambase.arff

https://datahub.io/core/openml-datasets/_r/-/data/spambase/spambase.arff

├ data/spambase/spambase.csv

https://datahub.io/core/openml-datasets/_r/-/data/spambase/spambase.csv

├ data/spectrometer/README.md

https://datahub.io/core/openml-datasets/_r/-/data/spectrometer/README.md

├ data/spectrometer/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/spectrometer/datapackage.json

├ data/spectrometer/spectrometer.arff

https://datahub.io/core/openml-datasets/_r/-/data/spectrometer/spectrometer.arff

├ data/spectrometer/spectrometer.csv

https://datahub.io/core/openml-datasets/_r/-/data/spectrometer/spectrometer.csv

├ data/steel-plates-fault/README.md

https://datahub.io/core/openml-datasets/_r/-/data/steel-plates-fault/README.md

├ data/steel-plates-fault/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/steel-plates-fault/datapackage.json

├ data/steel-plates-fault/steel-plates-fault.arff

https://datahub.io/core/openml-datasets/_r/-/data/steel-plates-fault/steel-plates-fault.arff

├ data/steel-plates-fault/steel-plates-fault.csv

https://datahub.io/core/openml-datasets/_r/-/data/steel-plates-fault/steel-plates-fault.csv

├ data/tic-tac-toe/README.md

https://datahub.io/core/openml-datasets/_r/-/data/tic-tac-toe/README.md

├ data/tic-tac-toe/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/tic-tac-toe/datapackage.json

├ data/tic-tac-toe/tic-tac-toe.arff

https://datahub.io/core/openml-datasets/_r/-/data/tic-tac-toe/tic-tac-toe.arff

├ data/tic-tac-toe/tic-tac-toe.csv

https://datahub.io/core/openml-datasets/_r/-/data/tic-tac-toe/tic-tac-toe.csv

├ data/vehicle/README.md

https://datahub.io/core/openml-datasets/_r/-/data/vehicle/README.md

├ data/vehicle/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/vehicle/datapackage.json

├ data/vehicle/vehicle.arff

https://datahub.io/core/openml-datasets/_r/-/data/vehicle/vehicle.arff

├ data/vehicle/vehicle.csv

https://datahub.io/core/openml-datasets/_r/-/data/vehicle/vehicle.csv

├ data/vote/README.md

https://datahub.io/core/openml-datasets/_r/-/data/vote/README.md

├ data/vote/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/vote/datapackage.json

├ data/vote/vote.arff

https://datahub.io/core/openml-datasets/_r/-/data/vote/vote.arff

├ data/vote/vote.csv

https://datahub.io/core/openml-datasets/_r/-/data/vote/vote.csv

├ data/wall-robot-navigation/README.md

https://datahub.io/core/openml-datasets/_r/-/data/wall-robot-navigation/README.md

├ data/wall-robot-navigation/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/wall-robot-navigation/datapackage.json

├ data/wall-robot-navigation/wall-robot-navigation.arff

https://datahub.io/core/openml-datasets/_r/-/data/wall-robot-navigation/wall-robot-navigation.arff

├ data/wall-robot-navigation/wall-robot-navigation.csv

https://datahub.io/core/openml-datasets/_r/-/data/wall-robot-navigation/wall-robot-navigation.csv

├ data/waveform-5000/README.md

https://datahub.io/core/openml-datasets/_r/-/data/waveform-5000/README.md

├ data/waveform-5000/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/waveform-5000/datapackage.json

├ data/waveform-5000/waveform-5000.arff

https://datahub.io/core/openml-datasets/_r/-/data/waveform-5000/waveform-5000.arff

├ data/waveform-5000/waveform-5000.csv

https://datahub.io/core/openml-datasets/_r/-/data/waveform-5000/waveform-5000.csv

├ data/wdbc/README.md

https://datahub.io/core/openml-datasets/_r/-/data/wdbc/README.md

├ data/wdbc/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/wdbc/datapackage.json

├ data/wdbc/wdbc.arff

https://datahub.io/core/openml-datasets/_r/-/data/wdbc/wdbc.arff

├ data/wdbc/wdbc.csv

https://datahub.io/core/openml-datasets/_r/-/data/wdbc/wdbc.csv

├ data/yeast/README.md

https://datahub.io/core/openml-datasets/_r/-/data/yeast/README.md

├ data/yeast/datapackage.json

https://datahub.io/core/openml-datasets/_r/-/data/yeast/datapackage.json

├ data/yeast/yeast.arff

https://datahub.io/core/openml-datasets/_r/-/data/yeast/yeast.arff

├ data/yeast/yeast.csv

https://datahub.io/core/openml-datasets/_r/-/data/yeast/yeast.csv

└ datapackage.json

https://datahub.io/core/openml-datasets/_r/-/datapackage.json

Key Files

Start with these files — they give you everything you need to understand and access the dataset.

data/Bioresponse/datapackage.json— metadata & schema

https://datahub.io/core/openml-datasets/_r/-/data/Bioresponse/datapackage.json

README.md— documentation

https://datahub.io/core/openml-datasets/_r/-/README.md

Typical Usage

1. Fetch data/Bioresponse/datapackage.json to inspect schema and resources
2. Download data resources listed in data/Bioresponse/datapackage.json
3. Read README.md for full context

Data Previews

first-order-theorem-proving

Unsupported data preview format `arff`

first-order-theorem-proving

Loading data...

Schema

name	type	format
V1	number	default
V2	number	default
V3	number	default
V4	number	default
V5	number	default
V6	number	default
V7	number	default
V8	number	default
V9	number	default
V10	number	default
V11	number	default
V12	number	default
V13	number	default
V14	number	default
V15	number	default
V16	number	default
V17	number	default
V18	number	default
V19	number	default
V20	number	default
V21	number	default
V22	number	default
V23	number	default
V24	number	default
V25	number	default
V26	number	default
V27	number	default
V28	number	default
V29	number	default
V30	number	default
V31	number	default
V32	number	default
V33	number	default
V34	number	default
V35	number	default
V36	number	default
V37	number	default
V38	number	default
V39	number	default
V40	number	default
V41	number	default
V42	number	default
V43	number	default
V44	number	default
V45	number	default
V46	number	default
V47	number	default
V48	number	default
V49	number	default
V50	number	default
V51	number	default
Class	number	default

Data Files

File	Description	Size	Last modified	Download
first-order-theorem-proving		2.69 MB	3 months ago	first-order-theorem-proving
first-order-theorem-proving		2.68 MB	3 months ago	first-order-theorem-proving

Files	Size	Format	Created	Updated	License	Source
2	5.37 MB	arff, csv		about 2 months ago	Open Data Commons Public Domain Dedication and License

The resources for this dataset can be found at https://www.openml.org/d/1475

Author: James P Bridge, Sean B Holden and Lawrence C Paulson

Source: UCI

Please cite: James P Bridge, Sean B Holden and Lawrence C Paulson . Machine learning for first-order theorem proving: learning to select a good heuristic. Journal of Automated Reasoning, Springer 2012/13.

Source:

James P Bridge, Sean B Holden and Lawrence C Paulson

University of Cambridge Computer Laboratory William Gates Building 15 JJ Thomson Avenue Cambridge CB3 0FD UK

+44 (0)1223 763500 forename.surname '@' cl.cam.ac.uk

Data Set Information:

See the file dataset file.

Attribute Information:

The attributes are a mixture of static and dynamic features derived from theorems to be proved. See the paper for full details.