Publication on formalizing preference utilitarianism in physical world models — LessWrong