Pinned Repositories
AxProf
A framework for accuracy profiling of randomized approximate algorithm implementations
DeepJ
FANC
FANC is a tool for the proof transfer of incomplete verification
felix
Optimize tensor program fast with Felix, a gradient descent autotuner.
Incremental-DNN-Verification
Incremental Verifiers for Neural Networks
llm-code-watermark
LLM Program Watermarking
probfuzz
ProbFuzz: A Framework for Testing Probabilistic Programming Systems
Storm
Source code for Storm
tera
Implementation of ISSTA'21 paper: TERA: Optimizing Stochastic Regression Tests in Machine Learning Projects
tvm-quantization
uiuc-arc's Repositories
uiuc-arc/felix
Optimize tensor program fast with Felix, a gradient descent autotuner.
uiuc-arc/llm-code-watermark
LLM Program Watermarking
uiuc-arc/FANC
FANC is a tool for the proof transfer of incomplete verification
uiuc-arc/AxProf
A framework for accuracy profiling of randomized approximate algorithm implementations
uiuc-arc/Incremental-DNN-Verification
Incremental Verifiers for Neural Networks
uiuc-arc/DeepJ
uiuc-arc/AbstractAD
A General Construction for Abstract Interpretation of Higher-Order Automatic Differentiation (OOPSLA 2022)
uiuc-arc/AQUA
uiuc-arc/Pasado
Synthesizing Precise Static Analyzers for Automatic Differentiation (OOPSLA 2023)
uiuc-arc/Storm
Source code for Storm
uiuc-arc/tera
Implementation of ISSTA'21 paper: TERA: Optimizing Stochastic Regression Tests in Machine Learning Projects
uiuc-arc/tvm-quantization
uiuc-arc/approxcaliper
uiuc-arc/sixthsense
A tool for predicting probabilistic program convergence ahead of run, with an application to debugging convergence problems in probabilistic programs.
uiuc-arc/xseed
uiuc-arc/Statheros
uiuc-arc/aquasense
uiuc-arc/astra
uiuc-arc/bambi
BAyesian Model-Building Interface (BAMBI) in Python.
uiuc-arc/botorch
Bayesian optimization in PyTorch
uiuc-arc/CGT
Provable Defense Against Geometric Transformations (ICLR 2023)
uiuc-arc/cs477-fall2021-homework3
uiuc-arc/GAS
Artifact for GAS: Generating Fast and Accurate Surrogate Models for Autonomous Vehicle Systems
uiuc-arc/parallely
Parallely is a system for verification of approximations in parallel message-passing programs
uiuc-arc/pytorch-lightning
The lightweight PyTorch wrapper for high-performance AI research. Scale your models, not the boilerplate.
uiuc-arc/sonnet
TensorFlow-based neural network library
uiuc-arc/spleeter
Deezer source separation library including pretrained models.
uiuc-arc/storm-framework
uiuc-arc/trax
Trax — Deep Learning with Clear Code and Speed
uiuc-arc/ViX