Login / Signup
How Do We Read Formal Claims? Eye-Tracking and the Cognition of Proofs about Algorithms.
Hammad Ahmad
Zachary Karas
Kimberly Diaz
Amir Kamil
Jean-Baptiste Jeannin
Westley Weimer
Published in:
ICSE (2023)
Keyphrases
</>
eye tracking
eye movements
visual attention
eye gaze
eye detection and tracking
artificial intelligence
image quality
eye tracking data