Sign in
Atharva Sehgal
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 4
Top Topics
Symbolic Reasoning
Multi Layered
Development Environment
Neural Learning
Top Venues
CoRR
DAC
IJCAI
</>
Publications
</>
Atharva Sehgal
,
Arya Grayeli
,
Jennifer J. Sun
,
Swarat Chaudhuri
Neurosymbolic Grounding for Compositional World Models.
CoRR
(2023)
Adithya Murali
,
Atharva Sehgal
,
Paul Krogmeier
,
P. Madhusudan
Composing Neural Learning and Symbolic Reasoning with an Application to Visual Discrimination.
IJCAI
(2022)
Jennifer J. Sun
,
Megan Tjandrasuwita
,
Atharva Sehgal
,
Armando Solar-Lezama
,
Swarat Chaudhuri
,
Yisong Yue
,
Omar Costilla-Reyes
Neurosymbolic Programming for Science.
CoRR
(2022)
Jacob Laurel
,
Rem Yang
,
Atharva Sehgal
,
Shubham Ugare
,
Sasa Misailovic
Statheros: Compiler for Efficient Low-Precision Probabilistic Programming.
DAC
(2021)