package caisar
A platform for characterizing the safety and robustness of artificial intelligence based software
Install
Dune Dependency
Authors
Maintainers
Sources
caisar-2.0.tbz
sha256=3d24d2940eed0921acba158a8970687743c401c6a99d0aac8ed6dcfedca1429c
sha512=0b4484c0e080b8ba22722fe9d5665f9015ebf1648ac89c566a978dd54e3e061acb63edd92e078eed310e26f3e8ad2c48f3682a24af2acb1f0633da12f7966a38
doc/caisar.xgboost/Caisar_xgboost/Parser/index.html
Module Caisar_xgboost.Parser
Source
From https://github.com/dmlc/xgboost/raw/master/doc/model.schema
Source
val assoc :
(string
* (Yojson.Safe.t ->
(string * Yojson.Safe.t) list ->
'a Ppx_deriving_yojson_runtime.error_or))
list ->
Yojson.Safe.t ->
'a Ppx_deriving_yojson_runtime.error_or
Source
val pp_int_option :
Ppx_deriving_runtime.Format.formatter ->
int_option ->
Ppx_deriving_runtime.unit
Source
and tree = {
tree_param : tree_param;
id : int;
loss_changes : float array;
sum_hessian : float array;
base_weights : float array;
left_children : int array;
right_children : int array;
parents : int_option array;
split_indices : int array;
split_conditions : float array;
split_type : int array;
default_left : bool array;
categories : int array;
categories_nodes : int array;
categories_segments : int array;
categories_sizes : int array;
}
Source
and gbtree = {
gbtree_model_param : gbtree_model_param;
trees : tree array;
tree_info : int array;
}
Source
val pp_gbtree_model_param :
Ppx_deriving_runtime.Format.formatter ->
gbtree_model_param ->
Ppx_deriving_runtime.unit
Source
val pp_tree_param :
Ppx_deriving_runtime.Format.formatter ->
tree_param ->
Ppx_deriving_runtime.unit
Source
val pp_reg_loss_param :
Ppx_deriving_runtime.Format.formatter ->
reg_loss_param ->
Ppx_deriving_runtime.unit
Source
val pp_pseudo_huber_param :
Ppx_deriving_runtime.Format.formatter ->
pseudo_huber_param ->
Ppx_deriving_runtime.unit
Source
val pp_aft_loss_param :
Ppx_deriving_runtime.Format.formatter ->
aft_loss_param ->
Ppx_deriving_runtime.unit
Source
val pp_softmax_multiclass_param :
Ppx_deriving_runtime.Format.formatter ->
softmax_multiclass_param ->
Ppx_deriving_runtime.unit
Source
val pp_lambda_rank_param :
Ppx_deriving_runtime.Format.formatter ->
lambda_rank_param ->
Ppx_deriving_runtime.unit
Source
val pp_gblinear :
Ppx_deriving_runtime.Format.formatter ->
gblinear ->
Ppx_deriving_runtime.unit
Source
val pp_learner_model_param :
Ppx_deriving_runtime.Format.formatter ->
learner_model_param ->
Ppx_deriving_runtime.unit
Source
val gbtree_model_param_of_yojson :
Yojson.Safe.t ->
gbtree_model_param Ppx_deriving_yojson_runtime.error_or
Source
val reg_loss_param_of_yojson :
Yojson.Safe.t ->
reg_loss_param Ppx_deriving_yojson_runtime.error_or
Source
val pseudo_huber_param_of_yojson :
Yojson.Safe.t ->
pseudo_huber_param Ppx_deriving_yojson_runtime.error_or
Source
val aft_loss_param_of_yojson :
Yojson.Safe.t ->
aft_loss_param Ppx_deriving_yojson_runtime.error_or
Source
val softmax_multiclass_param_of_yojson :
Yojson.Safe.t ->
softmax_multiclass_param Ppx_deriving_yojson_runtime.error_or
Source
val lambda_rank_param_of_yojson :
Yojson.Safe.t ->
lambda_rank_param Ppx_deriving_yojson_runtime.error_or
Source
val learner_model_param_of_yojson :
Yojson.Safe.t ->
learner_model_param Ppx_deriving_yojson_runtime.error_or
Source
val pp_gradient_booster :
Ppx_deriving_runtime.Format.formatter ->
gradient_booster ->
Ppx_deriving_runtime.unit
Source
val gradient_booster_of_yojson :
Yojson.Safe.t ->
gradient_booster Ppx_deriving_yojson_runtime.error_or
Source
val gradient_booster_to_yojson :
gradient_booster ->
[> `Assoc of (string * Yojson.Safe.t) list ]
Source
type objective =
| Reg_squarederror of reg_loss_param
| Reg_pseudohubererror of reg_loss_param
| Reg_squaredlogerror of reg_loss_param
| Reg_linear of reg_loss_param
| Binary_logistic of reg_loss_param
Source
val pp_objective :
Ppx_deriving_runtime.Format.formatter ->
objective ->
Ppx_deriving_runtime.unit
Source
type learner = {
feature_names : string array;
feature_types : string array;
gradient_booster : gradient_booster;
objective : objective;
learner_model_param : learner_model_param;
}
Source
val pp_learner :
Ppx_deriving_runtime.Format.formatter ->
learner ->
Ppx_deriving_runtime.unit
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>