Towards Human Readability of Automated Unknottedness Proofs.

Andrew Fish Alexei Lisitsa Alexei Vernitski

Published in: Bridging@IJCAI/ECAI (2018)

Keyphrases

automated theorem provers
human interaction
data driven
computer aided
human activities
human subjects
human behavior
theorem proving
semi automated
human operators
database
database systems
semi automatic
human users
human factors
formal proof