A language for constraint-guided and efficient LLM programming.
A certifiable defense against adversarial examples by training neural networks to be provably robust
AI based fuzzer based on imitation learning
A programming language and compiler which enable automatic compilation of intuitive data privacy specifications to NIZK-enabled private smart contracts.
Reproduction Package for "Black-Box Adversarial Attacks on LLM-Based Code Completion" [ICML 2025]