Bridging LLM Planning Agents and Formal Methods: A Case Study in Plan Verification

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Ramani, Keshav, Tawosi, Vali, Alamir, Salwa, Borrajo, Daniel
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet

https://arxiv.org/abs/2510.03469