Estimating a novel stochastic model for within-field disease dynamics of banana bunchy top virus via approximate Bayesian computation. - Abhishek Varghese; Christopher C. Drovandi; Antonietta Mira; Kerrie L. Mengersen (PLoS Comput. Biol., 2020)

QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning. - Alex Sanchez-Stern; Abhishek Varghese; Zhanna Kaufman; Shizhuo Dylan Zhang; Talia Ringer; Yuriy Brun (ICSE, 2025)