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 290 77

2. LLM-Jailbreaking-Defense-Backtranslation LLM-Jailbreaking-Defense-Backtranslation Public

   Code for paper "Defending aginast LLM Jailbreaking via Backtranslation"

   Python 25 4

3. 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 257 66

4. llm-jailbreaking-defense llm-jailbreaking-defense Public

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

   Python 40 4