VIRF combines a deterministic logic tutor with LLM planners to achieve zero hazardous action rates in home safety tasks through iterative plan repairs.
For each stepi, it first performsAction Executionby applying the effects of actiona i to a persistent temporary world stateA ′
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.AI 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Grounding Generative Planners in Verifiable Logic: A Hybrid Architecture for Trustworthy Embodied AI
VIRF combines a deterministic logic tutor with LLM planners to achieve zero hazardous action rates in home safety tasks through iterative plan repairs.