Atharva Sehgal

According to our database, Atharva Sehgal authored at least 5 papers between 2021 and 2024.

Collaborative distances:

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

2024

Symbolic Regression with a Learned Concept Library.

Arya Grayeli, Atharva Sehgal, Omar Costilla-Reyes, Miles Cranmer, Swarat Chaudhuri

CoRR, 2024

Neurosymbolic Grounding for Compositional World Models.

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

Proceedings of the Twelfth International Conference on Learning Representations, 2024

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