LearningEnsembles
Imports
open LearningCore;
Functions
def random_forest_classifier (ds: {d : Dataset | independent_target d = True && has_missing d = False}) : {m : SklearnClassifier | clf_features m = ds_features ds && clf_classes m = ds_classes ds}
def random_forest_classifier_n (n: {k : Int | k > 0}) (ds: {d : Dataset | independent_target d = True && has_missing d = False}) : {m : SklearnClassifier | clf_features m = ds_features ds && clf_classes m = ds_classes ds}
def gradient_boosting_classifier (ds: {d : Dataset | independent_target d = True && has_missing d = False}) : {m : SklearnClassifier | clf_features m = ds_features ds && clf_classes m = ds_classes ds}
def adaboost_classifier (ds: {d : Dataset | independent_target d = True && has_missing d = False}) : {m : SklearnClassifier | clf_features m = ds_features ds && clf_classes m = ds_classes ds}
def bagging_classifier (ds: {d : Dataset | independent_target d = True && has_missing d = False}) : {m : SklearnClassifier | clf_features m = ds_features ds && clf_classes m = ds_classes ds}
def hist_gradient_boosting_classifier (ds: {d : Dataset | independent_target d = True && has_missing d = False}) : {m : SklearnClassifier | clf_features m = ds_features ds && clf_classes m = ds_classes ds}
def random_forest_regressor (ds: {d : Dataset | independent_target d = True && has_missing d = False}) : {m : SklearnRegressor | reg_features m = ds_features ds}
def random_forest_regressor_n (n: {k : Int | k > 0}) (ds: {d : Dataset | independent_target d = True && has_missing d = False}) : {m : SklearnRegressor | reg_features m = ds_features ds}
def gradient_boosting_regressor (ds: {d : Dataset | independent_target d = True && has_missing d = False}) : {m : SklearnRegressor | reg_features m = ds_features ds}
def adaboost_regressor (ds: {d : Dataset | independent_target d = True && has_missing d = False}) : {m : SklearnRegressor | reg_features m = ds_features ds}
def bagging_regressor (ds: {d : Dataset | independent_target d = True && has_missing d = False}) : {m : SklearnRegressor | reg_features m = ds_features ds}
def hist_gradient_boosting_regressor (ds: {d : Dataset | independent_target d = True && has_missing d = False}) : {m : SklearnRegressor | reg_features m = ds_features ds}