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 204

Repositories

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

    SRI Group Website

    HTML 9 MIT 8 1 0 Updated Mar 13, 2025
  • psi Public

    Exact Inference Engine for Probabilistic Programs

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

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

    Python 7 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
  • matharena Public

    Evaluation of LLMs on latest math competitions

    Python 36 MIT 0 3 0 Updated Mar 10, 2025
  • baxbench-website Public
    JavaScript 0 0 0 0 Updated Mar 10, 2025
  • cuts Public
    Python 6 MIT 0 1 0 Updated Mar 2, 2025
  • ward Public

    Ward: Provable RAG Dataset Inference via LLM Watermarks (ICLR 2025)

    Python 1 MIT 0 0 0 Updated Feb 26, 2025
  • llmprivacy Public
    Python 52 MIT 5 0 0 Updated Feb 16, 2025
  • llm-anonymization Public
    Python 5 MIT 0 0 0 Updated Feb 16, 2025
View all repositories

Top languages

Loading…

Most used topics

Loading…