sbuschjaeger / fastinference
☆14Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for fastinference
- alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, 2023, and 2024)☆239Updated 3 months ago
- ☆27Updated 6 months ago
- POLAR official tool☆19Updated last month
- Specification-based real-time monitoring library☆50Updated 9 months ago
- ☆260Updated 2 weeks ago
- ETH Robustness Analyzer for Deep Neural Networks☆321Updated last year
- The latest source code of the tool Flow*☆21Updated last year
- Torchhd is a Python library for Hyperdimensional Computing and Vector Symbolic Architectures☆245Updated this week
- Efficient Spiking Neural Network framework, built on top of PyTorch for GPU acceleration☆218Updated 3 months ago
- Aggregate multiple tensorboard runs to new summary or csv files☆167Updated last year
- VerifAI is a software toolkit for the formal design and analysis of systems that include artificial intelligence (AI) and machine learnin…☆172Updated 2 months ago
- Reachability Analysis Tool of Neural Network Controlled Systems (NNCSs)☆17Updated last year
- Documentation and scripts related to the .nnet file format. This file format specifies a simple text file to define feed-forward, fully-c…☆40Updated last year
- reinforcement learning from randomized simulations☆64Updated this week
- The Mighty cRL library you've been looking for!☆17Updated last month
- ☆12Updated last week
- ☆16Updated 2 years ago
- auto_LiRPA: An Automatic Linear Relaxation based Perturbation Analysis Library for Neural Networks and General Computational Graphs☆287Updated 7 months ago
- TinyNS: Platform-Aware Neurosymbolic Auto Tiny Machine Learning☆18Updated last year
- Labs for understanding and coding Standard Reinforcement Learning concepts☆52Updated 5 years ago
- Python library for working with Metric Temporal Logic (MTL)☆93Updated last year
- Neural network verification in JAX☆142Updated last year
- Neural Network Verification Software Tool☆113Updated last month
- A Framework for Deep Neural Network Verification☆56Updated 8 months ago
- ☆17Updated last year
- Build and train Lipschitz constrained networks: TensorFlow implementation of k-Lipschitz layers☆89Updated 3 weeks ago
- Repository for the GRAIC synthesis competition☆23Updated 11 months ago
- ☆336Updated last year
- GDVB| Systematic Generation of Diverse Benchmarks for DNN Verification☆9Updated 5 months ago
- This repository collects supplementary material to study reinforcement learning with a focus on topics covered by the TU Darmstadt IAS le…☆12Updated 5 years ago