1 citations · 2 across the 8 of their papers we have counts for
1 paper · 2 filters
Keshav Ramani, Vali Tawosi, Salwa Alamir +1
We introduce a novel framework for evaluating the alignment between natural language plans and their expected behavior by converting them into Kripke structures and Linear Temporal…