Dependent Type Theory and Zero-Shot Reasoning — AI Alignment Forum