Augmenting the human mathematician
In this article we consider important developments in artificial intelligence within automated andinteractive theorem provers (ATP/ITP). Our focus is to describe and analyze key challenges for interactive theorem provers in mainstream mathematical practice. Our broader research program is motivated...
| Main Authors: | , , , |
|---|---|
| Format: | Conference item |
| Language: | English |
| Published: |
Math-AI
2021
|