What are Scott Garrabrant and Abram Demski working on?

They are working on fundamental problems like embeddedness, decision theory, logical counterfactuals, and more. A big advance was Cartesian Frames, a formal model of agency, and Finite Factored Sets, which reframes time in a way which is more compatible with agency.