Pinned Loading

1. YOLO-CLIP-zero-shot-test YOLO-CLIP-zero-shot-test Public

   Python 2 1

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 263 66

3. 2RO 2RO Public

   Jupyter Notebook

4. Deep-RL-with-PyTorch Deep-RL-with-PyTorch Public

   Forked from p-christ/Deep-Reinforcement-Learning-Algorithms-with-PyTorch

   PyTorch implementations of deep reinforcement learning algorithms and environments

   Python

5. BICCOS BICCOS Public

   Jupyter Notebook

6. DRAC DRAC Public

   Python