Login / Signup
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