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 (ICSE, 2023)