Belief-State Query Policies for User-Aligned POMDPs. - Daniel Bramblett; Siddharth Srivastava 001 (NeurIPS, 2024)

Can LLMs Converse Formally? Automatically Assessing LLMs in Translating and Interpreting Formal Specifications. - Rushang Karia; Daksh Dobhal; Daniel Bramblett; Pulkit Verma 001; Siddharth Srivastava 001 (CoRR, 2024)

Belief-State Query Policies for Planning With Preferences Under Partial Observability. - Daniel Bramblett; Siddharth Srivastava 001 (CoRR, 2024)

∀uto∃∨∧L: Autonomous Evaluation of LLMs for Truth Maintenance and Reasoning Tasks. - Rushang Karia; Daniel Bramblett; Daksh Dobhal; Siddharth Srivastava 001 (CoRR, 2024)

Autonomous Evaluation of LLMs for Truth Maintenance and Reasoning Tasks. - Rushang Karia; Daniel Bramblett; Daksh Dobhal; Siddharth Srivastava 001 (ICLR, 2025)