Math-for-AI-Safety / MAIS

Open problems, research agendas, and papers in Math for AI Safety — public from draft stage onward