{"as_of":"2026-08-10T11:50:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:4cdf1dd1305b3eaaeea91c0fde84b38ac37f9eeba0881dbb532a40b63a4d2dd6","coverage":[{"denominator":32,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":32,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T11:07:29.665846Z","state":"measured"},{"denominator":32,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":32,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-10T06:31:04.303077+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2506.03469/citation-record","integrity":"/paper/2506.03469/integrity","json":"/paper/2506.03469/citation-record.json","paper":"/paper/2506.03469"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:07:30.844614Z","title":"Alshiekh, R","venue":null,"work_id":"d2b37730-436c-49cc-9a1c-63ec081fb50a","year":2018},"citing_paper":{"arxiv_id":"2506.03469","last_updated":"2025-06-04T00:54:01Z","snapshot_observed_at":"2026-08-09T11:01:55.326469Z","submitted_at":"2025-06-04T00:54:01Z","title":"Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T11:07:27.750381Z"},"links":{"citing_paper":"/paper/2506.03469"},"observation_digest":"sha256:03566a85d7eb39190edaffd399992c12b1973cd168ab90e857c652808925b69f","observation_id":"6f066529-61bb-4295-84c6-a1a71ba766e5","resolution":{"observed_at":"2026-08-07T11:07:30.849898Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:07:30.829272Z","title":"Bachman, A","venue":null,"work_id":"4e5eff59-355d-452a-a6dc-8c05d08bf093","year":2017},"citing_paper":{"arxiv_id":"2506.03469","last_updated":"2025-06-04T00:54:01Z","snapshot_observed_at":"2026-08-09T11:01:55.326469Z","submitted_at":"2025-06-04T00:54:01Z","title":"Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T11:07:27.803724Z"},"links":{"citing_paper":"/paper/2506.03469"},"observation_digest":"sha256:f58cd72dc4c13f5d75b367607512ac6f7c5a4f2d906bfc384bfc77df2ed32320","observation_id":"274ef554-ed95-4a38-8974-40db7af155e1","resolution":{"observed_at":"2026-08-07T11:07:30.833833Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-07T11:07:27.848546Z","title":"Baier and J.-P","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2506.03469","last_updated":"2025-06-04T00:54:01Z","snapshot_observed_at":"2026-08-09T11:01:55.326469Z","submitted_at":"2025-06-04T00:54:01Z","title":"Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T11:07:27.848546Z"},"links":{"citing_paper":"/paper/2506.03469"},"observation_digest":"sha256:a6f9b2cdae173925771093bd656db17d70b1b390c90b7053934d01a148efa084","observation_id":"5440e141-46d4-47d6-ab1b-7c2c89f2c9e0","resolution":{"observed_at":"2026-08-07T11:07:27.848546Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:07:30.803582Z","title":null,"venue":null,"work_id":"746cf8d6-210e-425d-b413-4883f724f97f","year":2021},"citing_paper":{"arxiv_id":"2506.03469","last_updated":"2025-06-04T00:54:01Z","snapshot_observed_at":"2026-08-09T11:01:55.326469Z","submitted_at":"2025-06-04T00:54:01Z","title":"Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T11:07:27.927104Z"},"links":{"citing_paper":"/paper/2506.03469"},"observation_digest":"sha256:e25f6004679ca277ef2a7d5c29596c8e625b6bac8f2a61b9823037109ac5ed5f","observation_id":"aa4c8d48-7636-4252-b5b1-5dfcde39580f","resolution":{"observed_at":"2026-08-07T11:07:30.807639Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:07:30.788601Z","title":"Biza and R","venue":null,"work_id":"e0e07184-1470-4206-a624-cf1882de41a8","year":2019},"citing_paper":{"arxiv_id":"2506.03469","last_updated":"2025-06-04T00:54:01Z","snapshot_observed_at":"2026-08-09T11:01:55.326469Z","submitted_at":"2025-06-04T00:54:01Z","title":"Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T11:07:28.000974Z"},"links":{"citing_paper":"/paper/2506.03469"},"observation_digest":"sha256:eeb49735279a7a91b0d53356dd3349aff591bb7e1c89442b35d4f0ec879ea2c6","observation_id":"5a5d0a55-f3e8-47f3-84bb-998f8d88f2e4","resolution":{"observed_at":"2026-08-07T11:07:30.793628Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.06869","last_updated":"2025-02-08T05:30:31Z","snapshot_observed_at":"2026-08-08T19:12:44.055177Z","submitted_at":"2025-02-08T05:30:31Z","title":"A Survey on Explainable Deep Reinforcement Learning","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.06869","snapshot_observed_at":"2026-08-07T11:07:28.048575Z","title":"Cheng, J","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.03469","last_updated":"2025-06-04T00:54:01Z","snapshot_observed_at":"2026-08-09T11:01:55.326469Z","submitted_at":"2025-06-04T00:54:01Z","title":"Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T11:07:28.048575Z"},"links":{"cited_paper":"/paper/2502.06869","citing_paper":"/paper/2506.03469"},"observation_digest":"sha256:3a9690ff1fd6cd775e6280b9c85aae19e0cd76dea51c078191f8eb673b787054","observation_id":"c0ba9a2d-127b-4f21-8246-65e015834008","resolution":{"observed_at":"2026-08-07T11:07:28.048575Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:07:30.773222Z","title":null,"venue":null,"work_id":"92aecfb4-9867-40c9-aff1-4831e0c4afde","year":1996},"citing_paper":{"arxiv_id":"2506.03469","last_updated":"2025-06-04T00:54:01Z","snapshot_observed_at":"2026-08-09T11:01:55.326469Z","submitted_at":"2025-06-04T00:54:01Z","title":"Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T11:07:28.091913Z"},"links":{"citing_paper":"/paper/2506.03469"},"observation_digest":"sha256:a225f4a8e56205d51f7f818cac5b5701a70ea94b646e3b46293d14ca5abb4ebe","observation_id":"0ecf1ea9-ef18-48e7-8e55-fa8f6ea916e5","resolution":{"observed_at":"2026-08-07T11:07:30.778136Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:07:30.757121Z","title":"Corsi, E","venue":null,"work_id":"c05b9904-ba36-4f99-ad01-d1a6600d7566","year":2021},"citing_paper":{"arxiv_id":"2506.03469","last_updated":"2025-06-04T00:54:01Z","snapshot_observed_at":"2026-08-09T11:01:55.326469Z","submitted_at":"2025-06-04T00:54:01Z","title":"Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T11:07:28.168967Z"},"links":{"citing_paper":"/paper/2506.03469"},"observation_digest":"sha256:bcdf4b9a2d1074832a5183d0290fc60ade3bf29dfdc16148961074afba281e4f","observation_id":"f044c3c0-ce62-4e0e-8177-de5d26dc6845","resolution":{"observed_at":"2026-08-07T11:07:30.761878Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:07:30.741973Z","title":"Dehnert, S","venue":null,"work_id":"98b3b039-1fb2-41dd-b9c8-0d240b808dc4","year":2017},"citing_paper":{"arxiv_id":"2506.03469","last_updated":"2025-06-04T00:54:01Z","snapshot_observed_at":"2026-08-09T11:01:55.326469Z","submitted_at":"2025-06-04T00:54:01Z","title":"Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T11:07:28.201236Z"},"links":{"citing_paper":"/paper/2506.03469"},"observation_digest":"sha256:2bbd3166afa5e39b7cc0d5cff4ced010b908407248c4b950d376d94781c2a222","observation_id":"aba4c668-ec81-485f-87fe-bbaf9594d901","resolution":{"observed_at":"2026-08-07T11:07:30.746262Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:07:30.727463Z","title":null,"venue":null,"work_id":"28f7b20b-6b31-4315-b17a-034271591afe","year":2015},"citing_paper":{"arxiv_id":"2506.03469","last_updated":"2025-06-04T00:54:01Z","snapshot_observed_at":"2026-08-09T11:01:55.326469Z","submitted_at":"2025-06-04T00:54:01Z","title":"Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T11:07:28.259673Z"},"links":{"citing_paper":"/paper/2506.03469"},"observation_digest":"sha256:e7241cc2f5fe1c048e64d7d76a9d459287d26f73f91f667294be48b4d38d32ed","observation_id":"879c4a15-4086-4dc4-ba4b-f7559d51e769","resolution":{"observed_at":"2026-08-07T11:07:30.731947Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:07:30.711717Z","title":"Dukkipati, R","venue":null,"work_id":"3b7ae86a-2d72-4b56-ad89-6eee406ab27f","year":2025},"citing_paper":{"arxiv_id":"2506.03469","last_updated":"2025-06-04T00:54:01Z","snapshot_observed_at":"2026-08-09T11:01:55.326469Z","submitted_at":"2025-06-04T00:54:01Z","title":"Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T11:07:28.343158Z"},"links":{"citing_paper":"/paper/2506.03469"},"observation_digest":"sha256:54aa1d921cb451537bbb29f257214f5f30c5741a418940717744c6de671975f7","observation_id":"8faf1c64-73fc-4b8d-943c-08e4589bf407","resolution":{"observed_at":"2026-08-07T11:07:30.716694Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:07:30.692347Z","title":null,"venue":null,"work_id":"e933edeb-1ff2-4df3-884d-44260c50c3d7","year":2006},"citing_paper":{"arxiv_id":"2506.03469","last_updated":"2025-06-04T00:54:01Z","snapshot_observed_at":"2026-08-09T11:01:55.326469Z","submitted_at":"2025-06-04T00:54:01Z","title":"Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T11:07:28.385592Z"},"links":{"citing_paper":"/paper/2506.03469"},"observation_digest":"sha256:43abf4fc2568ae03c6f610c09d9c772235b78b7fdd0fae8f29c17a8e7fa4270c","observation_id":"53a51cad-263b-4172-8424-92701dc9e70a","resolution":{"observed_at":"2026-08-07T11:07:30.699417Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-07T11:07:28.476128Z","title":"Haarnoja, A","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.03469","last_updated":"2025-06-04T00:54:01Z","snapshot_observed_at":"2026-08-09T11:01:55.326469Z","submitted_at":"2025-06-04T00:54:01Z","title":"Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T11:07:28.476128Z"},"links":{"citing_paper":"/paper/2506.03469"},"observation_digest":"sha256:bb77e27e6d78322921fe260b6f8311a7e0367e15ba9f1428ea566dee2c729990","observation_id":"d53dca96-f05c-4392-b01c-23c5d9b0fcec","resolution":{"observed_at":"2026-08-07T11:07:28.476128Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:07:30.665008Z","title":null,"venue":null,"work_id":"abd47a51-d85b-41d6-8df2-a50d12088e48","year":2019},"citing_paper":{"arxiv_id":"2506.03469","last_updated":"2025-06-04T00:54:01Z","snapshot_observed_at":"2026-08-09T11:01:55.326469Z","submitted_at":"2025-06-04T00:54:01Z","title":"Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-07T11:07:28.541602Z"},"links":{"citing_paper":"/paper/2506.03469"},"observation_digest":"sha256:81d73b8c731071b148b53948a432518d093329c6fd1e39d20c5b75f1bb92da8c","observation_id":"7813dd16-4487-4053-9f3a-bdb02b86e5ab","resolution":{"observed_at":"2026-08-07T11:07:30.670071Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:07:30.649484Z","title":"Karakovskiy and J","venue":null,"work_id":"2d2602d0-59bc-4371-a7d9-09943610e84f","year":2012},"citing_paper":{"arxiv_id":"2506.03469","last_updated":"2025-06-04T00:54:01Z","snapshot_observed_at":"2026-08-09T11:01:55.326469Z","submitted_at":"2025-06-04T00:54:01Z","title":"Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-07T11:07:28.572728Z"},"links":{"citing_paper":"/paper/2506.03469"},"observation_digest":"sha256:9007cfed13508465cf56bd2924047d85a83df6196f04977895bf25e1de1e59ad","observation_id":"4403fd42-c244-48de-944a-f037885b70de","resolution":{"observed_at":"2026-08-07T11:07:30.654037Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:07:30.634248Z","title":"Karunakaran and S","venue":null,"work_id":"990f15ec-d808-4e41-bb0b-e92a7fbdfeb2","year":2020},"citing_paper":{"arxiv_id":"2506.03469","last_updated":"2025-06-04T00:54:01Z","snapshot_observed_at":"2026-08-09T11:01:55.326469Z","submitted_at":"2025-06-04T00:54:01Z","title":"Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-07T11:07:28.641633Z"},"links":{"citing_paper":"/paper/2506.03469"},"observation_digest":"sha256:03dfd77e2ae9cddcc165618e265b80d7d895fa971f3f0f694de16cd7a61cbf96","observation_id":"508e0f63-a194-493c-8177-05390490bbfc","resolution":{"observed_at":"2026-08-07T11:07:30.638913Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2005.00903","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:07:30.462346Z","title":null,"venue":null,"work_id":"6d2d615a-35d7-4fe5-ad73-8875b4ab9648","year":2005},"citing_paper":{"arxiv_id":"2506.03469","last_updated":"2025-06-04T00:54:01Z","snapshot_observed_at":"2026-08-09T11:01:55.326469Z","submitted_at":"2025-06-04T00:54:01Z","title":"Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-07T11:07:28.689346Z"},"links":{"citing_paper":"/paper/2506.03469"},"observation_digest":"sha256:1ea48ea73669bd7f5004ee38b0a1447a960fe9ce018f01b544f3c6772e8fcb9d","observation_id":"479058e6-f939-47ec-b894-42b3ba8b8f2f","resolution":{"observed_at":"2026-08-07T11:07:30.471533Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:07:30.618304Z","title":"Kwiatkowska, G","venue":null,"work_id":"77594adc-20bd-4656-b944-5c53d55ac783","year":2011},"citing_paper":{"arxiv_id":"2506.03469","last_updated":"2025-06-04T00:54:01Z","snapshot_observed_at":"2026-08-09T11:01:55.326469Z","submitted_at":"2025-06-04T00:54:01Z","title":"Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-07T11:07:28.734294Z"},"links":{"citing_paper":"/paper/2506.03469"},"observation_digest":"sha256:44079b1bc7a66666a19a495083956657f25ce1f5eef49dd67a7d43a087ff892e","observation_id":"e0f1cf21-e078-4c55-84d3-5621db101d99","resolution":{"observed_at":"2026-08-07T11:07:30.623560Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2005.01643","last_updated":"2020-11-01T23:50:25Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2020-05-04T17:00:15Z","title":"Offline Reinforcement Learning: Tutorial, Review, and Perspectives on Open Problems","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2005.01643","snapshot_observed_at":"2026-08-07T11:07:28.773438Z","title":"Levine, A","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2506.03469","last_updated":"2025-06-04T00:54:01Z","snapshot_observed_at":"2026-08-09T11:01:55.326469Z","submitted_at":"2025-06-04T00:54:01Z","title":"Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-07T11:07:28.773438Z"},"links":{"cited_paper":"/paper/2005.01643","citing_paper":"/paper/2506.03469"},"observation_digest":"sha256:7c767a15780bf66c59785cca01552edb3dd35dc8431ae7dfd098767f771c9216","observation_id":"2b878c0f-401c-44fc-a12d-becc0b703e56","resolution":{"observed_at":"2026-08-07T11:07:28.773438Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:07:30.602233Z","title":null,"venue":null,"work_id":"b9012527-da00-41c2-b234-4a158b1ab6e2","year":2006},"citing_paper":{"arxiv_id":"2506.03469","last_updated":"2025-06-04T00:54:01Z","snapshot_observed_at":"2026-08-09T11:01:55.326469Z","submitted_at":"2025-06-04T00:54:01Z","title":"Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-07T11:07:28.831283Z"},"links":{"citing_paper":"/paper/2506.03469"},"observation_digest":"sha256:94fc9ebc5e4d030c035a88a664f18971c2ce780186f3ce4a45bb663990d95f1d","observation_id":"e529d429-59d5-4991-9999-704f7a6202a3","resolution":{"observed_at":"2026-08-07T11:07:30.607486Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:07:30.586558Z","title":null,"venue":null,"work_id":"c46dd174-a1be-4748-8ca5-f7725d09c933","year":2004},"citing_paper":{"arxiv_id":"2506.03469","last_updated":"2025-06-04T00:54:01Z","snapshot_observed_at":"2026-08-09T11:01:55.326469Z","submitted_at":"2025-06-04T00:54:01Z","title":"Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-07T11:07:28.898229Z"},"links":{"citing_paper":"/paper/2506.03469"},"observation_digest":"sha256:dd0a496a8c0db68a9992206bc6e692de8eb4d14c55c043840833827549f81343","observation_id":"cd595de2-c8a5-4e1e-85e8-93235b8db56f","resolution":{"observed_at":"2026-08-07T11:07:30.591014Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-07T11:07:28.954721Z","title":"Liu and N","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2506.03469","last_updated":"2025-06-04T00:54:01Z","snapshot_observed_at":"2026-08-09T11:01:55.326469Z","submitted_at":"2025-06-04T00:54:01Z","title":"Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-07T11:07:28.954721Z"},"links":{"citing_paper":"/paper/2506.03469"},"observation_digest":"sha256:60974b50cf46dd2ce32b2c69c1962a3a0ccac7dfd609c1103063b2f23f4872e1","observation_id":"87ae86fb-53b2-48c2-822f-72fd2f735701","resolution":{"observed_at":"2026-08-07T11:07:28.954721Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:07:30.565856Z","title":null,"venue":null,"work_id":"a1ccb0d5-1c43-4bdb-b7d8-4a9fd48b4264","year":null},"citing_paper":{"arxiv_id":"2506.03469","last_updated":"2025-06-04T00:54:01Z","snapshot_observed_at":"2026-08-09T11:01:55.326469Z","submitted_at":"2025-06-04T00:54:01Z","title":"Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-07T11:07:28.983356Z"},"links":{"citing_paper":"/paper/2506.03469"},"observation_digest":"sha256:306fb0e6b05b8874b6e982b3b37dca525811b7af516413e095db32a8630e856b","observation_id":"24c8bd89-598a-4380-8490-3ecae8a8988d","resolution":{"observed_at":"2026-08-07T11:07:30.572313Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:07:30.550525Z","title":"McCalmon, T","venue":null,"work_id":"78a7506d-8ff5-42b2-a3b0-bf832e522e0c","year":2022},"citing_paper":{"arxiv_id":"2506.03469","last_updated":"2025-06-04T00:54:01Z","snapshot_observed_at":"2026-08-09T11:01:55.326469Z","submitted_at":"2025-06-04T00:54:01Z","title":"Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-07T11:07:29.039078Z"},"links":{"citing_paper":"/paper/2506.03469"},"observation_digest":"sha256:0e17bdf246c983e3e9bd6a39519c0675c6b3123f621303660ce562261db9e046","observation_id":"611a9170-c12a-457a-857b-9e289fdb40b1","resolution":{"observed_at":"2026-08-07T11:07:30.554779Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:07:30.535085Z","title":"Mihatsch and R","venue":null,"work_id":"39f8c801-219e-445d-adde-6b9d56f9e99d","year":2002},"citing_paper":{"arxiv_id":"2506.03469","last_updated":"2025-06-04T00:54:01Z","snapshot_observed_at":"2026-08-09T11:01:55.326469Z","submitted_at":"2025-06-04T00:54:01Z","title":"Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-07T11:07:29.120947Z"},"links":{"citing_paper":"/paper/2506.03469"},"observation_digest":"sha256:41896a2150315c188f05f2fc60acbba25ecfb56bcbb9951f7e46b4a0efd01469","observation_id":"e84fdecc-23eb-4420-b697-f914d9ab09bc","resolution":{"observed_at":"2026-08-07T11:07:30.540260Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.24963/ijcai.2023/54","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":null,"venue":null,"work_id":"c9c53578-a561-43ac-91ce-b34464adb889","year":2023},"citing_paper":{"arxiv_id":"2506.03469","last_updated":"2025-06-04T00:54:01Z","snapshot_observed_at":"2026-08-09T11:01:55.326469Z","submitted_at":"2025-06-04T00:54:01Z","title":"Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-07T11:07:29.158152Z"},"links":{"citing_paper":"/paper/2506.03469"},"observation_digest":"sha256:c80599b727d366da04484bcef69dd8e0d7d716faca3b2cb687bc53c0dfd06aab","observation_id":"efaafd7e-1aef-44fe-83fd-89be468619b9","resolution":{"observed_at":"2026-08-07T11:07:29.862595Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2501.03902","last_updated":"2025-01-07T16:10:09Z","snapshot_observed_at":"2026-08-10T08:44:32.101786Z","submitted_at":"2025-01-07T16:10:09Z","title":"Explainable Reinforcement Learning via Temporal Policy Decomposition","version":1},"cited_work":{"arxiv_id":"2501.03902","doi":null,"metadata_source":"pith","pith_arxiv_id":"2501.03902","snapshot_observed_at":"2026-08-07T11:07:30.257846Z","title":"Explainable Reinforcement Learning via Temporal Policy Decomposition","venue":"cs.LG","work_id":"159675e4-6fdc-4ac5-8442-35ee2df6cd6c","year":2025},"citing_paper":{"arxiv_id":"2506.03469","last_updated":"2025-06-04T00:54:01Z","snapshot_observed_at":"2026-08-09T11:01:55.326469Z","submitted_at":"2025-06-04T00:54:01Z","title":"Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-07T11:07:29.249223Z"},"links":{"cited_paper":"/paper/2501.03902","citing_paper":"/paper/2506.03469"},"observation_digest":"sha256:266eac65da283892570b5084bd529974c12816fb301ae866d86a7d60db509d1e","observation_id":"298d9481-14ae-4a21-ba95-d0e78502b63a","resolution":{"observed_at":"2026-08-07T11:07:30.264400Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:07:30.519741Z","title":null,"venue":null,"work_id":"65828c36-0a2a-4ce9-9bf0-f8ff992e2f1d","year":2010},"citing_paper":{"arxiv_id":"2506.03469","last_updated":"2025-06-04T00:54:01Z","snapshot_observed_at":"2026-08-09T11:01:55.326469Z","submitted_at":"2025-06-04T00:54:01Z","title":"Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-07T11:07:29.290931Z"},"links":{"citing_paper":"/paper/2506.03469"},"observation_digest":"sha256:50aae58be7bdbf758206fadb8c716b379f80aac09a0675199c95a55dd254b379","observation_id":"68ddec39-f70b-4bf0-b50d-49dfb553a943","resolution":{"observed_at":"2026-08-07T11:07:30.524519Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-07T11:07:29.380126Z","title":"Tappler, A","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.03469","last_updated":"2025-06-04T00:54:01Z","snapshot_observed_at":"2026-08-09T11:01:55.326469Z","submitted_at":"2025-06-04T00:54:01Z","title":"Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-07T11:07:29.380126Z"},"links":{"citing_paper":"/paper/2506.03469"},"observation_digest":"sha256:47c92725a394dc83513c0831f4d5a3ebf1147b5c54b542dd23e43ba8ba9701cc","observation_id":"5d569828-dbe9-468b-827e-c9bbca233f63","resolution":{"observed_at":"2026-08-07T11:07:29.380126Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:07:30.503487Z","title":"Thananjeyan, A","venue":null,"work_id":"3c7d2ba2-be80-4bbd-8c85-654bbeca63f5","year":2021},"citing_paper":{"arxiv_id":"2506.03469","last_updated":"2025-06-04T00:54:01Z","snapshot_observed_at":"2026-08-09T11:01:55.326469Z","submitted_at":"2025-06-04T00:54:01Z","title":"Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-07T11:07:29.467453Z"},"links":{"citing_paper":"/paper/2506.03469"},"observation_digest":"sha256:6f9cd07af588519e1af83e0599501a24e949b47d63ce75e7d6c590443fa590e5","observation_id":"ad93b22b-05b6-45b4-8dc9-9f3fd05eb949","resolution":{"observed_at":"2026-08-07T11:07:30.508489Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-07T11:07:29.534168Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.03469","last_updated":"2025-06-04T00:54:01Z","snapshot_observed_at":"2026-08-09T11:01:55.326469Z","submitted_at":"2025-06-04T00:54:01Z","title":"Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-07T11:07:29.534168Z"},"links":{"citing_paper":"/paper/2506.03469"},"observation_digest":"sha256:b6bc3d4a0211e4dda0a56dc1bd7aa72f7dd195519ad77b37cf4fcad08cd11584","observation_id":"f70f3aed-90b8-4faf-848e-e4e4d92f8fe0","resolution":{"observed_at":"2026-08-07T11:07:29.534168Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2003.06139","last_updated":"2023-05-03T11:50:35Z","snapshot_observed_at":"2026-08-05T13:49:39.881669Z","submitted_at":"2020-03-13T07:33:34Z","title":"Empirical measurement of cosmic luminosity-angular distance relation","version":6},"cited_work":{"arxiv_id":"2003.06139","doi":null,"metadata_source":"pith","pith_arxiv_id":"2003.06139","snapshot_observed_at":"2026-08-07T11:07:29.936776Z","title":"Empirical measurement of cosmic luminosity-angular distance relation","venue":"physics.gen-ph","work_id":"e8c7adbc-4997-4ae2-939c-9d3bbf2b18c6","year":2020},"citing_paper":{"arxiv_id":"2506.03469","last_updated":"2025-06-04T00:54:01Z","snapshot_observed_at":"2026-08-09T11:01:55.326469Z","submitted_at":"2025-06-04T00:54:01Z","title":"Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-07T11:07:29.665846Z"},"links":{"cited_paper":"/paper/2003.06139","citing_paper":"/paper/2506.03469"},"observation_digest":"sha256:ccc3940b5695d7007b2c35385f8c8db6915615dfb72cc10840da648f656c91db","observation_id":"efd38806-76c1-441e-aeb2-4683f3973e79","resolution":{"observed_at":"2026-08-07T11:07:30.039001Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2506.03469","last_updated":"2025-06-04T00:54:01Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-09T11:01:55.326469Z","submitted_at":"2025-06-04T00:54:01Z","title":"Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration"},"reference_resolution":{"displayed":32,"state_counts":{"malformed_identifier":1,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":15,"verified_exact":4,"verified_fuzzy":12},"total_outbound_references":32},"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-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 32 of 32 outbound references and 0 inbound Pith citation observations for arXiv:2506.03469."}