isamborskiy / NUS-QE

Related projects ⓘ

Alternatives and complementary repositories for NUS-QE

• csfaculty / csfaculty.github.io
  Interview questions for Computer Science faculty jobs
  ☆36Updated 8 months ago
• zbh2047 / L_inf-dist-net
  [ICML 2021] This is the official github repo for training L_inf dist nets with high certified accuracy.
  ☆41Updated 2 years ago
• Better-Call-Octagon / 22-fall-gre-ddl
  ☆26Updated 3 years ago
• AI-secure / semantic-randomized-smoothing
  [CCS 2021] TSS: Transformation-specific smoothing for robustness certification
  ☆21Updated last year
• shizhouxing / Robustness-Verification-for-Transformers
  [ICLR 2020] Code for paper "Robustness Verification for Transformers"
  ☆26Updated 2 years ago
• longph1989 / Socrates
  ☆26Updated last year
• nsfzyzz / loss_landscape_taxonomy
  [NeurIPS 2021] code for "Taxonomizing local versus global structure in neural network loss landscapes" https://arxiv.org/abs/2107.11228
  ☆18Updated 2 years ago
• CSStipendRankings / CSStipendRankings
  https://csstipendrankings.org
  ☆197Updated last month
• MarkDana / EE359-Multi-Graph-Matching
  Python implementation of three algorithms in paper "Unifying Offline and Online Multi-graph Matching via Finding Shortest Paths on Superg…
  ☆9Updated 4 years ago
• shinan6 / chatgpt_cmd
  Simply calling chatgpt APIs and store chat history in csv
  ☆22Updated last year
• Antimony5292 / FairNeuron
  ☆10Updated 2 years ago
• AI-secure / VeriGauge
  A united toolbox for running major robustness verification approaches for DNNs. [S&P 2023]
  ☆88Updated last year
• llylly / RANUM
  [ICSE 2023] Differentiable interpretation and failure-inducing input generation for neural network numerical bugs.
  ☆12Updated 10 months ago
• zbh2047 / L_inf-dist-net-v2
  [ICLR 2022] Training L_inf-dist-net with faster acceleration and better training strategies
  ☆22Updated 2 years ago
• pdlan / OSCAR
  Code for ICML 2021 paper: How could Neural Networks understand Programs?
  ☆122Updated 2 weeks ago
• Jacob-yen / GRIST
  This is the implementation repository of our incoming ESEC/FSE 2021 paper: Exposing Numerical Bugs in Deep Learning via GradientBack-prop…
  ☆13Updated 2 years ago
• leiwu0 / course.math_theory_nn
  Summer course on mathematical theory of deep learning
  ☆52Updated 5 years ago
• moqingyan / dsr-lm
  ☆11Updated last year
• zkysfls / 20fall-
  ☆101Updated 4 years ago
• ryokamoi / pytorch_influence_functions
  This is a PyTorch reimplementation of Influence Functions from the ICML2017 best paper: Understanding Black-box Predictions via Influence…
  ☆16Updated 4 years ago
• wangdeze18 / DACL
  ☆11Updated 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 …
  ☆99Updated 2 years ago
• ForeverZyh / TensorFlow-Program-Bugs
  This repository contains the dataset of our ISSTA 2018 paper: An Empirical Study on TensorFlow Program Bugs.
  ☆30Updated 4 years ago
• klasleino / gloro
  Library for training globally-robust neural networks.
  ☆28Updated last year
• huanzhang12 / CROWN-IBP
  Certified defense to adversarial examples using CROWN and IBP. Also includes GPU implementation of CROWN verification algorithm (in PyTor…
  ☆93Updated 3 years ago
• kynehc / clone_anonymous_github
  clone/download repositories from https://anonymous.4open.science/
  ☆85Updated 2 years ago
• ZhaoyangLyu / POPQORN
  An Algorithm to Quantify Robustness of Recurrent Neural Networks
  ☆46Updated 4 years ago
• eth-sri / SafeCoder
  ☆29Updated 4 months ago
• eth-sri / robust-code
  Adversarial Robustness for Code
  ☆16Updated 3 years ago
• ZhenlanJi / DL_CC
  CC: Causality-Aware Coverage Criterion for Deep Neural Networks
  ☆10Updated last year