Hello Internet!

I'm Atharva. I'm a PhD student at UT Austin working with Swarat Chaudhuri. My research is at the intersection of Program Synthesis and Deep Learning with applications in behavioral neuroscience and precision medicine.

Previously, I was at UIUC where I worked on neurosymbolic learning with Madhusudhan Parthasarathy and approximate algorithms for probabilistic programming with Sasa Misailovic.

Feel free to reach out to me at: [email protected]

News

• VDP Accepted to IJCAI'2022! (AR: 15%)Spring 2022
• Moving to UT Austin!Summer 2021
• Graduated from UIUC!Spring 2021
• Statheros Accepted to DAC'2021! (AR: 23%)Spring 2021

Publications

2022

Neurosymbolic Programming for Science

Jennifer J. Sun*, Megan Tjandrasuwita*, Atharva Sehgal*, Armando Solar-Lezama, Swarat Chaudhuri, Yisong Yue, Omar Costilla-Reyes

NeurIPS 2022 (AI4Science Workshop) Full Text

Composing Neural Learning and Symbolic Reasoning with an Application to Visual Discrimination

Adithya Murali, Atharva Sehgal, Paul Krogmeier, Madhusudan Parthasarathy

IJCAI-ECAI 2022 Code Website Full Text

2021

Statheros: A Compiler for Efficient Low-Precision Probabilistic Programming

Jacob Laurel, Rem Yang, Atharva Sehgal, Shubham Ugare, Sasa Misailovic

DAC 2021 Full Text