{"payload":{"pageCount":4,"repositories":[{"type":"Public","name":"CTBench","owner":"eth-sri","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"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,0,0,0,0,0,0,2],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-06T20:54:40.181Z"}},{"type":"Public","name":"eth-sri.github.io","owner":"eth-sri","isFork":false,"description":"SRI Group Website","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":1,"starsCount":8,"forksCount":9,"license":"MIT License","participation":[15,2,0,19,6,4,0,0,0,9,5,9,3,5,30,36,13,32,7,7,4,18,15,10,25,9,7,11,0,3,1,1,9,9,2,16,19,26,14,7,8,5,2,7,9,5,1,6,8,5,6,7],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-03T19:05:14.713Z"}},{"type":"Public","name":"domino","owner":"eth-sri","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":[],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-03T13:05:47.403Z"}},{"type":"Public","name":"lmql","owner":"eth-sri","isFork":false,"description":"A language for constraint-guided and efficient LLM programming.","allTopics":["programming-language","language-model","huggingface","chatgpt"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":2,"issueCount":109,"starsCount":3427,"forksCount":187,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-03T13:02:24.674Z"}},{"type":"Public","name":"sven","owner":"eth-sri","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":1,"starsCount":66,"forksCount":13,"license":"Apache License 2.0","participation":[0,0,0,0,0,0,0,0,0,0,2,1,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,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-28T12:41:32.639Z"}},{"type":"Public","name":"constat.github.io","owner":"eth-sri","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"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,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,7,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-28T08:11:53.791Z"}},{"type":"Public","name":"ConStat","owner":"eth-sri","isFork":false,"description":"A statistical test for contamination detection in language models.","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":"Apache License 2.0","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,3,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-25T10:40:28.130Z"}},{"type":"Public","name":"cuts","owner":"eth-sri","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":[0,0,0,2,2,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,0,0,1,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-23T13:50:32.133Z"}},{"type":"Public","name":"language-model-arithmetic","owner":"eth-sri","isFork":false,"description":"Controlled Text Generation via Language Model Arithmetic","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":1,"issueCount":2,"starsCount":175,"forksCount":11,"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,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,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)","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":0,"license":"Creative Commons Zero v1.0 Universal","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,6,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,2,0,0,0,0,0,0],"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\".","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":2,"starsCount":30,"forksCount":3,"license":"Apache License 2.0","participation":null,"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","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":"privacy-inference-multimodal","owner":"eth-sri","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":null,"participation":null,"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\".","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":183,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-02T15:11:21.853Z"}},{"type":"Public","name":"ChromeER","owner":"eth-sri","isFork":true,"description":"","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":15,"issueCount":0,"starsCount":2,"forksCount":306,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"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.","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":4,"issueCount":5,"starsCount":83,"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":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":27,"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\".","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","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":"","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":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":1,"starsCount":7,"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":"","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":"","allTopics":[],"primaryLanguage":{"name":"Q#","color":"#fed659"},"pullRequestCount":1,"issueCount":10,"starsCount":607,"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":"","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":"","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)","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.","allTopics":["programming-language","privacy","compiler","ethereum","blockchain","zero-knowledge-proofs"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":3,"issueCount":2,"starsCount":81,"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)","allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"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","allTopics":["security","static-analysis","ethereum","datalog","solidity","vulnerability","smart-contract"],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":2,"issueCount":33,"starsCount":575,"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","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":4,"issueCount":0,"starsCount":247,"forksCount":1242,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-11-03T19:48:07.786Z"}}],"repositoryCount":99,"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"}