Managing extreme AI risks amid rapid progressYoshua Bengio, Sören Mindermann, Stuart Russell et al.|Science|2024Cited by 264
BinHunt: Automatically Finding Semantic Differences in Binary ProgramsDebin Gao, Dawn Song, Michael K. Reiter|Lecture notes in computer science|2008Cited by 256