Popular repositories Loading

1. felix felix Public

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

   Python 27 3

2. llm-code-watermark llm-code-watermark Public

   LLM Program Watermarking

   Jupyter Notebook 17 3

3. FANC FANC Public

   FANC is a tool for the proof transfer of incomplete verification

   Python 11 2

4. probfuzz probfuzz Public

   ProbFuzz: A Framework for Testing Probabilistic Programming Systems

   Python 8 2

5. Incremental-DNN-Verification Incremental-DNN-Verification Public

   Incremental Verifiers for Neural Networks

   Python 7 1

6. AxProf AxProf Public

   A framework for accuracy profiling of randomized approximate algorithm implementations

   Java 6 4