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