Kartik Chandra

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 19

Top Topics

Query Optimizer

Symbolic Reasoning

Metropolis Hastings

Mental Representations

Top Venues

SIGGRAPH (Conference Paper Track)

Proc. ACM Program. Lang.

Publications

Kartik Chandra, Tzu-Mao Li, Rachit Nigam, Joshua B. Tenenbaum, Jonathan Ragan-Kelley
WatChat: Explaining perplexing programs by debugging mental models. CoRR (2024)
Kartik Chandra, Tony Chen, Tzu-Mao Li, Jonathan Ragan-Kelley, Josh Tenenbaum
Inferring the Future by Imagining the Past. NeurIPS (2023)
Utkarsh Singhal, Brian Cheung, Kartik Chandra, Jonathan Ragan-Kelley, Joshua B. Tenenbaum, Tomaso A. Poggio, Stella X. Yu
How to guess a gradient. CoRR (2023)
Gaurav Arya, Ruben Seyer, Frank Schäfer, Alexander K. Lew, Mathieu Huot, Vikash K. Mansinghka, Chris Rackauckas, Kartik Chandra, Moritz Schauer
Differentiating Metropolis-Hastings to Optimize Intractable Densities. CoRR (2023)
Kartik Chandra, Tony Chen, Tzu-Mao Li, Jonathan Ragan-Kelley, Joshua B. Tenenbaum
Inferring the Future by Imagining the Past. CoRR (2023)
Kartik Chandra, Tzu-Mao Li, Josh Tenenbaum, Jonathan Ragan-Kelley
Acting as Inverse Inverse Planning. CoRR (2023)
Kartik Chandra, Tzu-Mao Li, Joshua B. Tenenbaum, Jonathan Ragan-Kelley
Inverse Planning. Top. Cogn. Sci. 16 (1) (2023)
Kartik Chandra, Tzu-Mao Li, Josh Tenenbaum, Jonathan Ragan-Kelley
Storytelling as Inverse Inverse Planning. CogSci (2023)
Kartik Chandra, Tzu-Mao Li, Joshua B. Tenenbaum, Jonathan Ragan-Kelley
Acting as Inverse Inverse Planning. SIGGRAPH (Conference Paper Track) (2023)
Kartik Chandra, Tzu-Mao Li, Joshua B. Tenenbaum, Jonathan Ragan-Kelley
Designing Perceptual Puzzles by Differentiating Probabilistic Programs. SIGGRAPH (Conference Paper Track) (2022)
Kartik Chandra, Audrey Xie, Jonathan Ragan-Kelley, Erik Meijer
Gradient Descent: The Ultimate Optimizer. NeurIPS (2022)
Kartik Chandra, Tzu-Mao Li, Joshua B. Tenenbaum, Jonathan Ragan-Kelley
Designing Perceptual Puzzles by Differentiating Probabilistic Programs. CoRR (2022)
Kartik Chandra, Chuma Kabaghe, Gregory Valiant
Beyond Laurel/Yanny: An Autoencoder-Enabled Search for Polyperceivable Audio. ACL/IJCNLP (2) (2021)
Sumith Kulal, Panupong Pasupat, Kartik Chandra, Mina Lee, Oded Padon, Alex Aiken, Percy Liang
SPoC: Search-based Pseudocode to Code. CoRR (2019)
Sumith Kulal, Panupong Pasupat, Kartik Chandra, Mina Lee, Oded Padon, Alex Aiken, Percy Liang
SPoC: Search-based Pseudocode to Code. NeurIPS (2019)
Kartik Chandra, Erik Meijer, Samantha Andow, Emilio Arroyo-Fang, Irene Dea, Johann George, Melissa Grueter, Basil Hosmer, Steffi Stumpos, Alanna Tempest, Shannon Yang
Gradient Descent: The Ultimate Optimizer. CoRR (2019)
Kartik Chandra, Rastislav Bodík
Bonsai: synthesis-based reasoning for type systems. Proc. ACM Program. Lang. 2 (POPL) (2018)
Kartik Chandra, Rastislav Bodík
Bonsai: Synthesis-Based Reasoning for Type Systems. CoRR (2017)
Rastislav Bodík, Kartik Chandra, Phitchaya Mangpo Phothilimthana, Nathaniel Yazdani
Domain-Specific Symbolic Compilation. SNAPL (2017)
Kartik Chandra, Glenn Healey
Using Coupled Subspace Models for Reflectance/Illumination Separation. IEEE Trans. Geosci. Remote. Sens. 46 (1) (2008)
Kartik Chandra, Glenn Healey
Recovery of Ground Surface Information from Airborne Hyperspectral Images. IGARSS (2006)
Kartik Chandra, Neeharika Adabala, Kentaro Toyama
Aerial Image Relighting: Simulating Time of Day Variations. Computer Graphics International (2006)
Kartik Chandra, Glenn Healey
Using Coupled Subspace Models for Recovery of Reflectance Spectra from Airborne Images. CVPR (2) (2005)