eth-sri Goto Github PK
Name: SRI Lab, ETH Zurich
Type: Organization
Bio: Secure, Reliable, Intelligent Systems Lab, ETH Zurich
Location: Switzerland
Name: SRI Lab, ETH Zurich
Type: Organization
Bio: Secure, Reliable, Intelligent Systems Lab, ETH Zurich
Location: Switzerland
ELINA: ETH LIbrary for Numerical Analysis
ETH Robustness Analyzer for Deep Neural Networks
SRI Group Website
A race detection tool for event driven applications.
Human-Guided Fair Classification for NLP (ICLR 2023, Spotlight)
FARE: Provably Fair Representation Learning with Practical Certificates (ICML '23)
Learning to Solve SMT Formulas Fast
Guiding Program Synthesis by Learning to Generate Examples
AI based fuzzer based on imitation learning
InferUI: Robust Relational Layouts Synthesis from Examples for Android
LAMP: Extracting Text from Gradients with Language Model Priors (NeurIPS '22)
Controlled Text Generation via Language Model Arithmetic
Latent Space Smoothing for Individually Fair Representations (ECCV 2022)
Learning Certified Individually Fair Representations
[NeurIPS'22] Learning to Configure Computer Networks with Neural Algorithmic Reasoning
A language for constraint-guided and efficient LLM programming.
[ICLR 2022] Complete Verification via Multi-Neuron Relaxation Guided Branch-and-Bound
Synthesized models for PHOG to make the results reproducible by the research community
Trace Based Supervision for Neural Architectures
Learning framework for program property prediction
On the Paradox of Certified Training (TMLR 10/2022)
Private and Reliable Neural Network Inference (CCS '22)
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.