Mayank Keoliya

According to our database, Mayank Keoliya authored at least 7 papers between 2022 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

CAMEL: An ECG Language Model for Forecasting Cardiac Events.

Neelay Velingker, Alaia Solko-Breslin, Mayank Keoliya, Seewon Choi, Jiayi Xin, Anika Marathe, Alireza Oraii, Rajat Deo, Sameed Ahmed M. Khatana, Rajeev Alur, Mayur Naik, Eric Wong

CoRR, February, 2026

2025

ESCA: Contextualizing Embodied Agents via Scene-Graph Generation.

Jiani Huang, Amish Sethi, Matthew Kuo, Mayank Keoliya, Neelay Velingker, JungHo Jung, Ser-Nam Lim, Ziyang Li, Mayur Naik

CoRR, October, 2025

Stable Prediction of Adverse Events in Medical Time-Series Data.

Mayank Keoliya, Seewon Choi, Rajeev Alur, Mayur Naik, Eric Wong

CoRR, October, 2025

Caruca: Effective and Efficient Specification Mining for Opaque Software Components.

Evangelos Lamprou, Seong-Heon Jung, Mayank Keoliya, Lukas Lazarek, Konstantinos Kallas, Michael Greenberg, Nikos Vasilakis

CoRR, October, 2025

2024

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

Proceedings of the Forty-first International Conference on Machine Learning, 2024

2023

Mostly Automated Proof Repair for Verified Libraries.

Kiran Gopinathan, Mayank Keoliya, Ilya Sergey

Proc. ACM Program. Lang., 2023

2022

Simulating Noisy Channels in DNA Storage.

Mayank Keoliya, Puru Sharma, Djordje Jevdjic

Proceedings of the International IEEE Symposium on Performance Analysis of Systems and Software, 2022