Machine Learning Safety
☆48Feb 3, 2026Updated 9 months ago
Alternatives and similar repositories for AISafetyLectureNotes
Users that are interested in AISafetyLectureNotes are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆10Nov 5, 2016Updated 10 years ago
- ☆31May 30, 2024Updated 2 years ago
- ☆23Mar 20, 2021Updated 5 years ago
- ETH Robustness Analyzer for Deep Neural Networks☆347Jan 27, 2023Updated 3 years ago
- Incremental Verification of DNNs (https://arxiv.org/abs/2304.01874)☆11Apr 10, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Programming language based on the synchronous and constraint paradigms☆15Oct 13, 2020Updated 6 years ago
- A reachability analysis tool for neural network controlled system, based on the alpha-beta-CROWN framework☆12May 14, 2026Updated 5 months ago
- Certify Model Checking Witnesses in AIGER☆14Oct 16, 2026Updated 3 weeks ago
- ☆23Oct 25, 2024Updated 2 years ago
- Certifying Geometric Robustness of Neural Networks☆16Mar 24, 2023Updated 3 years ago
- Learning and optimization algorithms compatible with EngiBench☆19Oct 1, 2026Updated last month
- A modular decision-making framework combining graph-based physical perception with LLM-driven reasoning, tested in dynamic and uncertain …☆12Feb 27, 2026Updated 8 months ago
- Automated Question-Answering Over Knowledge Graphs in O&M of Wind Turbines☆14Aug 16, 2022Updated 4 years ago
- FANC is a tool for the proof transfer of incomplete verification☆13Aug 20, 2026Updated 2 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆63Apr 2, 2021Updated 5 years ago
- Command line script and Python library to work with time-series data.☆10Oct 6, 2026Updated last month
- A Self-Consistent Robust Error (ICML 2022)☆69Jun 25, 2023Updated 3 years ago
- Large Scale Graphical Model☆10Jun 7, 2018Updated 8 years ago
- Code for CHI'23 - DeepLens☆10Sep 22, 2023Updated 3 years ago
- Venus is a state-of-the-art sound and complete verification toolkit for Relu-based feed-forward neural networks. It can be used to check…☆15Aug 31, 2022Updated 4 years ago
- Gomoku-o1 : AI Five-in-a-Row – This Python project, created with ChatGPT o1, features MCTS-based AI, multi-language support. Through this…☆10Jan 10, 2025Updated last year
- clock_plot provides a simple way to visualize timeseries data, mapping 24 hours onto the 360 degrees of a polar plot☆15Apr 5, 2022Updated 4 years ago
- Official Implementation of "Transferring Inductive Biases Through Knowledge Distillation"☆16Jun 3, 2020Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- On Simple Reactive Neural Networks for Behaviour-Based Reinforcement Learning by Ameya Pore and Gerardo Aragon-Camarasa☆11Jan 28, 2020Updated 6 years ago
- Concolic Testing for Deep Neural Networks☆117Jul 16, 2021Updated 5 years ago
- A web page with resources for teaching with formal methods and tools.☆14Apr 8, 2023Updated 3 years ago
- ☆10Feb 28, 2019Updated 7 years ago
- Repository containing the PhD Thesis "Formal Verification of Deep Reinforcement Learning Agents"☆11Aug 29, 2022Updated 4 years ago
- ☆15Dec 11, 2012Updated 13 years ago
- Python bindings for Matroid API☆17Oct 23, 2026Updated 2 weeks ago
- OVAL framework for BaB-based Neural Network Verification☆18May 8, 2026Updated 5 months ago
- My talk on using LSTM & HTM for anomaly detection @ Google Developers Group.☆10Jun 11, 2017Updated 9 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- TalkingData AdTracking Fraud Detection Challenge on Kaggle Competition☆13Sep 24, 2018Updated 8 years ago
- Automatically fetch metadata for your music collection and rename files accordingly☆16Jun 8, 2017Updated 9 years ago
- An Approximated Gradient Sign Method Using Differential Evolution For Black-box Adversarial Attack☆11Feb 25, 2022Updated 4 years ago
- The official implementation of Self-aware Object Detection [CVPR 2023]☆13Jun 30, 2023Updated 3 years ago
- Code for our TMLR '24-ICLR '25 work: MMD-Regularized UOT.☆10Jun 23, 2025Updated last year
- The official PyTorch code for AAAI'23 Paper "Sparse Coding in a Dual Memory System for Lifelong Learning"☆12Feb 15, 2023Updated 3 years ago
- Click-Through Rate Estimation for Rare Events in Online Advertising☆14Oct 17, 2018Updated 8 years ago