1 citations · 2 across the 8 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2025★ 1 cited
Bridging LLM Planning Agents and Formal Methods: A Case Study in Plan Verification
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…
cs.AI2023
Classification of Tabular Data by Text Processing
Keshav Ramani, Daniel Borrajo
Natural Language Processing technology has advanced vastly in the past decade. Text processing has been successfully applied to a wide variety of domains. In this paper, we propose…