uiuc-arc

Popular repositories Loading

1. felix felix Public

   Optimize tensor program fast with Felix, a gradient descent autotuner.

   Python 33 7

2. neptune neptune Public

   Python 30 3

3. llm-code-watermark llm-code-watermark Public

   LLM Program Watermarking

   Jupyter Notebook 19 3

4. FANC FANC Public

   FANC is a tool for the proof transfer of incomplete verification

   Python 13 4

5. probfuzz probfuzz Public

   ProbFuzz: A Framework for Testing Probabilistic Programming Systems

   Python 10 2

6. Incremental-DNN-Verification Incremental-DNN-Verification Public

   Incremental Verifiers for Neural Networks

   Python 9 2