Skip to content

@eth-sri SRI Lab, ETH Zurich

Change the repository type filter

All

    Repositories list

    138 repositories

    • eth-sri.github.io

      Public
      SRI Group Website
      HTML
      •
      MIT License
      •9•12•1•0•Updated Aug 14, 2026Aug 14, 2026

    • proof-council

      Public
      Python
      •
      MIT License
      •5•27•0•5•Updated Aug 4, 2026Aug 4, 2026

    • generative-compilation

      Public
      Paper implementation of "On-the-Fly Compiler Feedback as AI Generates Code"
      Rust
      •
      MIT License
      •0•4•0•0•Updated Aug 4, 2026Aug 4, 2026

    • SPEAR

      Public
      Accompanying code of the Neurips '24 paper 'SPEAR: Exact Gradient Inversion of Batches in Federated Learning'
      Python
      •
      Other
      •0•0•0•0•Updated Jul 31, 2026Jul 31, 2026

    • rlm-training-merging

      Public
      Code repository for the paper "Leveraging Instruction Tuning and Merging for Reasoning Model Adaptation"
      Python
      •0•1•0•0•Updated Jul 26, 2026Jul 26, 2026

    • llm-verifier-noise

      Public
      [COLM 2026] Delay, Plateau, or Collapse: Evaluating the Impact of Systematic Verification Error on RLVR
      Python
      •
      MIT License
      •0•3•0•0•Updated Jul 17, 2026Jul 17, 2026

    • matharena

      Public
      Evaluation of LLMs on latest math competitions
      evaluating-modelsllm
      evaluating-modelsllm
      Python
      •
      MIT License
      •35•277•4•2•Updated Jun 23, 2026Jun 23, 2026

    • exploiting-llm-quantization-website

      Public
      JavaScript
      •0•1•0•0•Updated Jun 7, 2026Jun 7, 2026

    • optimizing-lean-agents

      Public
      Python
      •
      MIT License
      •0•1•0•0•Updated Jun 4, 2026Jun 4, 2026

    • honeyval-website

      Public
      JavaScript
      •0•0•0•0•Updated May 29, 2026May 29, 2026

    • saturated-learning

      Public
      Learning from Saturated Data: experiment scripts with scoring, data generation and training.
      Python
      •
      MIT License
      •0•0•0•0•Updated May 28, 2026May 28, 2026

    • baxbench-website

      Public
      JavaScript
      •0•0•0•0•Updated May 22, 2026May 22, 2026

    • AutoBaxBuilder

      Public
      [ICML 2026] Reproduction package for AutoBaxBuilder, a framework to build new BaxBench tasks from scratch
      securityrest-apivulnerabilities
      securityrest-apivulnerabilitiesbackend-servicellmsbaxbench
      Python
      •
      MIT License
      •2•13•0•0•Updated May 20, 2026May 20, 2026

    • aio-quantization-attack

      Public
      Python
      •
      MIT License
      •0•1•0•0•Updated May 19, 2026May 19, 2026

    • CompactLogic

      Public
      Python
      •
      MIT License
      •1•3•1•0•Updated May 12, 2026May 12, 2026

    • llm-quantization-attack

      Public
      [NeurIPS 2024 / ICML 2025] LLM Quantization Attacks
      Python
      •
      MIT License
      •11•54•1•0•Updated May 11, 2026May 11, 2026

    • CTBench

      Public
      Python
      •2•10•0•0•Updated Apr 25, 2026Apr 25, 2026

    • ChatProtect

      Public
      This is the code for the paper "Self-contradictory Hallucinations of Large Language Models: Evaluation, Detection and Mitigation".
      Python
      •
      Apache License 2.0
      •3•38•1•0•Updated Apr 15, 2026Apr 15, 2026

    • llm-pruning-attack

      Public
      [ICLR 2026] Fewer Weights, More Problems: A Practical Attack on LLM Pruning
      Python
      •
      MIT License
      •2•12•0•0•Updated Apr 6, 2026Apr 6, 2026

    • type-constrained-code-generation

      Public
      Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]
      type-systemsconstrained-decodingllm
      type-systemsconstrained-decodingllmcode-synthesis
      Python
      •
      MIT License
      •9•100•0•0•Updated Mar 11, 2026Mar 11, 2026

    • Dual-Randomized-Smoothing

      Public
      Python
      •0•0•0•0•Updated Feb 27, 2026Feb 27, 2026

    • agentbench

      Public
      Python
      •
      MIT License
      •9•61•1•0•Updated Feb 24, 2026Feb 24, 2026

    • diffusion-lm-watermark

      Public
      Python
      •4•14•0•0•Updated Feb 19, 2026Feb 19, 2026

    • finetuning-activated-behaviors

      Public
      Python
      •
      Other
      •0•6•1•0•Updated Feb 17, 2026Feb 17, 2026

    • ChromeER

      Public
      C++
      •
      BSD 3-Clause "New" or "Revised" License
      •304•3•0•20•Updated Feb 12, 2026Feb 12, 2026

    • robust-llm-fingerprints

      Public
      Python
      •
      Other
      •0•11•0•0•Updated Feb 11, 2026Feb 11, 2026

    • unified-watermarking

      Public
      Python
      •1•1•0•0•Updated Feb 11, 2026Feb 11, 2026

    • aimo-corpus

      Public
      Submission for the Math Corpus Prize
      Python
      •
      MIT License
      •0•2•0•0•Updated Feb 9, 2026Feb 9, 2026

    • cab

      Public
      Python
      •0•2•0•0•Updated Jan 28, 2026Jan 28, 2026

    • constrained-diffusion

      Public
      Constrained Decoding of Diffusion LLMs with Context-Free Grammars.
      diffusiondiffusion-modelconstrained-decoding
      diffusiondiffusion-modelconstrained-decodingllmllmsfill-in-the-middlellms-benchmarkingmulti-region-infilling
      Rust
      •
      MIT License
      •6•54•0•0•Updated Dec 17, 2025Dec 17, 2025
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.