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 3.8k 203

Repositories

Showing 10 of 107 repositories
  • baxbench-website Public
    eth-sri/baxbench-website’s past year of commit activity
    JavaScript 0 0 0 0 Updated Feb 21, 2025
  • eth-sri.github.io Public

    SRI Group Website

    eth-sri/eth-sri.github.io’s past year of commit activity
    HTML 9 MIT 8 1 0 Updated Feb 20, 2025
  • matharena Public

    Evaluation of LLMs on latest math competitions

    eth-sri/matharena’s past year of commit activity
    Python 22 MIT 0 1 0 Updated Feb 20, 2025
  • llmprivacy Public
    eth-sri/llmprivacy’s past year of commit activity
    Python 50 MIT 5 0 0 Updated Feb 16, 2025
  • llm-anonymization Public
    eth-sri/llm-anonymization’s past year of commit activity
    Python 4 MIT 0 0 0 Updated Feb 16, 2025
  • cascade-routing Public
    eth-sri/cascade-routing’s past year of commit activity
    Python 4 Apache-2.0 0 0 0 Updated Feb 14, 2025
  • mathconstruct Public

    MathConstruct: Challenging LLM Reasoning with Constructive Proofs

    eth-sri/mathconstruct’s past year of commit activity
    Python 3 MIT 0 0 0 Updated Feb 14, 2025
  • cuts Public
    eth-sri/cuts’s past year of commit activity
    Python 6 MIT 0 1 0 Updated Feb 11, 2025
  • polyrating Public

    Implementation of Polyrating: A Cost-Effective and Bias-Aware Rating System for LLM Evaluation

    eth-sri/polyrating’s past year of commit activity
    Python 2 Apache-2.0 0 0 0 Updated Feb 11, 2025
  • matharena.ai Public
    eth-sri/matharena.ai’s past year of commit activity
    JavaScript 1 MIT 0 0 0 Updated Feb 10, 2025
View all repositories

Top languages

Loading…