Daksh Dobhal

According to our database, Daksh Dobhal authored at least 1 paper in 2024.

Collaborative distances:

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

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