5
Repos
4.6k
Stars
292
Forks
4.6k
Watchers
Repositories (5)
lmql
eth-sri/lmql
Python
A language for constraint-guided and efficient LLM programming.
4.2k
218
diffai
eth-sri/diffai
Python
A certifiable defense against adversarial examples by training neural networks to be provably robust
219
26
ilf
eth-sri/ilf
Python
AI based fuzzer based on imitation learning
109
27
zkay
eth-sri/zkay
Python
A programming language and compiler which enable automatic compilation of intuitive data privacy specifications to NIZK-enabled private smart contracts.
88
21
insec
eth-sri/insec
Python
Reproduction Package for "Black-Box Adversarial Attacks on LLM-Based Code Completion" [ICML 2025]
6
0