AI Safety via Static Analysis

TLDR: please check out these two AI Safety demos I have implemented. Those verifiers never mistakenly label a neural network as safe if it is actually unsafe! gelisam.com/sandbagging gelisam.com/parity-bot Now for the long version, which focuses on the parity-bot demo. Table of contentsPivoting to AI Safety Big picture Baby steps Range analysis explained with fish Conservative approximation