Abhishek Varghese

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

Collaborative distances:

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

2024

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

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

CoRR, 2024

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