Simulating Noisy Channels in DNA Storage. - Mayank Keoliya; Puru Sharma; Djordje Jevdjic (ISPASS, 2022)

Mostly Automated Proof Repair for Verified Libraries. - Kiran Gopinathan; Mayank Keoliya; Ilya Sergey (Proc. ACM Program. Lang., 2023)

DISCRET: Synthesizing Faithful Explanations For Treatment Effect Estimation. - Yinjun Wu; Mayank Keoliya; Kan Chen; Neelay Velingker; Ziyang Li; Emily J. Getzen; Qi Long; Mayur Naik; Ravi B. Parikh; Eric Wong 001 (ICML, 2024)