Pinned Loading

1. Verified-Intelligence/auto_LiRPA Verified-Intelligence/auto_LiRPA Public

   auto_LiRPA: An Automatic Linear Relaxation based Perturbation Analysis Library for Neural Networks and General Computational Graphs

   Python 287 74

2. Verified-Intelligence/alpha-beta-CROWN Verified-Intelligence/alpha-beta-CROWN Public

   alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, 2023, and 2024)

   Python 242 60

3. Local-Lipschitz-Constants Local-Lipschitz-Constants Public

   [NeurIPS 2022] Code for paper "Efficiently Computing Local Lipschitz Constants of Neural Networks via Bound Propagation"

   Python 22 2

4. YihanWang617/llm-jailbreaking-defense YihanWang617/llm-jailbreaking-defense Public

   A lightweight library for large laguage model (LLM) jailbreaking defense.

   Python 38 3

5. Fast-Certified-Robust-Training Fast-Certified-Robust-Training Public

   [NeurIPS 2021] Fast Certified Robust Training with Short Warmup

   Python 23 2

6. DialogueDiscourseParsing DialogueDiscourseParsing Public

   [AAAI 2019] Code for paper "A Deep Sequential Model for Discourse Parsing on Multi-Party Dialogues"

   Python 76 4