Daksh Dobhal

According to our database, Daksh Dobhal authored at least 4 papers between 2024 and 2025.

Collaborative distances:

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

2025

Autonomous Evaluation of LLMs for Truth Maintenance and Reasoning Tasks.

Rushang Karia, Daniel Bramblett, Daksh Dobhal, Siddharth Srivastava

Proceedings of the Thirteenth International Conference on Learning Representations, 2025

Using Explainable AI and Hierarchical Planning for Outreach with Robots.

Rushang Karia, Jayesh Nagpal, Daksh Dobhal, Pulkit Verma, Rashmeet Kaur Nayyar, Naman Shah, Siddharth Srivastava

Proceedings of the AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25, 2025

2024

∀uto∃∨∧L: Autonomous Evaluation of LLMs for Truth Maintenance and Reasoning Tasks.

Rushang Karia, Daniel Bramblett, Daksh Dobhal, Siddharth Srivastava

CoRR, 2024

Can LLMs Converse Formally? Automatically Assessing LLMs in Translating and Interpreting Formal Specifications.

Rushang Karia, Daksh Dobhal, Daniel Bramblett, Pulkit Verma, Siddharth Srivastava

CoRR, 2024