The BasePeople

Grigore Rosu

Founder, Runtime Verification; professor, University of Illinois

Titles as the sources gave them. In 1 entry, with 1 checked quotation.

What they said

Newest first. Each quotation was found word for word in the source.

“It's impossible to prove the weights correct. It's impossible to prove you correct. But, I can have a police system around to make sure that you don't do bad things.”
AI:AM: Where's the Steering Wheel? My Agent Set the Password, Hidden Valence, Proofs Find Linux BugsThe Cognitive Revolution, October 17, 2026. Speaking as: Other. Rosu argues for formally proven runtime monitors around AI systems rather than proofs of the models themselves.

In the Base

Every entry they appear in.

  1. PodcastThe Cognitive RevolutionSpeaks

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

    In a weekly highlights episode, Nathan Labenz and Prakash Narayanan discuss keeping human control as agents gain access, starting from Labenz's account of Claude rotating the password to Labenz's own agent console. Cameron Berg describes a paper on a hidden valence signal steering model choices; Runtime Verification describes using language models and formal proofs to find Linux kernel bugs.