Interactive Theorem Provers: Applications in AI, Opportunities, and Challenges.

Mohammad Abdulaziz

Browse the full AAAI paper archive.