Welcome to the Technical AI Safety Podcast, the show where I interview computer scientists about their papers. This month I covered Optimal Policies Tend to Seek Power, which is closely related to Seeking Power is Often Robustly Instrumental in MDPs which is a part of the Reframing Impact sequence and...

Mar 11, 202124

Have general decomposers been formalized?

Hi, I'm working on a response to ML projects on IDA focusing on a specific decomposer, and I don't know if someone's formalized what a decomposer is in the general case. Intuitively, a system is a decomposer if it can take a thing and break it down into sub-things with...

Jun 27, 20208