34 citations · 53 across the 9 of their papers we have counts for
1 paper · 1 filter
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…