Skip to content

@uiuc-focal-lab uiuc-focal-lab

Change the repository type filter

All

    Repositories list

    16 repositories

    • syncode

      Public
      Efficient and general syntactical decoding for Large Language Models
      parserlarge-language-modelsllmllm-inference
      Python
      •
      MIT License
      •17•216•5•4•Updated Dec 28, 2024Dec 28, 2024

    • QuaCer-C

      Public
      Python
      •
      GNU Affero General Public License v3.0
      •0•3•0•0•Updated Dec 21, 2024Dec 21, 2024

    • ORL

      Public
      Binary Reward Labeling codebase
      Python
      •0•2•0•0•Updated Dec 19, 2024Dec 19, 2024

    • RABBit

      Public
      Precise Relational Verification with Branch and Bound
      Python
      •
      MIT License
      •0•1•0•0•Updated Dec 11, 2024Dec 11, 2024

    • stochastic-monkeys

      Public
      Python
      •
      MIT License
      •0•4•0•0•Updated Dec 5, 2024Dec 5, 2024

    • QuaCer-B

      Public
      A certifier for bias in LLMs
      Python
      •
      GNU Affero General Public License v3.0
      •3•4•0•0•Updated Nov 17, 2024Nov 17, 2024

    • constraintflow

      Public
      Python
      •0•2•0•0•Updated Nov 6, 2024Nov 6, 2024

    • RAMP

      Public
      RAMP: Boosting Adversarial Robustness Against Multiple $l_p$ Perturbations
      Jupyter Notebook
      •
      GNU General Public License v2.0
      •0•2•0•0•Updated Nov 1, 2024Nov 1, 2024

    • spectra

      Public
      Python
      •0•4•0•0•Updated Oct 31, 2024Oct 31, 2024

    • CURE

      Public
      Towards Universal Certified Robustness with Multi-Norm Training
      0•0•0•0•Updated Oct 3, 2024Oct 3, 2024

    • RACoon

      Public
      Python
      •0•1•0•0•Updated Sep 20, 2024Sep 20, 2024

    • RaVeN

      Public
      RaVeN : Relational Verification of Neural Networks
      Python
      •1•2•0•0•Updated Sep 12, 2024Sep 12, 2024

    • Profit

      Public
      Proof Dissection Technique
      Python
      •0•2•0•0•Updated May 10, 2024May 10, 2024

    • llm-priming-attacks

      Public
      Python
      •
      MIT License
      •1•13•0•0•Updated Dec 24, 2023Dec 24, 2023

    • COMET

      Public
      An x86 neural cost model explanation framework for individual basic blocks
      Python
      •0•2•0•0•Updated Nov 22, 2023Nov 22, 2023

    • IVAN

      Public
      Incremental Verification of DNNs (https://arxiv.org/abs/2304.01874)
      Python
      •1•8•0•0•Updated Apr 10, 2023Apr 10, 2023