isamborskiy / NUS-QE
LaTeX style for NUS Qualifying Examination.
☆16Updated 6 years ago
Alternatives and similar repositories for NUS-QE:
Users that are interested in NUS-QE are comparing it to the libraries listed below
- Interview questions for Computer Science faculty jobs☆40Updated 10 months ago
- White-box Fairness Testing through Adversarial Sampling☆13Updated 3 years ago
- ☆26Updated last year
- ☆11Updated 2 years ago
- ☆12Updated 2 years ago
- [ICSE 2023] Differentiable interpretation and failure-inducing input generation for neural network numerical bugs.☆12Updated last year
- CodexLeaks: Privacy Leaks from Code Generation Language Models in GitHub Copilot☆11Updated last year
- [ICML 2021] This is the official github repo for training L_inf dist nets with high certified accuracy.☆41Updated 2 years ago
- A united toolbox for running major robustness verification approaches for DNNs. [S&P 2023]☆88Updated last year
- Fuzzing Automatic Differentiation in Deep-Learning Libraries (ICSE'23)☆22Updated 10 months ago
- Adversarial Robustness for Code☆15Updated 3 years ago
- Library for training globally-robust neural networks.☆28Updated last year
- homepage for proFL☆23Updated 3 years ago
- Simply calling chatgpt APIs and store chat history in csv☆22Updated last year
- ☆10Updated 2 years ago
- ☆101Updated 6 months ago
- Fuzzing Deep-Learning Libraries via Automated Relational API Inference (ESEC/FSE 2022)☆34Updated last year
- Official Repository for ICML 2023 paper "Can Neural Network Memorization Be Localized?"☆17Updated last year
- Some code for "Stealing Part of a Production Language Model"☆11Updated 10 months ago
- 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
- β-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Neural Network Verification☆30Updated 3 years ago
- Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source (ICSE'22)☆74Updated 2 years ago
- https://csstipendrankings.org☆202Updated 2 weeks ago
- Code for ICML 2021 paper: How could Neural Networks understand Programs?☆123Updated 2 months ago
- Template and style files for ICLR☆183Updated 5 months ago
- VNN Neural Network Verification Competition 2021☆37Updated 3 years ago
- Open source release from our ICLR 2020 paper, CLN2INV: Learning Loop Invariants with Continuous Logic Networks.☆21Updated 4 years ago
- ☆16Updated 10 months ago
- In the repository we provide a sample code to implement the Targeted Bit Trojan attack.☆18Updated 4 years ago
- Code from PLDI '21 paper "Provable Repair of Deep Neural Networks."☆10Updated 2 years ago