On Banzhaf and Shapley-Shubik Fixed Points and Divisor Voting Systems. - Alex Arnell; Richard Chen; Evelyn Choi; Miroslav Marinov; Nastia Polina; Aaryan Prakash (CoRR, 2020)

From Batch to Stream: Automatic Generation of Online Algorithms. - Ziteng Wang; Shankara Pailoor; Aaryan Prakash; Yuepeng Wang 001; Isil Dillig (Proc. ACM Program. Lang., 2024)