Lorenzo Cazzaro's repositories
Verifiable-Learning-Robust-Tree-Ensembles
Artifact of the paper "Verifiable Learning for Robust Tree Ensembles" (CCS 2023)
python_blockchain_app
A fully functional blockchain application implemented in Python from scratch (with tutorial).
ARBAC-analyser
ARBAC analyser for small policies in Python
explainable-global-fairness-verification
Artifact of the paper "Explainable Global Fairness Verification of Tree-Based Classifiers" (SaTML 2022)
LightGBM
A fast, distributed, high performance gradient boosting (GBT, GBDT, GBRT, GBM or MART) framework based on decision tree algorithms, used for ranking, classification and many other machine learning tasks.
PO-Unive-Project-Container-Library
Project for the Object-Oriented Programming course at Ca' Foscari University
scikit-learn
scikit-learn: machine learning in Python
silva
Silvarum Interpretatione Lator Valens Analysis - Stability analyzer for tree ensemble calssifiers.
TAW-project
Project for university course of web applications and technologies, use of Angular/Express/JWT/Socket-io/Mongo/NodeJS