In the Eye of the Beholder: Which Proofs are Best?
Stefan BorgwardtAnke HirschAlisa KovtunovaFrederik WiehrPublished in: Description Logics (2020)
Keyphrases
- eye movements
- eye tracking
- real time
- gaze estimation
- formal proof
- eye detection
- theorem prover
- databases
- eye gaze
- mathematical proofs
- decision procedures
- theorem proving
- equational theories
- first order logic
- head motion
- evolutionary algorithm
- gaze direction
- computer vision
- formal proofs
- gaze detection
- automated theorem provers
- neural network