laudv Goto Github PK

02247-compiler

Project for 02247 compiler course.

aisolver

bitboost

Fast Gradient Boosting Decision Trees with Bit-Level Data Structures

distributions.jl

A Julia package for probability distributions and associated functions.

dtai-personal-page

A template for members of the DTAI research group for their personal pages, based on the Jekyll al-folio template

libexpat.jl

Julia interface to the Expat XML parser library

lightgbm

A fast, distributed, high performance gradient boosting (GBDT, GBRT, GBM or MART) framework based on decision tree algorithms, used for ranking, classification and many other machine learning tasks. It is under the umbrella of the DMTK(http://github.com/microsoft/dmtk) project of Microsoft.

ocscore

prada

A fine selection of PRActically useful tabular DAtasets

tree-ensemble-attack

Fork of [NeurIPS 2020] Code for "An Efficient Adversarial Attack for Tree Ensembles"

tree_compress

treeck

Verify properties of additive tree ensembles.

treeverification

[NeurIPS 2019] H. Chen*, H. Zhang*, S. Si, Y. Li, D. Boning and C.-J. Hsieh, Robustness Verification of Tree-based Models (*equal contribution)

unitfloat.jl

A 64-bit floating point implementation for the unit interval with increased dynamic range (41 exponent bits) and the same precision as float32 (23 fraction bits).

veritas

Versatile Verification of Tree Ensembles