AITP: Conference on Artificial Intelligence and Theorem Proving