Research agenda: Formalizing abstractions of computations — AI Alignment Forum