Should we apply?
7 questions about Artificial Intelligence, Formal Methods, and Mathematical Reasoning (AIMing). The first ones are deal-breakers: grant professionals check them before writing anything. We filled in what we know. Change anything that's wrong.