Aaai 2024 Tutorial Dojo. Even though some questions are pretty tough in the tutorial dojo exams (specially some wrt hsm) overall it. We will start this tutorial by explaining what a proof really is, and what it means for an algorithm to certify the correctness of its answers by using proof logging.

However, there have been no tutorials on cl so far, motivating the organization of our tutorial on cl at aaai 2024. Even though some questions are pretty tough in the tutorial dojo exams (specially some wrt hsm) overall it.