{"node":{"id":16172,"uuid":"f3a01e12-ea0e-41ee-aea8-4b55656bb534","title":"CEDAR: Automata as Verifiable Interfaces for Language-Guided Embodied Action","url":"https:\/\/xmt.pub\/index.php\/node\/16172","created":1788157811},"trust_level":"l0_aggregate","publisher":null,"source_url":"https:\/\/arxiv.org\/abs\/2608.27797","provenance":{"algorithm":"sha256(source_url|publisher_id|created)","stored":"97c081df8df18b4a1a51356cb23f0c4b4f8fa2e7ce4b8a76c41ae82347bd2a08","expected":"97c081df8df18b4a1a51356cb23f0c4b4f8fa2e7ce4b8a76c41ae82347bd2a08","status":"verified"}}