Skip to content

@eth-sri SRI Lab, ETH Zurich

All

    Repositories list

    145 repositories

    • eth-sri.github.io

      Public
      SRI Group Website
      HTML
      •
      MIT License
      •10•12•1•0•Updated Oct 18, 2026Oct 18, 2026

    • lean-strip

      Public
      Python
      •
      MIT License
      •0•0•0•0•Updated Oct 18, 2026Oct 18, 2026

    • matharena

      Public
      Evaluation of LLMs on latest math competitions
      evaluating-modelsllm
      evaluating-modelsllm
      Python
      •
      MIT License
      •35•292•7•3•Updated Oct 16, 2026Oct 16, 2026

    • CTBench

      Public
      Python
      •2•11•0•0•Updated Oct 15, 2026Oct 15, 2026

    • lean-lean-website

      Public
      JavaScript
      •
      MIT License
      •0•0•0•0•Updated Oct 15, 2026Oct 15, 2026

    • lean-lean

      Public
      Python
      •
      MIT License
      •0•0•0•0•Updated Oct 15, 2026Oct 15, 2026

    • psi

      Public
      Exact Inference Engine for Probabilistic Programs
      JetBrains MPS
      •
      Boost Software License 1.0
      •19•141•3•0•Updated Oct 12, 2026Oct 12, 2026

    • testsuitebench_website

      Public
      HTML
      •0•0•0•0•Updated Oct 12, 2026Oct 12, 2026

    • testsuitebench

      Public
      Python
      •
      MIT License
      •0•2•0•0•Updated Oct 12, 2026Oct 12, 2026

    • proof-council

      Public
      Python
      •
      MIT License
      •5•50•0•3•Updated Oct 9, 2026Oct 9, 2026

    • synthetiq

      Public
      OpenQASM
      •
      MIT License
      •3•13•1•0•Updated Oct 4, 2026Oct 4, 2026

    • automark

      Public
      Python
      •
      MIT License
      •0•3•0•0•Updated Oct 1, 2026Oct 1, 2026

    • multibit-binomial-wm

      Public
      Python
      •
      MIT License
      •0•0•0•0•Updated Sep 28, 2026Sep 28, 2026

    • optimizing-lean-agents

      Public
      Python
      •
      MIT License
      •1•3•0•0•Updated Sep 22, 2026Sep 22, 2026

    • generative-compilation

      Public
      Paper implementation of "On-the-Fly Compiler Feedback as AI Generates Code"
      Rust
      •
      MIT License
      •0•6•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
      •1•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
      •1•6•0•0•Updated Jul 17, 2026Jul 17, 2026

    • exploiting-llm-quantization-website

      Public
      JavaScript
      •0•1•0•0•Updated Jun 7, 2026Jun 7, 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
      •3•14•0•0•Updated May 20, 2026May 20, 2026

    • aio-quantization-attack

      Public
      Python
      •
      MIT License
      •1•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
      •13•57•1•0•Updated May 11, 2026May 11, 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•2•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
      •3•13•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
      •10•105•0•0•Updated Mar 11, 2026Mar 11, 2026

    • Dual-Randomized-Smoothing

      Public
      Python
      •0•1•0•0•Updated Feb 27, 2026Feb 27, 2026
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.