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 207

Repositories

Showing 10 of 112 repositories
  • matharena Public

    Evaluation of LLMs on latest math competitions

    Python 107 MIT 5 2 0 Updated Apr 20, 2025
  • eth-sri.github.io Public

    SRI Group Website

    HTML 10 MIT 8 1 0 Updated Apr 17, 2025
  • type-constrained-code-generation Public
    Python 1 0 0 0 Updated Apr 16, 2025
  • baxbench-website Public
    JavaScript 0 0 0 0 Updated Apr 15, 2025
  • llm-anonymization Public
    Python 10 MIT 0 2 0 Updated Apr 8, 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
  • cuts Public
    Python 6 MIT 0 0 0 Updated Mar 17, 2025
  • psi Public

    Exact Inference Engine for Probabilistic Programs

    JetBrains MPS 132 BSL-1.0 19 3 0 Updated Mar 13, 2025
  • durability-oss-watermarks Public
    Python 0 0 0 0 Updated Mar 13, 2025
View all repositories

Top languages

Loading…

Most used topics

Loading…