Skip to content
@eth-sri

SRI Lab, ETH Zurich

Secure, Reliable, Intelligent Systems Lab, ETH Zurich

Pinned Loading

  1. lmql Public

    A language for constraint-guided and efficient LLM programming.

    Python 3.9k 206

Repositories

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

    SRI Group Website

    HTML 9 MIT 8 1 0 Updated Mar 26, 2025
  • matharena Public

    Evaluation of LLMs on latest math competitions

    Python 43 MIT 0 3 0 Updated Mar 25, 2025
  • automated-error-analysis Public

    Automated Classification of Model Errors on ImageNet (NeurIPS 2023)

    Jupyter Notebook 6 Apache-2.0 1 0 0 Updated Mar 18, 2025
  • fairness-feedback-nlp Public

    Human-Guided Fair Classification for NLP (ICLR 2023, Spotlight)

    Python 5 CC0-1.0 0 0 0 Updated Mar 18, 2025
  • JavaScript 0 0 0 0 Updated Mar 18, 2025
  • cuts Public
    Python 6 MIT 0 1 0 Updated Mar 17, 2025
  • psi Public

    Exact Inference Engine for Probabilistic Programs

    JetBrains MPS 132 BSL-1.0 18 3 0 Updated Mar 13, 2025
  • Python 0 0 0 0 Updated Mar 13, 2025
  • ToolFuzz Public

    ToolFuzz is a fuzzing framework designed to test your LLM Agent tools.

    Python 13 MIT 0 0 0 Updated Mar 12, 2025
  • watermark-detection Public

    Black-Box Detection of Language Model Watermarks (ICLR 2025)

    Python 0 0 0 0 Updated Mar 10, 2025