Aaai 2024 Tutorial. We are particularly interested in. 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.
Participants will be introduced to various fhe. We will give a brief overview of.