☆26Feb 1, 2023Updated 3 years ago
Alternatives and similar repositories for Socrates
Users that are interested in Socrates are comparing it to the libraries listed below
Sorting:
- White-box Fairness Testing through Adversarial Sampling☆13Apr 16, 2021Updated 4 years ago
- Prolog specification of TensorFlow layers☆14Jun 12, 2023Updated 2 years ago
- Source code, datasets and models of the paper "Efficient White-box Fairness Testing through Gradient Search" by Lingfeng Zhang, Yueling Z…☆11Jul 24, 2021Updated 4 years ago
- Code for "Astraea: Grammar-based Fairness Testing"☆10Jan 7, 2022Updated 4 years ago
- ☆15Apr 27, 2024Updated last year
- This repo keeps track of popular provable training and verification approaches towards robust neural networks, including leaderboards on …☆98Oct 18, 2022Updated 3 years ago
- ☆19Aug 18, 2019Updated 6 years ago
- The released code of Neurify in NIPS 2018☆50Dec 8, 2022Updated 3 years ago
- Safety Verification of Deep Neural Networks☆50Feb 5, 2018Updated 8 years ago
- ☆77Feb 15, 2026Updated 2 weeks ago
- Bill of Materials and all parts for Ultimaker Original Heated Bed Upgrade☆12Sep 7, 2021Updated 4 years ago
- Utils for Cryptography class (1047622)☆14Nov 13, 2025Updated 3 months ago
- Study of a hypothetical attack scenario where an attacker corrupts images that are fed into an AI system, and has only a few chances befo…☆14Aug 31, 2021Updated 4 years ago
- Preparation materials for CEAi Precision Workshop #1 on Bayesian modelling☆11May 16, 2018Updated 7 years ago
- Simple and minimalistic Mopidy HTTP client, touch friendly, works in most (mobile) web browsers☆12Jun 8, 2015Updated 10 years ago
- ☆11Nov 14, 2024Updated last year
- A script to copy/backup the backup files from a Proxmox server to an external harddrive and a tape device☆10Apr 30, 2025Updated 10 months ago
- Preparing Proxmox VE after installation☆16Feb 22, 2020Updated 6 years ago
- Displays Habitica tasks in calendar format, along with some other helpful info and a sleep toggle.☆13Oct 6, 2023Updated 2 years ago
- 🌟 SwarmAgent: A framework for simulating social group dynamics using multi-agent collaboration, aiding insights into collective behavior…☆12Dec 5, 2023Updated 2 years ago
- Automation for NPM reverse proxy manager☆13Feb 17, 2025Updated last year
- FANC is a tool for the proof transfer of incomplete verification☆12Mar 20, 2022Updated 3 years ago
- The Charon tool for analyzing neural network robustness☆13Mar 19, 2020Updated 5 years ago
- ☆11Apr 18, 2023Updated 2 years ago
- Modified Logisic Regression for the Positive and Unlabeled Learning Problem☆12Feb 1, 2014Updated 12 years ago
- ☆10Jan 3, 2023Updated 3 years ago
- ☆12Jun 26, 2020Updated 5 years ago
- Implemention of "Robust Watermarking of Neural Network with Exponential Weighting" in TensorFlow.☆13Dec 2, 2020Updated 5 years ago
- This repository contains the reference implementation of the additive autoencoder. The technique is derived and experiments summarized in…☆13Oct 13, 2022Updated 3 years ago
- Tools to extend the functionality of proxmox☆13Jul 6, 2018Updated 7 years ago
- Brutteforce for stego CTFs☆16Nov 2, 2022Updated 3 years ago
- LLM-based mutation testing☆14Feb 3, 2025Updated last year
- ☆101Jul 8, 2020Updated 5 years ago
- ☆13May 17, 2025Updated 9 months ago
- Codes for reproducing the experimental results in "Proper Network Interpretability Helps Adversarial Robustness in Classification", publi…☆13Jun 29, 2020Updated 5 years ago
- ☆11Sep 3, 2020Updated 5 years ago
- A task summary, plan, and burndown chart for building software together☆13Jun 7, 2021Updated 4 years ago
- A Multi-Agent Approach Integrating Socratic Guidance for Automated Prompt Optimization☆17Dec 15, 2025Updated 2 months ago
- ☆14Apr 7, 2022Updated 3 years ago