1. RefineStat: Efficient Exploration for Probabilistic Program Synthesis. 🔗
Madhav Kanda, Shubham Ugare, Sasa Misailovic.
Accepted at ICLR 2026.
Madhav Kanda, Shubham Ugare, Sasa Misailovic.
Accepted at ICLR 2026.
Dwip Dalal, Gautam Vashishtha, Madhav Kanda, Svetlana Lazebnik, Heng Ji, Unnat Jain.
Accepted at ICLR 2026.
Madhav Kanda*, Dwip Dalal*, Zhenhailong Wang, Heng Ji, Unnat Jain.
Accepted at EACL 2026.
Madhav Kanda, Shubham Ugare, Sasa Misailovic.
Accepted to The Workshop on Languages for Inference (LAFI), POPL 2026.
Aditi Agarwal*, Suraj Jaiswal*, Madhav Kanda*, Nipun Batra.
Accepted at NeurIPS 2023 RealML Workshop.
Ankita Kumari Jain, Nitish Sharma, Madhav Kanda, Nipun Batra.
arXiv preprint, 2024.
(* denotes equal contribution)