| | ERAN: ETH Robustness Analyzer for Deep Neural Networks (github.com/eth-sri) |
| 1 point by teleforce on April 10, 2025 | past |
|
| | Show HN: ToolFuzz – Automated Testing for Agent Tools (github.com/eth-sri) |
| 1 point by imilev on March 12, 2025 | past |
|
| | Show HN: Fine-grained stylistic control of LLMs using model arithmetic (github.com/eth-sri) |
| 85 points by OcelotBane on Dec 9, 2023 | past | 8 comments |
|
| | LMQL: A query language for programming (large) language models (github.com/eth-sri) |
| 108 points by behnamoh on May 16, 2023 | past | 12 comments |
|
| | Silq: High-level strong static typed programming language for quantum computing (github.com/eth-sri) |
| 4 points by ranit on June 24, 2020 | past |
|
| | ILF: AI-Based Fuzzer for Ethereum Smart Contracts (github.com/eth-sri) |
| 5 points by veselin on Dec 3, 2019 | past | 1 comment |
|
| | Debin: Predicting Debug Information in Stripped Binaries (github.com/eth-sri) |
| 1 point by matt_d on Sept 1, 2019 | past |
|
