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.5k 193

  2. silq silq Public

    Q# 607 53

Repositories

Showing 10 of 101 repositories
  • psi Public

    Exact Inference Engine for Probabilistic Programs

    eth-sri/psi’s past year of commit activity
    JetBrains MPS 123 BSL-1.0 16 2 0 Updated Jul 28, 2024
  • silq Public
    eth-sri/silq’s past year of commit activity
    Q# 607 BSL-1.0 53 10 1 Updated Jul 28, 2024
  • dl2 Public

    DL2 is a framework that allows training neural networks with logical constraints over numerical values in the network (e.g. inputs, outputs, weights) and to query networks for inputs fulfilling a logical formula.

    eth-sri/dl2’s past year of commit activity
    Python 83 MIT 17 5 5 Updated Jul 25, 2024
  • diffai Public

    A certifiable defense against adversarial examples by training neural networks to be provably robust

    eth-sri/diffai’s past year of commit activity
    Python 218 MIT 26 1 (1 issue needs help) 1 Updated Jul 25, 2024
  • eth-sri.github.io Public

    SRI Group Website

    eth-sri/eth-sri.github.io’s past year of commit activity
    HTML 9 MIT 9 1 0 Updated Jul 25, 2024
  • SafeCoder Public
    eth-sri/SafeCoder’s past year of commit activity
    Python 13 MIT 2 1 0 Updated Jul 16, 2024
  • sven Public
    eth-sri/sven’s past year of commit activity
    Python 78 MIT 15 0 0 Updated Jul 14, 2024
  • cuts Public
    eth-sri/cuts’s past year of commit activity
    Python 0 MIT 0 0 0 Updated Jul 13, 2024
  • SynthPAI Public

    A Synthetic Dataset for Personal Attribute Inference

    eth-sri/SynthPAI’s past year of commit activity
    HTML 13 MIT 0 0 0 Updated Jul 9, 2024
  • llm-quantization-attack Public
    eth-sri/llm-quantization-attack’s past year of commit activity
    Python 4 MIT 0 0 0 Updated Jul 9, 2024
View all repositories