Person. Westley Weimer University of Michigan · 0000-0001-6749-2204 Papers How Do We Read Formal Claims? Eye-Tracking and the Cognition of Proofs about Algorithms ahmad-2023-howICSE · 2023 PDF · DOI · pldb