Skip to content

@uiuc-arc uiuc-arc

Change the repository type filter

All

    Repositories list

    59 repositories

    • lanenet-lane-detection-GEM

      Public
      Unofficial implemention of lanenet model for real time lane detection using deep neural network model https://maybeshewill-cv.github.io/lanenet-lane-detection/
      Python
      •
      Apache License 2.0
      •889•0•0•0•Updated Dec 18, 2024Dec 18, 2024

    • GAS

      Public
      Artifact for GAS: Generating Fast and Accurate Surrogate Models for Autonomous Vehicle Systems
      Python
      •0•0•0•0•Updated Aug 21, 2024Aug 21, 2024

    • Storm

      Public
      Source code for Storm
      Java
      •
      MIT License
      •0•2•0•0•Updated Jul 19, 2024Jul 19, 2024

    • felix

      Public
      Optimize tensor program fast with Felix, a gradient descent autotuner.
      Python
      •
      Apache License 2.0
      •2•23•2•0•Updated Apr 27, 2024Apr 27, 2024

    • llm-code-watermark

      Public
      LLM Program Watermarking
      Jupyter Notebook
      •3•14•0•0•Updated Apr 19, 2024Apr 19, 2024

    • Incremental-DNN-Verification

      Public
      Incremental Verifiers for Neural Networks
      Python
      •
      MIT License
      •2•6•0•0•Updated Apr 17, 2024Apr 17, 2024

    • AxProf

      Public
      A framework for accuracy profiling of randomized approximate algorithm implementations
      Java
      •
      Apache License 2.0
      •4•6•0•0•Updated Mar 26, 2024Mar 26, 2024

    • flash

      Public
      Python
      •0•1•0•0•Updated Mar 7, 2024Mar 7, 2024

    • tvm-quantization

      Public
      Python
      •1•3•0•0•Updated Feb 25, 2024Feb 25, 2024

    • aquasense

      Public
      Mathematica
      •1•0•0•0•Updated Oct 23, 2023Oct 23, 2023

    • Pasado

      Public
      Synthesizing Precise Static Analyzers for Automatic Differentiation (OOPSLA 2023)
      Jupyter Notebook
      •
      MIT License
      •0•3•0•0•Updated Oct 1, 2023Oct 1, 2023

    • approxcaliper

      Public
      Python
      •0•1•0•0•Updated Jun 13, 2023Jun 13, 2023

    • ViX

      Public
      C++
      •1•0•0•0•Updated May 17, 2023May 17, 2023

    • CGT

      Public
      Provable Defense Against Geometric Transformations (ICLR 2023)
      Python
      •
      MIT License
      •3•0•0•0•Updated Apr 30, 2023Apr 30, 2023

    • AbstractAD

      Public
      A General Construction for Abstract Interpretation of Higher-Order Automatic Differentiation (OOPSLA 2022)
      Jupyter Notebook
      •
      MIT License
      •1•2•0•0•Updated Sep 16, 2022Sep 16, 2022

    • AQUA

      Public
      Java
      •3•2•1•0•Updated Jun 4, 2022Jun 4, 2022

    • astra

      Public
      R
      •0•0•0•0•Updated May 22, 2022May 22, 2022

    • sixthsense

      Public
      A tool for predicting probabilistic program convergence ahead of run, with an application to debugging convergence problems in probabilistic programs.
      Python
      •2•1•0•0•Updated Apr 5, 2022Apr 5, 2022

    • parallely

      Public
      Parallely is a system for verification of approximations in parallel message-passing programs
      Python
      •
      Apache License 2.0
      •1•0•0•0•Updated Apr 5, 2022Apr 5, 2022

    • xseed

      Public
      Python
      •0•1•0•0•Updated Mar 27, 2022Mar 27, 2022

    • FANC

      Public
      FANC is a tool for the proof transfer of incomplete verification
      Python
      •
      Apache License 2.0
      •2•10•1•0•Updated Mar 20, 2022Mar 20, 2022

    • Statheros

      Public
      Makefile
      •
      MIT License
      •1•0•1•0•Updated Dec 4, 2021Dec 4, 2021

    • DeepJ

      Public
      Jupyter Notebook
      •
      MIT License
      •2•3•0•0•Updated Nov 27, 2021Nov 27, 2021

    • cs477-fall2021-homework3

      Public
      Python
      •0•0•0•0•Updated Nov 3, 2021Nov 3, 2021

    • flex

      Public
      Python
      •0•1•0•0•Updated Sep 23, 2021Sep 23, 2021

    • tera

      Public
      Implementation of ISSTA'21 paper: TERA: Optimizing Stochastic Regression Tests in Machine Learning Projects
      testingmachine-learningoptimizationbayesian-optimization
      Python
      •
      MIT License
      •1•2•0•0•Updated Jul 2, 2021Jul 2, 2021

    • bambi

      Public
      BAyesian Model-Building Interface (BAMBI) in Python.
      Python
      •
      MIT License
      •127•0•0•0•Updated Dec 23, 2020Dec 23, 2020

    • pytorch-lightning

      Public
      The lightweight PyTorch wrapper for high-performance AI research. Scale your models, not the boilerplate.
      Python
      •
      Apache License 2.0
      •3.4k•0•0•0•Updated Dec 10, 2020Dec 10, 2020

    • spleeter

      Public
      Deezer source separation library including pretrained models.
      Python
      •
      MIT License
      •2.9k•0•0•0•Updated Dec 9, 2020Dec 9, 2020

    • sonnet

      Public
      TensorFlow-based neural network library
      Python
      •
      Apache License 2.0
      •1.3k•0•0•0•Updated Dec 7, 2020Dec 7, 2020