Search Results for author:
Found 2 papers, 0 papers with code
Belief-State Query Policies for Planning With Preferences Under Partial Observability
Empirical results show that BSQ preferences provide a computationally feasible approach for planning with preferences in partially observable settings.
Can LLMs Converse Formally? Automatically Assessing LLMs in Translating and Interpreting Formal Specifications
Stakeholders often describe system requirements using natural language which are then converted to formal syntax by a domain-expert leading to increased design costs.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
