Madhav Kanda -

Registered user since Mon 27 Oct 2025

Name:Madhav Kanda

Affiliation:University of Illinois Urbana-Champaign

X (Twitter): https://x.com/madhav_kanda_

Contributions

2026

POPL

Student Volunteer in Student Volunteers

LAFI

Author of Grammar-Constrained LLM Generation for Reliable and Efficient Probabilistic Program Synthesis within the LAFI 2026-track