{"payload":{"pageCount":2,"repositories":[{"type":"Public","name":"ConStat","owner":"eth-sri","isFork":false,"description":"A statistical test for contamination detection in language models.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-25T10:40:28.130Z"}},{"type":"Public","name":"lmql","owner":"eth-sri","isFork":false,"description":"A language for constraint-guided and efficient LLM programming.","topicNames":["programming-language","language-model","huggingface","chatgpt"],"topicsNotShown":0,"allTopics":["programming-language","language-model","huggingface","chatgpt"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":2,"issueCount":108,"starsCount":3393,"forksCount":184,"license":"Apache License 2.0","participation":[11,57,15,14,11,0,45,30,40,13,56,62,10,13,12,10,26,5,25,49,24,3,1,0,6,1,0,28,3,1,0,0,7,0,0,3,0,9,1,3,6,0,1,0,0,0,0,0,1,3,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-09T13:06:38.674Z"}},{"type":"Public","name":"language-model-arithmetic","owner":"eth-sri","isFork":false,"description":"Controlled Text Generation via Language Model Arithmetic","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":1,"issueCount":2,"starsCount":173,"forksCount":10,"license":"MIT License","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,17,0,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,2,0,0,0,0,2,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-24T09:12:13.581Z"}},{"type":"Public","name":"fairness-feedback-nlp","owner":"eth-sri","isFork":false,"description":"Human-Guided Fair Classification for NLP (ICLR 2023, Spotlight)","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":0,"license":"Creative Commons Zero v1.0 Universal","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-23T10:46:02.752Z"}},{"type":"Public","name":"ChatProtect","owner":"eth-sri","isFork":false,"description":"This is the code for the paper \"Self-contradictory Hallucinations of Large Language Models: Evaluation, Detection and Mitigation\".","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":2,"starsCount":28,"forksCount":3,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-16T14:02:59.962Z"}},{"type":"Public","name":"dl2","owner":"eth-sri","isFork":false,"description":" 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.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":4,"issueCount":5,"starsCount":81,"forksCount":17,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-23T20:41:22.598Z"}},{"type":"Public","name":"llmprivacy","owner":"eth-sri","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":24,"forksCount":5,"license":"MIT License","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,2,1,0,0,1,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-18T07:15:29.823Z"}},{"type":"Public","name":"datamin","owner":"eth-sri","isFork":false,"description":"This is the Repository containing the implementation of our paper \"From Principle to Practice: Vertical Data Minimization for Machine Learning\".","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-13T07:33:08.900Z"}},{"type":"Public","name":"ibp-propagation-tightness","owner":"eth-sri","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-21T16:43:32.600Z"}},{"type":"Public","name":"malicious-contamination","owner":"eth-sri","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-12T15:25:29.916Z"}},{"type":"Public","name":"Delta-Siege","owner":"eth-sri","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":6,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-12T10:39:17.366Z"}},{"type":"Public","name":"zkay","owner":"eth-sri","isFork":false,"description":"A programming language and compiler which enable automatic compilation of intuitive data privacy specifications to NIZK-enabled private smart contracts.","topicNames":["programming-language","privacy","compiler","ethereum","blockchain","zero-knowledge-proofs"],"topicsNotShown":0,"allTopics":["programming-language","privacy","compiler","ethereum","blockchain","zero-knowledge-proofs"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":3,"issueCount":2,"starsCount":80,"forksCount":21,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-05T18:01:43.819Z"}},{"type":"Public","name":"TAPS","owner":"eth-sri","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":null,"participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-25T13:17:29.116Z"}},{"type":"Public","name":"sven","owner":"eth-sri","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":2,"starsCount":62,"forksCount":13,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-11T13:21:58.639Z"}},{"type":"Public","name":"tableak","owner":"eth-sri","isFork":false,"description":"TabLeak: Tabular Data Leakage in Federated Learning","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":10,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-04T14:39:25.118Z"}},{"type":"Public","name":"ilf","owner":"eth-sri","isFork":false,"description":"AI based fuzzer based on imitation learning","topicNames":["testing","machine-learning","smart-contracts","blockchain","symbolic-execution","fuzzing","imitation-learning"],"topicsNotShown":0,"allTopics":["testing","machine-learning","smart-contracts","blockchain","symbolic-execution","fuzzing","imitation-learning"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":2,"starsCount":145,"forksCount":32,"license":"Apache License 2.0","participation":[0,0,0,0,0,0,0,0,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-26T22:22:55.836Z"}},{"type":"Public","name":"guiding-synthesizers","owner":"eth-sri","isFork":false,"description":"Guiding Program Synthesis by Learning to Generate Examples","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":2,"issueCount":0,"starsCount":13,"forksCount":4,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-23T04:57:58.069Z"}},{"type":"Public","name":"paradox","owner":"eth-sri","isFork":false,"description":"On the Paradox of Certified Training (TMLR 10/2022)","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-20T01:51:23.356Z"}},{"type":"Public","name":"mn-bab","owner":"eth-sri","isFork":false,"description":"[ICLR 2022] Complete Verification via Multi-Neuron Relaxation Guided Branch-and-Bound","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":1,"issueCount":7,"starsCount":7,"forksCount":6,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-15T16:35:35.188Z"}},{"type":"Public","name":"CRAFT","owner":"eth-sri","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-06-02T15:23:23.321Z"}},{"type":"Public","name":"SABR","owner":"eth-sri","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":11,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-04-21T07:44:35.741Z"}},{"type":"Public","name":"deepg","owner":"eth-sri","isFork":false,"description":"Certifying Geometric Robustness of Neural Networks","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":6,"issueCount":0,"starsCount":15,"forksCount":7,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-03-24T23:25:37.634Z"}},{"type":"Public","name":"GAINS","owner":"eth-sri","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-03-10T07:55:38.269Z"}},{"type":"Public","name":"lamp","owner":"eth-sri","isFork":false,"description":"LAMP: Extracting Text from Gradients with Language Model Priors (NeurIPS '22)","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":20,"forksCount":6,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-02-07T22:06:00.789Z"}},{"type":"Public","name":"eran","owner":"eth-sri","isFork":false,"description":"ETH Robustness Analyzer for Deep Neural Networks","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":2,"issueCount":11,"starsCount":306,"forksCount":100,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-01-27T01:14:21.381Z"}},{"type":"Public","name":"Reqomp","owner":"eth-sri","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-12-22T20:08:47.370Z"}},{"type":"Public","name":"proof-sharing","owner":"eth-sri","isFork":false,"description":"CAV'22 paper to speed up Neural Network Verification.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":1,"starsCount":10,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-12-19T17:00:52.002Z"}},{"type":"Public","name":"probabilistic-forecasts-attacks","owner":"eth-sri","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":6,"issueCount":1,"starsCount":30,"forksCount":11,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-12-08T07:25:14.485Z"}},{"type":"Public","name":"learning-real-bug-detector","owner":"eth-sri","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":2,"starsCount":16,"forksCount":4,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-11-30T09:00:58.922Z"}},{"type":"Public","name":"fedavg_leakage","owner":"eth-sri","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":1,"starsCount":3,"forksCount":2,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-11-21T18:43:13.936Z"}}],"repositoryCount":51,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"Repositories"}