Daniel Bramblett

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 2

Top Topics

Markov Decision Problems

Semantic Data Models

Specification Languages

Top Venues

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)
Daniel Bramblett, Siddharth Srivastava
Belief-State Query Policies for Planning With Preferences Under Partial Observability. CoRR (2024)