{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:4BGRAZWQ6RMOMRWXIXHHJJ4PSK","short_pith_number":"pith:4BGRAZWQ","canonical_record":{"source":{"id":"2402.11498","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2024-02-18T08:05:54Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"c9eefa676ddf1242e239f875ea144e1b0640455d1153a01f7c096782982217b0","abstract_canon_sha256":"eb175e207afd4e0212b10bcfe8ca718323fc868c9ffc80716ba29905c1511411"},"schema_version":"1.0"},"canonical_sha256":"e04d1066d0f458e646d745ce74a78f92b1728fcc3be87bf3cea5b8fe88882b77","source":{"kind":"arxiv","id":"2402.11498","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2402.11498","created_at":"2026-07-05T10:41:11Z"},{"alias_kind":"arxiv_version","alias_value":"2402.11498v3","created_at":"2026-07-05T10:41:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2402.11498","created_at":"2026-07-05T10:41:11Z"},{"alias_kind":"pith_short_12","alias_value":"4BGRAZWQ6RMO","created_at":"2026-07-05T10:41:11Z"},{"alias_kind":"pith_short_16","alias_value":"4BGRAZWQ6RMOMRWX","created_at":"2026-07-05T10:41:11Z"},{"alias_kind":"pith_short_8","alias_value":"4BGRAZWQ","created_at":"2026-07-05T10:41:11Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:4BGRAZWQ6RMOMRWXIXHHJJ4PSK","target":"record","payload":{"canonical_record":{"source":{"id":"2402.11498","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2024-02-18T08:05:54Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"c9eefa676ddf1242e239f875ea144e1b0640455d1153a01f7c096782982217b0","abstract_canon_sha256":"eb175e207afd4e0212b10bcfe8ca718323fc868c9ffc80716ba29905c1511411"},"schema_version":"1.0"},"canonical_sha256":"e04d1066d0f458e646d745ce74a78f92b1728fcc3be87bf3cea5b8fe88882b77","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:41:11.689933Z","signature_b64":"Vz3lfzXg5v2tL5OFr07O0psjQDNUVmUabpjI2QAuOTzJ8bUsAVk+WLQvIrJ56SO2r9B4JNJCDn/dMF2R3yvzAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e04d1066d0f458e646d745ce74a78f92b1728fcc3be87bf3cea5b8fe88882b77","last_reissued_at":"2026-07-05T10:41:11.689380Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:41:11.689380Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2402.11498","source_version":3,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T10:41:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/G1XduavrphBqp+l1gH7MVNgb75r5EtMwgRmy1/3iuOTeFMXtI3JAD0DOVCtIdZ01XPqX1UmurJwvxW0pTfMAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T01:13:21.419315Z"},"content_sha256":"09b5e9290779ccaad6d3451a4b6888f2dd88165ee00fdcd0bda133d69785e1ef","schema_version":"1.0","event_id":"sha256:09b5e9290779ccaad6d3451a4b6888f2dd88165ee00fdcd0bda133d69785e1ef"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:4BGRAZWQ6RMOMRWXIXHHJJ4PSK","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Verifiably Following Complex Robot Instructions with Foundation Models","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.RO","authors_text":"Benedict Quartey, Eric Rosen, George Konidaris, Stefanie Tellex","submitted_at":"2024-02-18T08:05:54Z","abstract_excerpt":"When instructing robots, users want to flexibly express constraints, refer to arbitrary landmarks, and verify robot behavior, while robots must disambiguate instructions into specifications and ground instruction referents in the real world. To address this problem, we propose Language Instruction grounding for Motion Planning (LIMP), an approach that enables robots to verifiably follow complex, open-ended instructions in real-world environments without prebuilt semantic maps. LIMP constructs a symbolic instruction representation that reveals the robot's alignment with an instructor's intended"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2402.11498","kind":"arxiv","version":3},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2402.11498/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T10:41:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"iV96bqq+7sJc/4rYknjhfj9cLfvpgZ9KeM0B261DmtAC3AojOKZGX696sEJxIBBnynx7J0bo5fj7ItLzK3TvBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T01:13:21.419975Z"},"content_sha256":"562070811c6c7fd25b4e4daa6d3dd1d094cac0b35e84421ec2c200ee9d6828ba","schema_version":"1.0","event_id":"sha256:562070811c6c7fd25b4e4daa6d3dd1d094cac0b35e84421ec2c200ee9d6828ba"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4BGRAZWQ6RMOMRWXIXHHJJ4PSK/bundle.json","state_url":"https://pith.science/pith/4BGRAZWQ6RMOMRWXIXHHJJ4PSK/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4BGRAZWQ6RMOMRWXIXHHJJ4PSK/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-08T01:13:21Z","links":{"resolver":"https://pith.science/pith/4BGRAZWQ6RMOMRWXIXHHJJ4PSK","bundle":"https://pith.science/pith/4BGRAZWQ6RMOMRWXIXHHJJ4PSK/bundle.json","state":"https://pith.science/pith/4BGRAZWQ6RMOMRWXIXHHJJ4PSK/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4BGRAZWQ6RMOMRWXIXHHJJ4PSK/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:4BGRAZWQ6RMOMRWXIXHHJJ4PSK","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"eb175e207afd4e0212b10bcfe8ca718323fc868c9ffc80716ba29905c1511411","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2024-02-18T08:05:54Z","title_canon_sha256":"c9eefa676ddf1242e239f875ea144e1b0640455d1153a01f7c096782982217b0"},"schema_version":"1.0","source":{"id":"2402.11498","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2402.11498","created_at":"2026-07-05T10:41:11Z"},{"alias_kind":"arxiv_version","alias_value":"2402.11498v3","created_at":"2026-07-05T10:41:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2402.11498","created_at":"2026-07-05T10:41:11Z"},{"alias_kind":"pith_short_12","alias_value":"4BGRAZWQ6RMO","created_at":"2026-07-05T10:41:11Z"},{"alias_kind":"pith_short_16","alias_value":"4BGRAZWQ6RMOMRWX","created_at":"2026-07-05T10:41:11Z"},{"alias_kind":"pith_short_8","alias_value":"4BGRAZWQ","created_at":"2026-07-05T10:41:11Z"}],"graph_snapshots":[{"event_id":"sha256:562070811c6c7fd25b4e4daa6d3dd1d094cac0b35e84421ec2c200ee9d6828ba","target":"graph","created_at":"2026-07-05T10:41:11Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2402.11498/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"When instructing robots, users want to flexibly express constraints, refer to arbitrary landmarks, and verify robot behavior, while robots must disambiguate instructions into specifications and ground instruction referents in the real world. To address this problem, we propose Language Instruction grounding for Motion Planning (LIMP), an approach that enables robots to verifiably follow complex, open-ended instructions in real-world environments without prebuilt semantic maps. LIMP constructs a symbolic instruction representation that reveals the robot's alignment with an instructor's intended","authors_text":"Benedict Quartey, Eric Rosen, George Konidaris, Stefanie Tellex","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2024-02-18T08:05:54Z","title":"Verifiably Following Complex Robot Instructions with Foundation Models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2402.11498","kind":"arxiv","version":3},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:09b5e9290779ccaad6d3451a4b6888f2dd88165ee00fdcd0bda133d69785e1ef","target":"record","created_at":"2026-07-05T10:41:11Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"eb175e207afd4e0212b10bcfe8ca718323fc868c9ffc80716ba29905c1511411","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2024-02-18T08:05:54Z","title_canon_sha256":"c9eefa676ddf1242e239f875ea144e1b0640455d1153a01f7c096782982217b0"},"schema_version":"1.0","source":{"id":"2402.11498","kind":"arxiv","version":3}},"canonical_sha256":"e04d1066d0f458e646d745ce74a78f92b1728fcc3be87bf3cea5b8fe88882b77","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e04d1066d0f458e646d745ce74a78f92b1728fcc3be87bf3cea5b8fe88882b77","first_computed_at":"2026-07-05T10:41:11.689380Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:41:11.689380Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Vz3lfzXg5v2tL5OFr07O0psjQDNUVmUabpjI2QAuOTzJ8bUsAVk+WLQvIrJ56SO2r9B4JNJCDn/dMF2R3yvzAA==","signature_status":"signed_v1","signed_at":"2026-07-05T10:41:11.689933Z","signed_message":"canonical_sha256_bytes"},"source_id":"2402.11498","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:09b5e9290779ccaad6d3451a4b6888f2dd88165ee00fdcd0bda133d69785e1ef","sha256:562070811c6c7fd25b4e4daa6d3dd1d094cac0b35e84421ec2c200ee9d6828ba"],"state_sha256":"0bec4c72dc3218142a340b28748ab50d6421c5bcf41b3cf621a62b776c37685e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qtm2lATSLhHadDG/aiBFfpQz9ZHvNaPgW2qdkzobNnppsVi7ZfCd7OfGhd6K+ed4Fh+iZdBOhqSbkIAyc2gkBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T01:13:21.454255Z","bundle_sha256":"6dea5c94055af15ae49b4938b89b32097fd9ca90416f076b48a6342300ce446b"}}