andadiana / cannon-algorithm-mpiLinks
Cannon's Matrix Multiplication Algorithm using MPI
☆11Updated 5 years ago
Alternatives and similar repositories for cannon-algorithm-mpi
Users that are interested in cannon-algorithm-mpi are comparing it to the libraries listed below
Sorting:
- Playing Dots and Boxes in Python against AI using min-max and alpha-beta pruning☆12Updated 6 years ago
- BandMaxSAT: Multi-armed Bandit for the Local Search MaxSAT Solver☆11Updated 2 years ago
- THU-AIR 联邦学习隐私与安全☆13Updated 2 years ago
- reveal the vulnerabilities of SplitNN☆31Updated 3 years ago
- Pytorch implementation of Bit-Flip based adversarial weight Attack (BFA)☆33Updated 4 years ago
- ☆19Updated 4 years ago
- Tool to symbolically execute eBPF programs☆17Updated last year
- Learning Security Classifiers with Verified Global Robustness Properties (CCS'21) https://arxiv.org/pdf/2105.11363.pdf☆28Updated 3 years ago
- ☆26Updated 5 years ago
- Privacy Budget Orchestration in Machine Learning Workloads (OSDI '21)☆25Updated 2 years ago
- Library for training globally-robust neural networks.☆30Updated 3 months ago
- ☆13Updated 2 years ago
- Open source release from our ICLR 2020 paper, CLN2INV: Learning Loop Invariants with Continuous Logic Networks.☆21Updated 5 years ago
- ☆12Updated 6 years ago
- Integration of SplitNN for vertically partitioned data with OpenMined's PySyft☆28Updated 5 years ago
- ☆28Updated 2 years ago
- DRSM: De-Randomized Smoothing on Malware Classifier Providing Certified Robustness (ICLR 2024)☆14Updated last year
- Privacy attacks on Split Learning☆42Updated 4 years ago
- The zero knowledge proof system used in Delta.☆13Updated 2 years ago
- Differential Privacy Testing System☆22Updated 5 years ago
- The library for symbolic interval☆21Updated 5 years ago
- ☆15Updated last year
- Secure Inference Resilient Against Malicious Clients☆15Updated 3 years ago
- In the repository we provide a sample code to implement the Targeted Bit Trojan attack.☆19Updated 5 years ago
- template for https://cnli.me☆10Updated 9 months ago
- A Framework for Deep Neural Network Verification☆57Updated 11 months ago
- ☆66Updated 11 months ago
- Statistical Counterexample Detector for Differential Privacy☆28Updated last year
- ☆42Updated 7 months ago
- Privacy preserving vertical federated learning for tree-based models☆30Updated 4 years ago