AI Transparency

How Keel is made, which parts are AI, and what each of them can get wrong.