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
      parsergrammarlarge-language-modelsllmllm-inference
      Python
      •
      MIT License
      •22•240•6•4•Updated Mar 6, 2025Mar 6, 2025

    • constraintflow

      Public
      Python
      •0•3•0•0•Updated Feb 27, 2025Feb 27, 2025

    • QuaCer-C

      Public
      Python
      •
      GNU Affero General Public License v3.0
      •0•4•0•0•Updated Feb 6, 2025Feb 6, 2025

    • CURE

      Public
      Towards Universal Certified Robustness with Multi-Norm Training
      Python
      •0•1•0•0•Updated Feb 6, 2025Feb 6, 2025

    • RAMP

      Public
      RAMP: Boosting Adversarial Robustness Against Multiple $l_p$ Perturbations
      Jupyter Notebook
      •
      GNU General Public License v2.0
      •0•3•0•0•Updated Feb 4, 2025Feb 4, 2025

    • stochastic-monkeys

      Public
      Python
      •
      MIT License
      •0•4•0•0•Updated Jan 10, 2025Jan 10, 2025

    • ORL

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

    • RABBit

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

    • LLMCert-B

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

    • spectra

      Public
      Python
      •0•7•0•0•Updated Oct 31, 2024Oct 31, 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•3•0•0•Updated Nov 22, 2023Nov 22, 2023

    • IVAN

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