Zhouxing Shi's repositories
DialogueDiscourseParsing
[AAAI 2019] Code for paper "A Deep Sequential Model for Discourse Parsing on Multi-Party Dialogues"
Robustness-Verification-for-Transformers
[ICLR 2020] Code for paper "Robustness Verification for Transformers"
Fast-Certified-Robust-Training
[NeurIPS 2021] Fast Certified Robust Training with Short Warmup
Local-Lipschitz-Constants
[NeurIPS 2022] Code for paper "Efficiently Computing Local Lipschitz Constants of Neural Networks via Bound Propagation"
LLM-Detector-Robustness
[TACL] Code for "Red Teaming Language Model Detectors with Language Models"
MIPS32_CPU
MIPS32 CPU on FPGA with a demo sequence-to-sequence chatbot (Computer Organization, Fall 2018)
ViT_vnncomp2023
Benchmark for formally verifying ViTs
AdvParaphraseIdentification
Code for "Robustness to Modification with Shared Words in Paraphrase Identification"
effective-robustness
[NeurIPS 2023] Website with an interactive visualization for paper "Effective Robustness against Natural Distribution Shifts for Models with Different Training Data"
GLIP
Grounded Language-Image Pre-training
Molecule-Translation
CS267
vnncomp2022_benchmarks
Benchmarks for the VNN Comp 2022