silva
Stability analyzer
An abstract interpretation tool for proving stability-related properties of tree ensemble classifiers by analyzing the output of perturbed inputs.
Silvarum Interpretatione Lator Valens Analysis - Stability analyzer for tree ensemble calssifiers.
7 stars
3 watching
2 forks
Language: C
last commit: over 1 year ago
Linked from 1 awesome list
benedekrozemberczki/awesome-decision-tree-papersRelated projects:
| Repository | Description | Stars |
|---|---|---|
 davidavdav/rocanalysis.jl | A tool for analyzing and evaluating probabilistic binary classifiers | 32 |
 carlos-alberto-silva/weblidar-treetop | An R-based application for analyzing LiDAR data in forest ecosystems | 117 |
 stil4m/elm-analyse | A tool that analyzes and improves Elm code quality by identifying deficiencies and applying best practices | 415 |
 analysis-tools-dev/dynamic-analysis | A curated list of tools and linters to analyze and improve code quality in various programming languages and environments. | 956 |
 andrew-plowright/foresttools | A collection of R functions for analyzing and processing remote sensing forest data to detect and segment individual trees. | 68 |
 antique-team/memcad | Analyzes C code for its memory layout and dependencies | 25 |
 airbus-seclab/bincat | A toolset for analyzing binary code with IDA integration and support for value, taint analysis, type reconstruction, and detection of use-after-free and double-free bugs. | 1,706 |
 chguiterman/dfoliatr | An R package for analyzing tree-ring data to identify insect defoliators and disturbances in forests | 7 |
 jbarczak/pyramid | A tool for offline shader validation and analysis of graphics shaders written in HLSL or GLSL | 304 |
 davidm/lua-inspect | Analyzes Lua code and provides features such as variable identification, type inference, function signature checking, and refactoring support. | 173 |
 henselman-petrusek/eirene.jl | A Julia library for analyzing point data using homological persistence techniques | 117 |
 fabian-jung/tsmp | Tool to generate meta-programming capabilities from source code analysis | 97 |
 alan-turing-institute/monitoring-ecosystem-resilience | Develops tools to analyze satellite imagery and simulate vegetation patterns for understanding ecosystem resilience | 23 |
 giuseppec/featureimportance | A tool to assess feature importance in machine learning models | 33 |
 mbechler/serianalyzer | Analyzes Java bytecode to identify potential deserialization vulnerabilities. | 240 |