Abhishek Varghese

According to our database, Abhishek Varghese authored at least 2 papers between 2020 and 2025.

Collaborative distances:

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

2025

QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning.

Alex Sanchez-Stern, Abhishek Varghese, Zhanna Kaufman, Shizhuo Dylan Zhang, Talia Ringer, Yuriy Brun

Proceedings of the 47th IEEE/ACM International Conference on Software Engineering, 2025

2020

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