Statheros: Compiler for Efficient Low-Precision Probabilistic Programming. - Jacob Laurel; Rem Yang; Atharva Sehgal; Shubham Ugare; Sasa Misailovic (DAC, 2021)

Composing Neural Learning and Symbolic Reasoning with an Application to Visual Discrimination. - Adithya Murali; Atharva Sehgal; Paul Krogmeier; P. Madhusudan (IJCAI, 2022)

Neurosymbolic Programming for Science. - Jennifer J. Sun; Megan Tjandrasuwita; Atharva Sehgal; Armando Solar-Lezama; Swarat Chaudhuri; Yisong Yue; Omar Costilla-Reyes (CoRR, 2022)

Neurosymbolic Grounding for Compositional World Models. - Atharva Sehgal; Arya Grayeli; Jennifer J. Sun; Swarat Chaudhuri (ICLR, 2024)

Symbolic Regression with a Learned Concept Library. - Arya Grayeli; Atharva Sehgal; Omar Costilla-Reyes; Miles D. Cranmer; Swarat Chaudhuri (NeurIPS, 2024)

Self-Evolving Visual Concept Library using Vision-Language Critics. - Atharva Sehgal; Patrick Yuan; Ziniu Hu; Yisong Yue; Jennifer J. Sun; Swarat Chaudhuri (CVPR, 2025)

Beyond Accuracy: Metrics that Uncover What Makes a 'Good' Visual Descriptor. - Ethan Lin; Linxi Zhao; Atharva Sehgal; Jennifer J. Sun (CoRR, 2025)