ProRAC: A Neuro-symbolic Method for Reasoning about Actions with LLM-based Progression

ProRAC introduces a neuro-symbolic architecture that combines LLM-driven action extraction with symbolic execution to solve complex reasoning tasks with high...

Level: advanced

By Haoyong Wu, Yongmei Liu

Category: research