Popular repositories Loading

1. felix felix Public

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

   Python 16 1

2. FANC FANC Public

   FANC is a tool for the proof transfer of incomplete verification

   Python 10 2

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

   LLM Program Watermarking

   Jupyter Notebook 10 3

4. probfuzz probfuzz Public

   ProbFuzz: A Framework for Testing Probabilistic Programming Systems

   Python 8 1

5. AxProf AxProf Public

   A framework for accuracy profiling of randomized approximate algorithm implementations

   Java 6 4

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

   Incremental Verifiers for Neural Networks

   Python 6 2