Popular repositories Loading

1. AgrAmplifier AgrAmplifier Public

   Python 11 3

2. WraLU WraLU Public

   WraLU is an artifact for the paper "ReLU Hull Approximation" (POPL'24), which provides a sound but incomplete neural network verifier by over-approximating ReLU function hull.

   Python 4 1

3. SKIPPER SKIPPER Public

   HTML 3 1

4. GPT-Plugin-store GPT-Plugin-store Public

   Python 3

5. AIM AIM Public

   Python 3

6. PdD PdD Public

   PdD is an artifact for the paper "Formalizing Robustness Against Character-Level Perturbations for Neural Network Language Models" (ICFEM'23), which provides a tool for adversarial training by gene…

   Python 2