{"payload":{"pageCount":4,"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":"cuts","owner":"eth-sri","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-23T13:50:32.133Z"}},{"type":"Public","name":"eth-sri.github.io","owner":"eth-sri","isFork":false,"description":"SRI Group Website","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":1,"starsCount":8,"forksCount":9,"license":"MIT License","participation":[4,8,15,2,0,19,6,4,0,0,0,9,5,9,2,6,29,37,13,31,8,7,4,18,15,10,25,8,7,12,0,3,1,1,9,8,3,16,19,26,14,7,8,5,2,7,9,5,1,6,8,3],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-22T20:22:00.713Z"}},{"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":3391,"forksCount":184,"license":"Apache License 2.0","participation":[8,53,20,16,11,0,44,31,40,10,55,55,20,14,12,10,26,4,25,38,36,3,1,0,6,1,0,28,3,1,0,0,7,0,0,3,0,9,1,3,5,1,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,16,1,0,2,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":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,3,0,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,1,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-16T14:02:59.962Z"}},{"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":[0,3,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,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-15T16:35:35.188Z"}},{"type":"Public","name":"privacy-inference-multimodal","owner":"eth-sri","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"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,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],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-08T14:43:11.152Z"}},{"type":"Public","name":"watermark-stealing-website","owner":"eth-sri","isFork":true,"description":"The website for \"Watermark Stealing in Large Language Models\".","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":178,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-02T15:11:21.853Z"}},{"type":"Public","name":"ChromeER","owner":"eth-sri","isFork":true,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":15,"issueCount":0,"starsCount":2,"forksCount":306,"license":"BSD 3-Clause \"New\" or \"Revised\" 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,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":"2024-03-26T15:41:47.683Z"}},{"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":null,"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":"watermark-stealing","owner":"eth-sri","isFork":false,"description":"Watermark Stealing in Large Language Models","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":8,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-05T11:08:45.940Z"}},{"type":"Public","name":"synthetiq","owner":"eth-sri","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"OpenQASM","color":"#AA70FF"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-04T16:36:02.912Z"}},{"type":"Public","name":"SafeCoder","owner":"eth-sri","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":1,"starsCount":6,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-28T12:32:07.855Z"}},{"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":"silq","owner":"eth-sri","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Q#","color":"#fed659"},"pullRequestCount":1,"issueCount":10,"starsCount":608,"forksCount":53,"license":"Boost Software License 1.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-13T15:37:25.510Z"}},{"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":"automated-error-analysis","owner":"eth-sri","isFork":false,"description":"Automated Classification of Model Errors on ImageNet (NeurIPS 2023)","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-18T15:17:24.306Z"}},{"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":"fare","owner":"eth-sri","isFork":false,"description":"FARE: Provably Fair Representation Learning with Practical Certificates (ICML '23)","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-07T12:32:29.207Z"}},{"type":"Public","name":"securify2","owner":"eth-sri","isFork":false,"description":"Securify v2.0","topicNames":["security","static-analysis","ethereum","datalog","solidity","vulnerability","smart-contract"],"topicsNotShown":0,"allTopics":["security","static-analysis","ethereum","datalog","solidity","vulnerability","smart-contract"],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":2,"issueCount":33,"starsCount":572,"forksCount":132,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-03T16:35:10.906Z"}},{"type":"Public","name":"UnuglifyJS","owner":"eth-sri","isFork":true,"description":"A simpler open-source version of JavaScript deobfuscator JSNice","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":4,"issueCount":0,"starsCount":246,"forksCount":1243,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-11-03T19:48:07.786Z"}},{"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":null,"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":"psi","owner":"eth-sri","isFork":false,"description":"Exact Inference Engine for Probabilistic Programs","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"JetBrains MPS","color":"#21D789"},"pullRequestCount":0,"issueCount":2,"starsCount":123,"forksCount":16,"license":"Boost Software License 1.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-01T21:32:30.434Z"}}],"repositoryCount":96,"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"}