1 paper · 1 filter
Christine P Lee, Xinyu Jessica Wang, Aws Albarghouthi +2
LLMs are increasingly used for end-user task planning, yet their black-box nature limits users' ability to ensure reliability and control. While recent systems incorporate verifica…