Submissions from github.com/eth-sri

		ERAN: ETH Robustness Analyzer for Deep Neural Networks (github.com/eth-sri)
		1 point by teleforce 28 days ago \| past
		Show HN: ToolFuzz – Automated Testing for Agent Tools (github.com/eth-sri)
		1 point by imilev 57 days ago \| 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