AI:AM: Where's the Steering Wheel? My Agent Set the Password, Hidden Valence, Proofs Find Linux Bugs

Nathan Labenz and Prakash Narayanan explore how to maintain human control over autonomous AI agents, examining real-world security risks, formal verification for software bugs, and hidden signals within language models.