Atharva Sehgal

According to our database, Atharva Sehgal authored at least 4 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Neurosymbolic Grounding for Compositional World Models.

Atharva Sehgal, Arya Grayeli, Jennifer J. Sun, Swarat Chaudhuri

CoRR, 2023

2022

Neurosymbolic Programming for Science.

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

CoRR, 2022

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

Adithya Murali, Atharva Sehgal, Paul Krogmeier, P. Madhusudan

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

2021

Statheros: Compiler for Efficient Low-Precision Probabilistic Programming.

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

Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021