Conference item
Augmenting the human mathematician
- Abstract:
-
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 by studying the functions of visual internal and external representations in human mathematicians and the role of epistemic emotions. These aspects remain gorges to bridge in developing ITPs. But b...
Expand abstract
- Publication status:
- Published
- Peer review status:
- Reviewed (other)
Actions
Access Document
- Files:
-
-
(Accepted manuscript, 230.3KB)
-
- Publication website:
- https://mathai-iclr.github.io/papers/
Authors
Bibliographic Details
- Publisher:
- Math-AI Publisher's website
- Host title:
- Proceedings of the 1st Mathematical Reasoning in General Artificial Intelligence Workshop (ICLR 2021)
- Publication date:
- 2021-05-07
- Acceptance date:
- 2021-03-28
- Event title:
- 1st Mathematical Reasoning in General Artificial Intelligence Workshop (ICLR 2021)
- Event website:
- https://mathai-iclr.github.io/
- Event start date:
- 2021-05-07
- Event end date:
- 2021-05-07
Item Description
- Language:
- English
- Keywords:
- Pubs id:
-
1240304
- Local pid:
- pubs:1240304
- Deposit date:
- 2022-02-21
Terms of use
- Copyright date:
- 2021
- Notes:
- This paper was presented at the 1st Mathematical Reasoning in General Artificial Intelligence Workshop (ICLR 2021), 7th May 2021. This is the accepted manuscript version of the article. The final version is available online at: https://mathai-iclr.github.io/papers/
Metrics
If you are the owner of this record, you can report an update to it here: Report update to this record