Alternatives and similar repositories for nsf-template

Users that are interested in nsf-template are comparing it to the libraries listed below

• surrealyz / verified-global-properties
  Learning Security Classifiers with Verified Global Robustness Properties (CCS'21) https://arxiv.org/pdf/2105.11363.pdf
  ☆28Updated 3 years ago
• self-checker / SelfChecker
  ICSE2021 Submission
  ☆13Updated 3 years ago
• klasleino / gloro
  Library for training globally-robust neural networks.
  ☆29Updated 2 months ago
• columbia / PrivateKube
  Privacy Budget Orchestration in Machine Learning Workloads (OSDI '21)
  ☆25Updated 2 years ago
• vijay03 / dblp-python
  Simple python scripts which identify papers authored by PC members in various conferences. Conference info pulled from DBLP.
  ☆19Updated 5 years ago
• akshithasriraman / Accelerometer
  The accelerometer analytical model published in ASPLOS 2020 (Accelerometer: Understanding Acceleration Opportunities forData Center Overh…
  ☆15Updated 5 years ago
• IBM / CNN-Cert
  Codes for reproducing the experimental results in "CNN-Cert: An Efficient Framework for Certifying Robustness of Convolutional Neural Net…
  ☆27Updated 4 years ago
• cleverhans-lab / capc-iclr
  CaPC is a method that enables collaborating parties to improve their own local heterogeneous machine learning models in a setting where b…
  ☆26Updated 3 years ago
• hku-systems / SOTER
  ☆27Updated last year
• csfaculty / csfaculty.github.io
  Interview questions for Computer Science faculty jobs
  ☆40Updated last year
• Lodour / wisc-thesis-template
  A Minimum Working Example of the Dissertation Template for UW-Madison.
  ☆11Updated last year
• emeryberger / csconferences
  Major CS conference publication stats (including accepted and submitted) by year.
  ☆151Updated last month
• ziqi-zhang / TEESlice-artifact
  ☆39Updated 6 months ago
• AI-secure / VeriGauge
  A united toolbox for running major robustness verification approaches for DNNs. [S&P 2023]
  ☆90Updated 2 years ago
• jinminhao / PANTS
  [Usenix Security '25] Robustifying ML-powered Network Classifiers with PANTS
  ☆17Updated 2 months ago
• ryscheng / paper-template
  LaTeX templates for papers
  ☆51Updated 6 years ago
• kenziyuliu / DP2
  [ICLR 2023] Official JAX/Haiku implementation of the paper "Differentially Private Adaptive Optimization with Delayed Preconditioners"
  ☆16Updated 2 years ago
• columbia / pixeldp
  ☆66Updated 6 years ago
• eth-sri / eran
  ETH Robustness Analyzer for Deep Neural Networks
  ☆342Updated 2 years ago
• Yuanyuan-Yuan / GCert
  Research Artifact of USENIX Security 2023 Paper: Precise and Generalized Robustness Certification for Neural Networks
  ☆12Updated 2 years ago
• kenziyuliu / private-cross-silo-fl
  [NeurIPS 2022] JAX/Haiku implementation of "On Privacy and Personalization in Cross-Silo Federated Learning"
  ☆27Updated 2 years ago
• mofanv / PPFL
  Privacy-preserving Federated Learning with Trusted Execution Environments
  ☆72Updated 3 months ago
• TenXxs / AI-Security-for-IoT-and-Mobile
  ☆50Updated 4 years ago
• pytorchfi / pytorchfi
  A runtime fault injection tool for PyTorch
  ☆120Updated last year
• tcwangshiqi-columbia / symbolic_interval
  The library for symbolic interval
  ☆21Updated 5 years ago
• dlshriver / dnnv
  A Framework for Deep Neural Network Verification
  ☆57Updated 10 months ago
• TrustAI / DeepConcolic
  Concolic Testing for Deep Neural Networks
  ☆119Updated 4 years ago
• liecn / cnli.me
  template for https://cnli.me
  ☆10Updated 7 months ago
• 95616ARG / PRDNN
  Code from PLDI '21 paper "Provable Repair of Deep Neural Networks."
  ☆10Updated 2 years ago
• AI-secure / Certified-Robustness-SoK-Oldver
  This repo keeps track of popular provable training and verification approaches towards robust neural networks, including leaderboards on …
  ☆98Updated 3 years ago