Person. Zachary Karas Vanderbilt University · 0000-0002-5721-8794 UndergraduateNew York University Papers How Do We Read Formal Claims? Eye-Tracking and the Cognition of Proofs about Algorithms ahmad-2023-howICSE · 2023 PDF · DOI · pldb