PIRSA:25040071 Conference

DOI10.48660/25040071

Conference/School: Theory + AI Symposium

Koepke, P. (2025). Natural Proof Checking and AI. Perimeter Institute. https://pirsa.org/25040071

Koepke, Peter. Natural Proof Checking and AI. Perimeter Institute, Apr. 08, 2025, https://pirsa.org/25040071 

@misc{ pirsa_PIRSA:25040071,
  doi = {10.48660/25040071},
  url = {https://pirsa.org/25040071},
  author = {Koepke, Peter},
  keywords = {},
  language = {en},
  title = {Natural Proof Checking and AI},
  publisher = {Perimeter Institute},
  year = {2025},
  month = {apr},
  note = {PIRSA:25040071 see, \url{https://pirsa.org}}
}

Abstract

From the start of AI, mathematical theorem proving has been an important challenge and technique. We sketch the topics of Automated and Interactive Theorem Proving and present the checking of naturally readable mathematical texts in the Naproche proof system. This involves translations between informal, semi-formal and formal mathematical languages and shows great potential for the use of new AI techniques.

Resources

Next talk