Skip to content
@eth-sri

SRI Lab, ETH Zurich

Secure, Reliable, Intelligent Systems Lab, ETH Zurich

Pinned Loading

  1. lmql lmql Public

    A language for constraint-guided and efficient LLM programming.

    Python 4.2k 220

Repositories

Showing 10 of 138 repositories
  • eth-sri.github.io Public

    SRI Group Website

    eth-sri/eth-sri.github.io's past year of commit activity
    HTML 12 MIT 9 1 0 Updated Sep 15, 2026
  • proof-council Public
    eth-sri/proof-council's past year of commit activity
    Python 44 MIT 5 0 3 Updated Sep 10, 2026
  • generative-compilation Public

    Paper implementation of "On-the-Fly Compiler Feedback as AI Generates Code"

    eth-sri/generative-compilation's past year of commit activity
    Rust 6 MIT 0 0 0 Updated Aug 4, 2026
  • SPEAR Public

    Accompanying code of the Neurips '24 paper 'SPEAR: Exact Gradient Inversion of Batches in Federated Learning'

    eth-sri/SPEAR's past year of commit activity
    Python 0 0 0 0 Updated Jul 31, 2026
  • rlm-training-merging Public

    Code repository for the paper "Leveraging Instruction Tuning and Merging for Reasoning Model Adaptation"

    eth-sri/rlm-training-merging's past year of commit activity
    Python 1 1 0 0 Updated Jul 26, 2026
  • llm-verifier-noise Public

    [COLM 2026] Delay, Plateau, or Collapse: Evaluating the Impact of Systematic Verification Error on RLVR

    eth-sri/llm-verifier-noise's past year of commit activity
    Python 6 MIT 0 0 0 Updated Jul 17, 2026
  • matharena Public

    Evaluation of LLMs on latest math competitions

    eth-sri/matharena's past year of commit activity
    Python 283 MIT 34 5 2 Updated Jun 23, 2026
  • exploiting-llm-quantization-website Public
    eth-sri/exploiting-llm-quantization-website's past year of commit activity
    JavaScript 1 0 0 0 Updated Jun 7, 2026
  • optimizing-lean-agents Public
    eth-sri/optimizing-lean-agents's past year of commit activity
    Python 3 MIT 0 0 0 Updated Jun 4, 2026
  • honeyval-website Public
    eth-sri/honeyval-website's past year of commit activity
    JavaScript 0 0 0 0 Updated May 29, 2026
View all repositories