{"as_of":"2026-08-06T03:46:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:f3445c8355b4c12379355106acdbc433360888e10d3f2ec2f22c862e61b7fb95","coverage":[{"denominator":49,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":49,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-04T09:52:21.496950Z","state":"measured"},{"denominator":53,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":53,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-05T06:32:48.257954+00:00","state":"measured"},{"denominator":4,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":4,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-03T09:47:40.168607Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-07-01T14:15:47.346192Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-04T09:51:59.898867Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2510.12985","snapshot_observed_at":"2026-08-03T09:47:40.168607Z","title":"Sentinel: A multi-level formal framework for safety evaluation of llm-based embodied agents,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2601.12641","last_updated":"2026-01-19T01:10:49Z","snapshot_observed_at":"2026-08-04T14:40:51.803613Z","submitted_at":"2026-01-19T01:10:49Z","title":"STEP-LLM: Generating CAD STEP Models from Natural Language with Large Language Models","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-03T09:47:40.168607Z"},"links":{"cited_paper":"/paper/2510.12985","citing_paper":"/paper/2601.12641"},"observation_digest":"sha256:0801adf9dfdef1d0aace8d2ca85ef0bf226f00a1cf131387195bf7c93a3b17f5","observation_id":"4ad7b3be-ae1d-4683-9dbf-43941a3e6f33","resolution":{"observed_at":"2026-08-03T09:47:40.168607Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-04T09:51:59.898867Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"cited_work":{"arxiv_id":"2510.12985","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2510.12985","snapshot_observed_at":"2026-07-22T01:22:14.626987Z","title":"SENTINEL: A multi-level formal framework for safety evaluation of foundation model-based embodied agents","venue":null,"work_id":"16242bb6-6c27-4d58-ad9b-f40d6a8e72eb","year":2025},"citing_paper":{"arxiv_id":"2605.12386","last_updated":"2026-06-10T17:48:14Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2026-05-12T16:49:28Z","title":"SafeManip: A Property-Driven Benchmark for Temporal Safety Evaluation in Robotic Manipulation","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-05-13T03:45:52.910108Z"},"links":{"cited_paper":"/paper/2510.12985","citing_paper":"/paper/2605.12386"},"observation_digest":"sha256:21f13a7bcec11883cbbb7c30e74a43405a0c9b6120733c73242ac5ae80547edf","observation_id":"daa537db-5e6c-4d9f-baf3-83ce87796d4a","resolution":{"observed_at":"2026-07-22T01:22:14.626987Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-04T09:51:59.898867Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"cited_work":{"arxiv_id":"2510.12985","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2510.12985","snapshot_observed_at":"2026-07-22T01:22:14.626987Z","title":"SENTINEL: A multi-level formal framework for safety evaluation of foundation model-based embodied agents","venue":null,"work_id":"16242bb6-6c27-4d58-ad9b-f40d6a8e72eb","year":2025},"citing_paper":{"arxiv_id":"2605.12386","last_updated":"2026-06-10T17:48:14Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2026-05-12T16:49:28Z","title":"SafeManip: A Property-Driven Benchmark for Temporal Safety Evaluation in Robotic Manipulation","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-06-30T22:08:41.488683Z"},"links":{"cited_paper":"/paper/2510.12985","citing_paper":"/paper/2605.12386"},"observation_digest":"sha256:83497e5887d0a1be2e5bbdf76c6f7d487fa587999d735e9741b021b918e647d7","observation_id":"bed56cea-aad5-4788-b385-8b9ca4bddc22","resolution":{"observed_at":"2026-07-22T01:22:14.626987Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-04T09:51:59.898867Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"cited_work":{"arxiv_id":"2510.12985","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2510.12985","snapshot_observed_at":"2026-07-22T01:22:14.626987Z","title":"SENTINEL: A multi-level formal framework for safety evaluation of foundation model-based embodied agents","venue":null,"work_id":"16242bb6-6c27-4d58-ad9b-f40d6a8e72eb","year":2025},"citing_paper":{"arxiv_id":"2605.14274","last_updated":"2026-05-14T02:18:58Z","snapshot_observed_at":"2026-08-02T20:54:21.208623Z","submitted_at":"2026-05-14T02:18:58Z","title":"CreFlow: Corrective Reflow for Sparse-Reward Embodied Video Diffusion RL","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-05-15T02:42:08.454469Z"},"links":{"cited_paper":"/paper/2510.12985","citing_paper":"/paper/2605.14274"},"observation_digest":"sha256:4464c9d2c18dddbdaad3b0f355c8a0d163a4501386ed9c30c50f678cc5c70403","observation_id":"e4c7054f-f770-4f47-8863-b8074a3c826b","resolution":{"observed_at":"2026-07-22T01:22:14.626987Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2510.12985/citation-record","integrity":"/paper/2510.12985/integrity","json":"/paper/2510.12985/citation-record.json","paper":"/paper/2510.12985"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:16.726952Z","title":"write newline","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-04T09:51:59.898867Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:16.726952Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:48e554f3d47cd9c6deb5c5800aea261524c1b9dca456e02aabb576f882dee863","observation_id":"8e175678-7cd5-456d-ae15-a7d8df2b0b4d","resolution":{"observed_at":"2026-08-04T09:52:16.726952Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:16.806614Z","title":"Achiam, D","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-04T09:51:59.898867Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:16.806614Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:77a850564fa89709bde00fbaaee86065ad67336f83b501228b77d7d0375aae03","observation_id":"54821a54-9203-44ad-a85c-79b92efe09f4","resolution":{"observed_at":"2026-08-04T09:52:16.806614Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:16.880010Z","title":"Alshiekh, R","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-04T09:51:59.898867Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:16.880010Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:dbc8f20b1c797c8eea274277ccf617bd73e01dbfb1c57110dcd68c96ca646b8b","observation_id":"f89a4e09-4862-4152-86e0-4fa62c394ca5","resolution":{"observed_at":"2026-08-04T09:52:16.880010Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:17.038467Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-04T09:51:59.898867Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:17.038467Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:486609b002280a328ca3d3a1f15c5120f467c36deeea0ad2020b15dac8e72737","observation_id":"b9116fb6-56d9-47d1-a59c-64873e9f9aa6","resolution":{"observed_at":"2026-08-04T09:52:17.038467Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:17.143221Z","title":"Baier and J.-P","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-04T09:51:59.898867Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:17.143221Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:7430258e65ba240d10b153f9cd1c4c872090f10da71c9d013473b7b1747ec3a4","observation_id":"251ad521-3da0-48de-968a-9de8ced2732c","resolution":{"observed_at":"2026-08-04T09:52:17.143221Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:17.258261Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-04T09:51:59.898867Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:17.258261Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:3c50032e728d92ac5f0d65c8f6df4f8aeef5af4e5c791d1b9192301269fa6be8","observation_id":"0e1c2c91-04e0-4d95-8d7c-fe18e5373427","resolution":{"observed_at":"2026-08-04T09:52:17.258261Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:17.382489Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-04T09:51:59.898867Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:17.382489Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:cdf88e83368a590db4a7ef9e284cbaaaa502ad04df6e2ba9b89900daea0f5969","observation_id":"7013629e-b18a-4cf4-9d8f-b02d9bda913b","resolution":{"observed_at":"2026-08-04T09:52:17.382489Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2412.06878","last_updated":"2024-12-09T18:59:04Z","snapshot_observed_at":"2026-07-06T20:04:10.656197Z","submitted_at":"2024-12-09T18:59:04Z","title":"SafeWatch: An Efficient Safety-Policy Following Video Guardrail Model with Transparent Explanations","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.06878","snapshot_observed_at":"2026-08-04T09:52:17.496908Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-04T09:51:59.898867Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:17.496908Z"},"links":{"cited_paper":"/paper/2412.06878","citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:3ec42db4e4c8b881e326cce39dc1e7eb4cb05dace17d61f18b11db17457921fa","observation_id":"917f89f4-882a-45ec-a744-7aa881cfadb9","resolution":{"observed_at":"2026-08-04T09:52:17.496908Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:17.590840Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-04T09:51:59.898867Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:17.590840Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:8e93d33985e388545c237b51bae5a326b33b4c317e41d8bb5ae62f63409a05b4","observation_id":"8cd285e2-fc36-4895-bf5b-569154083f07","resolution":{"observed_at":"2026-08-04T09:52:17.590840Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:17.641565Z","title":null,"venue":null,"work_id":null,"year":1981},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-04T09:51:59.898867Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:17.641565Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:bcac0e613fbc21dd3e2cd3ad87ac1e7689dd3860a80b2fb96e5b3f637771fbc7","observation_id":"9102a3be-1ef5-4ddd-a070-2c5cbf8e006d","resolution":{"observed_at":"2026-08-04T09:52:17.641565Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:17.738691Z","title":"Dawson, S","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-04T09:51:59.898867Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:17.738691Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:3777cd7b8292f379e050678399f4e69050238ef19723115ba5c05f666627ef8a","observation_id":"35ad9bb4-ebda-4c77-9a36-980433f18722","resolution":{"observed_at":"2026-08-04T09:52:17.738691Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:17.752860Z","title":"Desai, T","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-04T09:51:59.898867Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:17.752860Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:254bd8e525d6408ecf53ace423dcab7743be8a04e57ec167b8b7b26a8a24154a","observation_id":"a6ddb2f1-9e09-4ac6-aa87-f58366bd0a7e","resolution":{"observed_at":"2026-08-04T09:52:17.752860Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:17.824513Z","title":"Duret-Lutz, E","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-04T09:51:59.898867Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:17.824513Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:7532c8fc9ee601ffd4986d811c3bf936ccdf0154e5cc2a61c8d9f908be5a6660","observation_id":"98ba30e7-f850-4c3e-ab7f-2d6ec085e8c7","resolution":{"observed_at":"2026-08-04T09:52:17.824513Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:17.941556Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-04T09:51:59.898867Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:17.941556Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:1520ef3da8c486721cfe828c48c7cdc7acb8ccd9ff8b4d1483905dbad8a05194","observation_id":"0d3ef074-4fec-427b-a18c-0a4325a79827","resolution":{"observed_at":"2026-08-04T09:52:17.941556Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:18.042202Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-04T09:51:59.898867Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:18.042202Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:0ab7b4d4ecc819b2759a860d4078fa16d59eb1bea9a9f0b33eea19f2a73973ea","observation_id":"dddd79a6-5aae-44fe-bd08-600d326f9afd","resolution":{"observed_at":"2026-08-04T09:52:18.042202Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:18.216297Z","title":"Fuggitti and T","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-04T09:51:59.898867Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:18.216297Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:f2dd316273558cbb7394c8a62edc5c6757f4beb0bd04295f09aee08dd32f4a0c","observation_id":"a0a468eb-29b8-421f-870e-bc6754f24f9e","resolution":{"observed_at":"2026-08-04T09:52:18.216297Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:18.325953Z","title":"Hensel, S","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-04T09:51:59.898867Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:18.325953Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:80c30bd12090b893e562613dd1b090a4177ef3f499134289c95da20931cc5654","observation_id":"7f2becd6-9e55-4593-9def-13171c13359c","resolution":{"observed_at":"2026-08-04T09:52:18.325953Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:18.429398Z","title":"Howey, D","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-04T09:51:59.898867Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:18.429398Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:25bfdd1c33f5dd0ce50fe8923cd488b60451d8684bf49eb7d34da5ddeebf7951","observation_id":"34c6f2a0-a44b-4652-bb29-d15f4e92dc67","resolution":{"observed_at":"2026-08-04T09:52:18.429398Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1613/jair.1.11595","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Klauck, M","venue":"Journal of Artificial Intelligence Research","work_id":"c84f4541-2522-41fd-924b-b01004b08257","year":2020},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-04T09:51:59.898867Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:18.520314Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:9c0a0572f69dc2f13361a67e617a249136d43456ad147446895fdf554f221bf2","observation_id":"a90d2406-ef02-468a-96af-fc043804df2a","resolution":{"observed_at":"2026-08-04T09:53:25.509512Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:18.637747Z","title":"Kolve, R","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-04T09:51:59.898867Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:18.637747Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:39d93e26a6751e24fc1ce37303153b046c8f2c1996c0a3925797d8035a057c92","observation_id":"34021f92-ee58-4449-9a67-fdf0e141cd79","resolution":{"observed_at":"2026-08-04T09:52:18.637747Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:18.725027Z","title":"Kwiatkowska, G","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-04T09:51:59.898867Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:18.725027Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:29dfe48c73e9cbe560729377bf98a6c8c50d581d626cab742b0ace576fa3ae20","observation_id":"6077c918-ebe0-4246-840f-92fac1d742e2","resolution":{"observed_at":"2026-08-04T09:52:18.725027Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:18.800484Z","title":"Lacerda, F","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-04T09:51:59.898867Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:18.800484Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:ea0563c72b513a97c8ede4fe6766c2255070577bbefb0ff6ca4de7dd76735786","observation_id":"eb9f55e4-211a-4cb7-bec7-57cd9aaded4b","resolution":{"observed_at":"2026-08-04T09:52:18.800484Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:18.881890Z","title":null,"venue":null,"work_id":null,"year":1997},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-04T09:51:59.898867Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:18.881890Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:3d1dcd0df96ef75bc3955f02aa1974cd2b99f7c9a95e4c6fa2eaa5f57dbaf8a1","observation_id":"a222da8f-1514-45da-9095-c4ea34b52c43","resolution":{"observed_at":"2026-08-04T09:52:18.881890Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:19.046386Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-04T09:51:59.898867Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:19.046386Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:b9da99f4959a3f627642cfd9a542c2fa722d4e7c84a6b535f13b70b2d49dcbf7","observation_id":"7ccac44e-4f10-4b54-8881-0106f350b13d","resolution":{"observed_at":"2026-08-04T09:52:19.046386Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:19.169229Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-04T09:51:59.898867Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:19.169229Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:b973591a3a08e4a6f7b870d01d9072f0f80f07ebde15b4c52408e933a01f88d5","observation_id":"fb89e215-7909-4b92-860f-7ae6b3819ada","resolution":{"observed_at":"2026-08-04T09:52:19.169229Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:19.211115Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-04T09:51:59.898867Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:19.211115Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:177f53aaa01e0858dd16a4d584ab4630c13e18ba928e958e16209c52d25b6c50","observation_id":"70f26964-91ca-4a61-bac3-71e236784b3d","resolution":{"observed_at":"2026-08-04T09:52:19.211115Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:19.305656Z","title":"Maler and D","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-04T09:51:59.898867Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:19.305656Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:9949d42356a41138edebfd9828c4287cf3b469222c22781e1be33e212337de48","observation_id":"76a16457-ea9c-4f19-8fba-33ed4d821a97","resolution":{"observed_at":"2026-08-04T09:52:19.305656Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:19.446531Z","title":null,"venue":null,"work_id":null,"year":1977},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-04T09:51:59.898867Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:19.446531Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:93ff683bb541c82ac64f63199d37ea527f19492ec2c31ac6fa218c070873c63a","observation_id":"fd622d13-c768-4728-a90f-521ebf206ed4","resolution":{"observed_at":"2026-08-04T09:52:19.446531Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:19.506756Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-04T09:51:59.898867Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:19.506756Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:786c4027388ee7e4c014b07543c2d35b3b89e51f431b4a23b8e1468e7d766fb4","observation_id":"a0f51ab8-07a4-489b-ad4a-90f1754455fe","resolution":{"observed_at":"2026-08-04T09:52:19.506756Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:19.542626Z","title":"Savva, A","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-04T09:51:59.898867Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:19.542626Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:17c5de65f2d68924a31cd985ff371a2f6c35f5602e922b5ded096a2a0a2ed88c","observation_id":"c3fafbb1-19f0-4037-ab09-f07e618d1699","resolution":{"observed_at":"2026-08-04T09:52:19.542626Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:19.665349Z","title":"Shridhar, J","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-04T09:51:59.898867Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:19.665349Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:66cc7af503a6e3703b96c19baaf27a33dc809f752ab32d5357a0a8d4e25dbe7a","observation_id":"61eb9785-7a28-44dc-830c-34d35419c3b4","resolution":{"observed_at":"2026-08-04T09:52:19.665349Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2411.02317","last_updated":"2026-02-19T16:30:29Z","snapshot_observed_at":"2026-07-18T23:18:57.759752Z","submitted_at":"2024-11-04T17:41:25Z","title":"Defining and Evaluating Physical Safety for Large Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2411.02317","snapshot_observed_at":"2026-08-04T09:52:19.783900Z","title":"Tang, P.-Y","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-04T09:51:59.898867Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:19.783900Z"},"links":{"cited_paper":"/paper/2411.02317","citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:6a27965dace6751fa94565b191db48469a869b4895635d917d1a0e239f0649a4","observation_id":"5cc04674-beb7-4e3d-8252-df864e4db8d1","resolution":{"observed_at":"2026-08-04T09:52:19.783900Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:19.843853Z","title":null,"venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-04T09:51:59.898867Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:19.843853Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:9c51ffb61977cb4af8f9290715c63ef708a577ff91642c3173eee6368debcc9c","observation_id":"316929f4-e7cb-44db-a38c-dfc0845e266b","resolution":{"observed_at":"2026-08-04T09:52:19.843853Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:19.901660Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-04T09:51:59.898867Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:19.901660Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:97321b368b3a0666a7a7375c9304dfb14edb12124415619342d474fb9b400dc0","observation_id":"6a999039-b54b-4f79-8546-64da7c9532f7","resolution":{"observed_at":"2026-08-04T09:52:19.901660Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:20.000949Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-04T09:51:59.898867Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:20.000949Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:3a7bc9721fa61b54c3dc8cd2f530555987c2adc5b0a0e0273399dc52cefa6e4c","observation_id":"b61c5086-614d-4ee0-b536-35feda1fecc1","resolution":{"observed_at":"2026-08-04T09:52:20.000949Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:20.101453Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-04T09:51:59.898867Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:20.101453Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:309988c68253f8ee367660e97624baa9ab9e9f135fb92cc6ea7e29d377c1d223","observation_id":"4d875041-6b13-4d51-a9c0-7365dd6ad4e3","resolution":{"observed_at":"2026-08-04T09:52:20.101453Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2502.11221","last_updated":"2025-06-23T05:32:12Z","snapshot_observed_at":"2026-07-06T20:37:23.683063Z","submitted_at":"2025-02-16T17:54:57Z","title":"PlanGenLLMs: A Modern Survey of LLM Planning Capabilities","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.11221","snapshot_observed_at":"2026-08-04T09:52:20.184612Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-04T09:51:59.898867Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:20.184612Z"},"links":{"cited_paper":"/paper/2502.11221","citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:30b6c30aacf9c9a038585e8f274af348aaaa145ccd2593e55973ba5fe71b9ba3","observation_id":"c0d002ac-82f7-42cf-a994-702a1497c0fc","resolution":{"observed_at":"2026-08-04T09:52:20.184612Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:20.299447Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-04T09:51:59.898867Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:20.299447Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:e88fcc6ea3571021497f7baba1e52436b7f2e490cb46fbcfd9a24d3aed8ec2ee","observation_id":"445fb2a7-ee4a-4268-9da3-d4bb1d68dbce","resolution":{"observed_at":"2026-08-04T09:52:20.299447Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:20.449046Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-04T09:51:59.898867Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:20.449046Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:4e0ba79097eb8ea54849f73756855dc588567bdccd70d5ea867eb97c98958bbd","observation_id":"4270cc7b-1cac-4c0d-b04a-e93c2f1ed834","resolution":{"observed_at":"2026-08-04T09:52:20.449046Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2401.10019","last_updated":"2024-10-05T06:50:15Z","snapshot_observed_at":"2026-07-06T17:17:23.567885Z","submitted_at":"2024-01-18T14:40:46Z","title":"R-Judge: Benchmarking Safety Risk Awareness for LLM Agents","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.10019","snapshot_observed_at":"2026-08-04T09:52:20.546491Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-04T09:51:59.898867Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:20.546491Z"},"links":{"cited_paper":"/paper/2401.10019","citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:a577882a427249293cedd01fa7e8e9323f745dc05888f99f1fd954b49f94dcf6","observation_id":"5d89de49-1012-4e06-be02-7e1de5e1f376","resolution":{"observed_at":"2026-08-04T09:52:20.546491Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2403.03035","last_updated":"2024-03-05T15:14:32Z","snapshot_observed_at":"2026-08-04T19:10:55.149351Z","submitted_at":"2024-03-05T15:14:32Z","title":"Mars 2.0: A Toolchain for Modeling, Analysis, Verification and Code Generation of Cyber-Physical Systems","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2403.03035","snapshot_observed_at":"2026-08-04T09:52:20.583831Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-04T09:51:59.898867Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:20.583831Z"},"links":{"cited_paper":"/paper/2403.03035","citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:a36ecb201afada342fa51a325f5cff07fd53d0d19c77ab97692ca7692fa86faf","observation_id":"4f8a3818-7358-4a8a-bd4b-f89d10978a0d","resolution":{"observed_at":"2026-08-04T09:52:20.583831Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:20.696401Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-04T09:51:59.898867Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:20.696401Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:52e9acecefb025fa59a03fe197da786294f048d3e89dc55318ce2a558b1f3973","observation_id":"256b3fab-06b7-4027-bd40-0496ade2fb88","resolution":{"observed_at":"2026-08-04T09:52:20.696401Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2409.20560","last_updated":"2025-03-13T06:17:58Z","snapshot_observed_at":"2026-08-02T20:46:33.259801Z","submitted_at":"2024-09-30T17:58:18Z","title":"LaMMA-P: Generalizable Multi-Agent Long-Horizon Task Allocation and Planning with LM-Driven PDDL Planner","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2409.20560","snapshot_observed_at":"2026-08-04T09:52:20.864057Z","title":"Zhang, H","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-04T09:51:59.898867Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:20.864057Z"},"links":{"cited_paper":"/paper/2409.20560","citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:f489441ac8119ea2a32726afd6008da5e0e1e391001a856872467eea22cc3c01","observation_id":"04e4b44e-bed4-4826-a04a-b21dff35d341","resolution":{"observed_at":"2026-08-04T09:52:20.864057Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2401.12975","last_updated":"2024-01-23T18:59:43Z","snapshot_observed_at":"2026-07-06T17:19:31.847730Z","submitted_at":"2024-01-23T18:59:43Z","title":"HAZARD Challenge: Embodied Decision Making in Dynamically Changing Environments","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.12975","snapshot_observed_at":"2026-08-04T09:52:20.980724Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-04T09:51:59.898867Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":44,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:20.980724Z"},"links":{"cited_paper":"/paper/2401.12975","citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:3d6b6e68143d7eebc1b19e1c4f740aacb7b14371fc72da9fe2e4c58d22211bdc","observation_id":"30443069-a4cf-4f12-92cf-651dad8d3ffb","resolution":{"observed_at":"2026-08-04T09:52:20.980724Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:21.109937Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-04T09:51:59.898867Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":45,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:21.109937Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:6f64cab1bcadc5cdf94967144d65ebaa224e4aab5440ed4463a35cec0c59d89a","observation_id":"7ff51308-cb94-4fac-9030-829faa53bafe","resolution":{"observed_at":"2026-08-04T09:52:21.109937Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2408.04449","last_updated":"2024-11-28T12:28:02Z","snapshot_observed_at":"2026-07-06T18:58:22.457329Z","submitted_at":"2024-08-08T13:19:37Z","title":"EARBench: Towards Evaluating Physical Risk Awareness for Task Planning of Foundation Model-based Embodied AI Agents","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.04449","snapshot_observed_at":"2026-08-04T09:52:21.230370Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-04T09:51:59.898867Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":46,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:21.230370Z"},"links":{"cited_paper":"/paper/2408.04449","citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:c6ab46e785421d81585999526f453a56e0ddbf70017e621833addbb9fc97ef46","observation_id":"41ca27e6-ebc0-4c5c-8308-5842b9be456d","resolution":{"observed_at":"2026-08-04T09:52:21.230370Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:21.303102Z","title":"@esa (Ref","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-04T09:51:59.898867Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":47,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:21.303102Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:45d82cb8b0b3f4f446252dc790f322bed36af9033866ffc38cae0bc164c2adc2","observation_id":"ba99bb96-6dd0-46b9-9f54-627a2266ea88","resolution":{"observed_at":"2026-08-04T09:52:21.303102Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:21.383456Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-04T09:51:59.898867Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":48,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:21.383456Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:58726f27688fab96b171e5a332238822e4e58b31d17943343bb72ceb7c28a667","observation_id":"26af7f7f-f4c1-488a-aeb3-b67c1daa1de4","resolution":{"observed_at":"2026-08-04T09:52:21.383456Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:21.496950Z","title":"never place flammable objects near the stove","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-04T09:51:59.898867Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":49,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:21.496950Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:79b4a1f8c7e326c7c6f9ad3fcc184116a97a9fd4d0a62819322e94f6c09c2d93","observation_id":"c53720e8-eff9-414b-bc0d-7e390be2ea37","resolution":{"observed_at":"2026-08-04T09:52:21.496950Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","latest_version":3,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-04T09:51:59.898867Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents"},"reference_resolution":{"displayed":49,"state_counts":{"malformed_identifier":1,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":47,"verified_exact":1,"verified_fuzzy":0},"total_outbound_references":49},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"thesis":"As of 6 August 2026, this Paper Citation Record lists 49 of 49 outbound references and 4 inbound Pith citation observations for arXiv:2510.12985."}