17 citations · 28 across the 2 of their papers we have counts for
3 papers
cs.GR2022★ 17 cited
Designing Perceptual Puzzles by Differentiating Probabilistic Programs
Kartik Chandra, Tzu-Mao Li, Joshua Tenenbaum +1
We design new visual illusions by finding "adversarial examples" for principled models of human perception -- specifically, for probabilistic models, which treat vision as Bayesian…
cs.LG2019★ 11 cited
SPoC: Search-based Pseudocode to Code
Sumith Kulal, Panupong Pasupat, Kartik Chandra +4
We consider the task of mapping pseudocode to long programs that are functionally correct. Given test cases as a mechanism to validate programs, we search over the space of possibl…
cs.PL2017
Bonsai: Synthesis-Based Reasoning for Type Systems
Kartik Chandra, Rastislav Bodik
We describe algorithms for symbolic reasoning about executable models of type systems, supporting three queries intended for designers of type systems. First, we check for type sou…