Mayank Keoliya

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 3

Top Topics

Biological Sequences

Efficient Storage

Automated Theorem Provers

Maximum Likelihood Estimation

Top Venues

Proc. ACM Program. Lang.

Publications

Yinjun Wu, Mayank Keoliya, Kan Chen, Neelay Velingker, Ziyang Li, Emily J. Getzen, Qi Long, Mayur Naik, Ravi B. Parikh, Eric Wong
DISCRET: Synthesizing Faithful Explanations For Treatment Effect Estimation. CoRR (2024)
Kiran Gopinathan, Mayank Keoliya, Ilya Sergey
Mostly Automated Proof Repair for Verified Libraries. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Mayank Keoliya, Puru Sharma, Djordje Jevdjic
Simulating Noisy Channels in DNA Storage. ISPASS (2022)