Login / Signup
Daksh Dobhal
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 2
Top Topics
John Mccarthy
Intelligent Machines
Ai Researchers
Formal Specification
Top Venues
CoRR
</>
Publications
</>
Rushang Karia
,
Daksh Dobhal
,
Daniel Bramblett
,
Pulkit Verma
,
Siddharth Srivastava
Can LLMs Converse Formally? Automatically Assessing LLMs in Translating and Interpreting Formal Specifications.
CoRR
(2024)
Daksh Dobhal
,
Jayesh Nagpal
,
Rushang Karia
,
Pulkit Verma
,
Rashmeet Kaur Nayyar
,
Naman Shah
,
Siddharth Srivastava
Using Explainable AI and Hierarchical Planning for Outreach with Robots.
CoRR
(2024)