Automating the Modeling
of Transformative AI Risks