Pinned Repositories
DialogueDiscourseParsing
[AAAI 2019] Code for paper "A Deep Sequential Model for Discourse Parsing on Multi-Party Dialogues"
Draughts
Online Draughts game
Fast-Certified-Robust-Training
[NeurIPS 2021] Fast Certified Robust Training with Short Warmup
LLM-Detector-Robustness
[TACL] Code for "Red Teaming Language Model Detectors with Language Models"
Local-Lipschitz-Constants
[NeurIPS 2022] Code for paper "Efficiently Computing Local Lipschitz Constants of Neural Networks via Bound Propagation"
Robustness-Verification-for-Transformers
[ICLR 2020] Code for paper "Robustness Verification for Transformers"
SPPM
Implementation of Stochastic Progressive Photon Mapping
alpha-beta-CROWN
alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, 2023, and 2024)
auto_LiRPA
auto_LiRPA: An Automatic Linear Relaxation based Perturbation Analysis Library for Neural Networks and General Computational Graphs
llm-jailbreaking-defense
A lightweight library for large laguage model (LLM) jailbreaking defense.
shizhouxing's Repositories
shizhouxing/DialogueDiscourseParsing
[AAAI 2019] Code for paper "A Deep Sequential Model for Discourse Parsing on Multi-Party Dialogues"
shizhouxing/Robustness-Verification-for-Transformers
[ICLR 2020] Code for paper "Robustness Verification for Transformers"
shizhouxing/Local-Lipschitz-Constants
[NeurIPS 2022] Code for paper "Efficiently Computing Local Lipschitz Constants of Neural Networks via Bound Propagation"
shizhouxing/Fast-Certified-Robust-Training
[NeurIPS 2021] Fast Certified Robust Training with Short Warmup
shizhouxing/SPPM
Implementation of Stochastic Progressive Photon Mapping
shizhouxing/LLM-Detector-Robustness
[TACL] Code for "Red Teaming Language Model Detectors with Language Models"
shizhouxing/Draughts
Online Draughts game
shizhouxing/labsync
Toolkit for development on university lab servers, including synchronizing local file changes with multiple remote servers.
shizhouxing/MIPS32_CPU
MIPS32 CPU on FPGA with a demo sequence-to-sequence chatbot (Computer Organization, Fall 2018)
shizhouxing/Rubik
Solver for Rubik's cube with 3D animation
shizhouxing/Snake
Online snake game
shizhouxing/ViT_vnncomp2023
Benchmark for formally verifying ViTs
shizhouxing/AdvParaphraseIdentification
Code for "Robustness to Modification with Shared Words in Paraphrase Identification"
shizhouxing/effective-robustness
[NeurIPS 2023] Website with an interactive visualization for paper "Effective Robustness against Natural Distribution Shifts for Models with Different Training Data"
shizhouxing/GenBaB
shizhouxing/GLIP
Grounded Language-Image Pre-training
shizhouxing/llm-jailbreaking-defense
A lightweight library for large laguage model (LLM) jailbreaking defense.
shizhouxing/LSNC_VNNCOMP2024
Benchmark of Lyapunov-stable Neural Control proposed for VNN-COMP 2024
shizhouxing/Molecule-Translation
CS267
shizhouxing/onnx2pytorch
shizhouxing/project-enigma
shizhouxing/vnncomp2022_benchmarks
Benchmarks for the VNN Comp 2022
shizhouxing/vnncomp2024_benchmarks