Daksh Dobhal

According to our database1, Daksh Dobhal authored at least 3 papers in 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

2024
0
1
2
3
4
3

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

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

Using Explainable AI and Hierarchical Planning for Outreach with Robots.
CoRR, 2024

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


  Loading...