{"payload":{"pageCount":2,"repositories":[{"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":108,"starsCount":3413,"forksCount":184,"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":65,"forksCount":13,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-28T12:41:32.639Z"}},{"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":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-25T10:40:28.130Z"}},{"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":174,"forksCount":11,"license":"MIT License","participation":null,"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":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\".","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":"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":25,"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":"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":"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":"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":"TAPS","owner":"eth-sri","isFork":false,"description":"","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":"tableak","owner":"eth-sri","isFork":false,"description":"TabLeak: Tabular Data Leakage in Federated Learning","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","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":null,"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","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)","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","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":"","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":"","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","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":"","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)","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","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":2,"issueCount":11,"starsCount":307,"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":"","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.","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":1,"starsCount":11,"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":"","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":"","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":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":1,"starsCount":4,"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"}