-
understand complex network behaviors, including those critical for AI safety and alignment. We study simple, analytically tractable "model organisms" that capture essential learning dynamics and failure modes
-
general enough to describe powerful agents and provable enough to support real safety claims — using AIXI, the theoretical model of unbounded artificial superintelligence — then port the strongest
Searches related to model checking
Enter an email to receive alerts for model-checking positions