8000 uiuc-focal-lab repositories · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

@uiuc-focal-lab uiuc-focal-lab

Change the repository type filter

All

    Repositories list

    18 repositories

    • MATCHA

      Public
      Misaligning Reasoning with Answers - A Framework for Assessing LLM CoT Robustness
      MIT License
      •0•0•0•0•Updated May 23, 2025May 23, 2025

    • LLMCert-C

      Public
      Python
      •
      GNU Affero General Public License v3.0
      •0•4•0•0•Updated Apr 22, 2025Apr 22, 2025

    • CRANE

      Public
      MIT License
      •0•3•0•0•Updated Apr 20, 2025Apr 20, 2025

    • LLMCert-B

      Public
      A certifier for bias in LLMs
      Python
      •
      GNU Affero General Public License v3.0
      •3•23•0•0•Updated Apr 11, 2025Apr 11, 2025

    • constraintflow

      Public
      Python
      •0•4•0•0•Updated Feb 27, 2025Feb 27, 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•5•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

    • civet

      Public
      Code for CIVET
      Python
      •0•0•0•0•Updated Nov 22, 2024Nov 22, 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•15•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
      •0•10•0•0•Updated Apr 10, 2023Apr 10, 2023
    0