LearningLinear
Imports
open LearningCore;
Functions
def logistic_regression (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 ridge_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 sgd_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 perceptron (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 passive_aggressive_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 linear_regression (ds: {d : Dataset | independent_target d = True && has_missing d = False}) : {m : SklearnRegressor | reg_features m = ds_features ds}
def ridge (ds: {d : Dataset | independent_target d = True && has_missing d = False}) : {m : SklearnRegressor | reg_features m = ds_features ds}
def ridge_alpha (alpha: {a : Float | a ≥ 0.0}) (ds: {d : Dataset | independent_target d = True && has_missing d = False}) : {m : SklearnRegressor | reg_features m = ds_features ds}
def lasso (ds: {d : Dataset | independent_target d = True && has_missing d = False}) : {m : SklearnRegressor | reg_features m = ds_features ds}
def lasso_alpha (alpha: {a : Float | a ≥ 0.0}) (ds: {d : Dataset | independent_target d = True && has_missing d = False}) : {m : SklearnRegressor | reg_features m = ds_features ds}
def elastic_net (ds: {d : Dataset | independent_target d = True && has_missing d = False}) : {m : SklearnRegressor | reg_features m = ds_features ds}
def bayesian_ridge (ds: {d : Dataset | independent_target d = True && has_missing d = False}) : {m : SklearnRegressor | reg_features m = ds_features ds}
def ard_regression (ds: {d : Dataset | independent_target d = True && has_missing d = False}) : {m : SklearnRegressor | reg_features m = ds_features ds}
def sgd_regressor (ds: {d : Dataset | independent_target d = True && has_missing d = False}) : {m : SklearnRegressor | reg_features m = ds_features ds}
def huber_regressor (ds: {d : Dataset | independent_target d = True && has_missing d = False}) : {m : SklearnRegressor | reg_features m = ds_features ds}
def passive_aggressive_regressor (ds: {d : Dataset | independent_target d = True && has_missing d = False}) : {m : SklearnRegressor | reg_features m = ds_features ds}
def theil_sen_regressor (ds: {d : Dataset | independent_target d = True && has_missing d = False}) : {m : SklearnRegressor | reg_features m = ds_features ds}
def ransac_regressor (ds: {d : Dataset | independent_target d = True && has_missing d = False}) : {m : SklearnRegressor | reg_features m = ds_features ds}
def orthogonal_matching_pursuit (ds: {d : Dataset | independent_target d = True && has_missing d = False}) : {m : SklearnRegressor | reg_features m = ds_features ds}
def lars (ds: {d : Dataset | independent_target d = True && has_missing d = False}) : {m : SklearnRegressor | reg_features m = ds_features ds}
def lasso_lars (ds: {d : Dataset | independent_target d = True && has_missing d = False}) : {m : SklearnRegressor | reg_features m = ds_features ds}
def poisson_regressor (ds: {d : Dataset | independent_target d = True && has_missing d = False}) : {m : SklearnRegressor | reg_features m = ds_features ds}
def gamma_regressor (ds: {d : Dataset | independent_target d = True && has_missing d = False}) : {m : SklearnRegressor | reg_features m = ds_features ds}
def tweedie_regressor (ds: {d : Dataset | independent_target d = True && has_missing d = False}) : {m : SklearnRegressor | reg_features m = ds_features ds}
def quantile_regressor (ds: {d : Dataset | independent_target d = True && has_missing d = False}) : {m : SklearnRegressor | reg_features m = ds_features ds}