Laurens's repositories

bitboost

Fast Gradient Boosting Decision Trees with Bit-Level Data Structures

Language:RustLicense:NOASSERTIONStargazers:16Issues:2Issues:1

veritas

Versatile Verification of Tree Ensembles

Language:PythonLicense:NOASSERTIONStargazers:16Issues:3Issues:3

treeck

Verify properties of additive tree ensembles.

Language:PythonLicense:NOASSERTIONStargazers:5Issues:4Issues:0

02247-compiler

Project for 02247 compiler course.

Language:C++License:MITStargazers:0Issues:4Issues:0
Language:RustStargazers:0Issues:2Issues:1

Distributions.jl

A Julia package for probability distributions and associated functions.

Language:JuliaLicense:NOASSERTIONStargazers:0Issues:2Issues:0

dtai-personal-page

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

Language:SCSSLicense:MITStargazers:0Issues:1Issues:0

LibExpat.jl

Julia interface to the Expat XML parser library

Language:JuliaLicense:NOASSERTIONStargazers:0Issues:2Issues:0

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.

Language:C++License:MITStargazers:0Issues:3Issues:0

prada

A fine selection of PRActically useful tabular DAtasets

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

tree-ensemble-attack

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

Language:C++License:MITStargazers:0Issues:0Issues:0
Language:PythonLicense:NOASSERTIONStargazers:0Issues:0Issues:0

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)

Language:C++License:MITStargazers:0Issues:0Issues:0

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).

Language:JuliaLicense:NOASSERTIONStargazers:0Issues:2Issues:0