Pinned Repositories
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
ocscore
prada
A fine selection of PRActically useful tabular DAtasets
tree_compress
treeck
Verify properties of additive tree ensembles.
veritas
Versatile Verification of Tree Ensembles
laudv's Repositories
laudv/bitboost
Fast Gradient Boosting Decision Trees with Bit-Level Data Structures
laudv/veritas
Versatile Verification of Tree Ensembles
laudv/treeck
Verify properties of additive tree ensembles.
laudv/ocscore
laudv/02247-compiler
Project for 02247 compiler course.
laudv/aisolver
laudv/Distributions.jl
A Julia package for probability distributions and associated functions.
laudv/dtai-personal-page
A template for members of the DTAI research group for their personal pages, based on the Jekyll al-folio template
laudv/LibExpat.jl
Julia interface to the Expat XML parser library
laudv/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.
laudv/prada
A fine selection of PRActically useful tabular DAtasets
laudv/tree-ensemble-attack
Fork of [NeurIPS 2020] Code for "An Efficient Adversarial Attack for Tree Ensembles"
laudv/tree_compress
laudv/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)
laudv/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).