{"as_of":"2026-08-08T11:40:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:4dbc3190e40e284338f9345b490b9a1b51ec9afe5d6d8ec3e8d428cdb7f2d172","coverage":[{"denominator":19,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":19,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T13:01:32.033527Z","state":"measured"},{"denominator":19,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":19,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+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/2505.22982/citation-record","integrity":"/paper/2505.22982/integrity","json":"/paper/2505.22982/citation-record.json","paper":"/paper/2505.22982"},"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-07T13:01:35.998324Z","title":"Approaches to cyber-physical (model) model- checking,","venue":null,"work_id":"ef499b88-4a0d-4996-a6c9-e3cc6b2c31d5","year":2023},"citing_paper":{"arxiv_id":"2505.22982","last_updated":"2025-05-29T01:44:47Z","snapshot_observed_at":"2026-08-07T12:53:40.173059Z","submitted_at":"2025-05-29T01:44:47Z","title":"Structural Abstraction and Selective Refinement for Formal Verification","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T13:01:30.080960Z"},"links":{"citing_paper":"/paper/2505.22982"},"observation_digest":"sha256:83b35f7ace68e918044db7a74359169783e7ea9b5065134bb7be7990c9d82385","observation_id":"3f2f4b63-d80e-44e5-a6d9-acda98a98586","resolution":{"observed_at":"2026-08-07T13:01:36.151494Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T13:01:35.747018Z","title":"Formal Verification of Safety Properties of Collaborative Robotic Applications including Variability,","venue":null,"work_id":"8850ceb4-2fed-410e-8020-1879def511b8","year":2021},"citing_paper":{"arxiv_id":"2505.22982","last_updated":"2025-05-29T01:44:47Z","snapshot_observed_at":"2026-08-07T12:53:40.173059Z","submitted_at":"2025-05-29T01:44:47Z","title":"Structural Abstraction and Selective Refinement for Formal Verification","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T13:01:30.118303Z"},"links":{"citing_paper":"/paper/2505.22982"},"observation_digest":"sha256:e0b0ae85ea8d044151038f59f3af13e5f36d6b7b8c09ed5290428666194a8167","observation_id":"48989754-8004-4cdc-a455-4d16f89a9398","resolution":{"observed_at":"2026-08-07T13:01:35.890327Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T13:01:35.528836Z","title":null,"venue":null,"work_id":"87595478-85cd-47b0-963e-094d36c81fd1","year":2023},"citing_paper":{"arxiv_id":"2505.22982","last_updated":"2025-05-29T01:44:47Z","snapshot_observed_at":"2026-08-07T12:53:40.173059Z","submitted_at":"2025-05-29T01:44:47Z","title":"Structural Abstraction and Selective Refinement for Formal Verification","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T13:01:30.239887Z"},"links":{"citing_paper":"/paper/2505.22982"},"observation_digest":"sha256:8e9720b418026f0433e38074e5e00f858140038ab989cdd583f3621503dbd0fc","observation_id":"0fff23de-40c1-4934-ae55-09197af02735","resolution":{"observed_at":"2026-08-07T13:01:35.685617Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T13:01:35.260937Z","title":"(2023) nuXmv: The nuXmv model checker","venue":null,"work_id":"b7f97e51-5f85-44e7-ade9-be7825d6aef5","year":2023},"citing_paper":{"arxiv_id":"2505.22982","last_updated":"2025-05-29T01:44:47Z","snapshot_observed_at":"2026-08-07T12:53:40.173059Z","submitted_at":"2025-05-29T01:44:47Z","title":"Structural Abstraction and Selective Refinement for Formal Verification","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T13:01:30.353482Z"},"links":{"citing_paper":"/paper/2505.22982"},"observation_digest":"sha256:242f90766b254dc05df1c603d63b775c416ed5ba2b74f6788e4b680b1c316bf4","observation_id":"507c1caa-c989-4b60-ac70-f014cad3c409","resolution":{"observed_at":"2026-08-07T13:01:35.391193Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T13:01:35.017023Z","title":"The nuXmv symbolic model checker,","venue":null,"work_id":"1e968b42-5f2a-44f0-9fcf-a5e5d6f99258","year":2014},"citing_paper":{"arxiv_id":"2505.22982","last_updated":"2025-05-29T01:44:47Z","snapshot_observed_at":"2026-08-07T12:53:40.173059Z","submitted_at":"2025-05-29T01:44:47Z","title":"Structural Abstraction and Selective Refinement for Formal Verification","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T13:01:30.469985Z"},"links":{"citing_paper":"/paper/2505.22982"},"observation_digest":"sha256:609767359f88f7e27707720c309744d526c7bbeb898d353406f59eac616c6598","observation_id":"ddc1bddc-17df-48c3-bd9e-d1d75fbe4723","resolution":{"observed_at":"2026-08-07T13:01:35.143693Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T13:01:34.705042Z","title":null,"venue":null,"work_id":"e13ebc71-e074-480e-accc-5deabf372046","year":2023},"citing_paper":{"arxiv_id":"2505.22982","last_updated":"2025-05-29T01:44:47Z","snapshot_observed_at":"2026-08-07T12:53:40.173059Z","submitted_at":"2025-05-29T01:44:47Z","title":"Structural Abstraction and Selective Refinement for Formal Verification","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T13:01:30.594176Z"},"links":{"citing_paper":"/paper/2505.22982"},"observation_digest":"sha256:e4e88b157e426a528f82e2dedf18c07d7d6399d610b47a0a63a812b7a39d920a","observation_id":"0f1256c7-0d73-4411-a9e4-1830563472c3","resolution":{"observed_at":"2026-08-07T13:01:34.872476Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T13:01:34.434036Z","title":null,"venue":null,"work_id":"7201c157-3325-4d0e-93ba-6637b2300ea0","year":2023},"citing_paper":{"arxiv_id":"2505.22982","last_updated":"2025-05-29T01:44:47Z","snapshot_observed_at":"2026-08-07T12:53:40.173059Z","submitted_at":"2025-05-29T01:44:47Z","title":"Structural Abstraction and Selective Refinement for Formal Verification","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T13:01:30.725050Z"},"links":{"citing_paper":"/paper/2505.22982"},"observation_digest":"sha256:437a7e070445baf78c696602e82a1b6349ab775e094efee42ecb840a60f5b509","observation_id":"2e823ec9-d9a7-4188-b7ed-aa47d2f57fc4","resolution":{"observed_at":"2026-08-07T13:01:34.501381Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T13:01:34.266831Z","title":"Model checking and ab- straction,","venue":null,"work_id":"cbfc6ad8-9348-4f8a-b7b5-fb0752a67400","year":1994},"citing_paper":{"arxiv_id":"2505.22982","last_updated":"2025-05-29T01:44:47Z","snapshot_observed_at":"2026-08-07T12:53:40.173059Z","submitted_at":"2025-05-29T01:44:47Z","title":"Structural Abstraction and Selective Refinement for Formal Verification","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T13:01:30.854977Z"},"links":{"citing_paper":"/paper/2505.22982"},"observation_digest":"sha256:f2a2dfbb74419e7e68dfb9d52077ec9d86a9c52a057b304d9c283b84305db2e4","observation_id":"40c5239f-c8e9-4047-b8ea-8d9db0e00dbd","resolution":{"observed_at":"2026-08-07T13:01:34.345247Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T13:01:34.018988Z","title":"Counterexample- Guided Abstraction Refinement,","venue":null,"work_id":"b06cadb2-9782-4195-946f-d71f9bae3bbb","year":2000},"citing_paper":{"arxiv_id":"2505.22982","last_updated":"2025-05-29T01:44:47Z","snapshot_observed_at":"2026-08-07T12:53:40.173059Z","submitted_at":"2025-05-29T01:44:47Z","title":"Structural Abstraction and Selective Refinement for Formal Verification","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T13:01:30.926255Z"},"links":{"citing_paper":"/paper/2505.22982"},"observation_digest":"sha256:35a907c494ab29b53051eb69b707e861a9eee27ed6b0407e7f18e9e8e48b0d0e","observation_id":"a946d944-0461-4f60-8aa3-06c095c9305c","resolution":{"observed_at":"2026-08-07T13:01:34.144663Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T13:01:33.722858Z","title":"Counterexample-guided abstraction refinement for symbolic model checking,","venue":null,"work_id":"11ddd41f-9362-42b1-a971-e8d0e982f521","year":2003},"citing_paper":{"arxiv_id":"2505.22982","last_updated":"2025-05-29T01:44:47Z","snapshot_observed_at":"2026-08-07T12:53:40.173059Z","submitted_at":"2025-05-29T01:44:47Z","title":"Structural Abstraction and Selective Refinement for Formal Verification","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T13:01:31.032576Z"},"links":{"citing_paper":"/paper/2505.22982"},"observation_digest":"sha256:66c4686028ffd9b100c9579e7374da96b04197091ee9e6543991c59db937241e","observation_id":"00f39543-83e1-42fb-91a1-fc75d92b3269","resolution":{"observed_at":"2026-08-07T13:01:33.855973Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T13:01:33.443986Z","title":"Verification of hybrid systems based on counterexample-guided abstrac- tion refinement,","venue":null,"work_id":"3414daba-3afb-481c-8f6e-3dc120a3cf6f","year":2003},"citing_paper":{"arxiv_id":"2505.22982","last_updated":"2025-05-29T01:44:47Z","snapshot_observed_at":"2026-08-07T12:53:40.173059Z","submitted_at":"2025-05-29T01:44:47Z","title":"Structural Abstraction and Selective Refinement for Formal Verification","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T13:01:31.159342Z"},"links":{"citing_paper":"/paper/2505.22982"},"observation_digest":"sha256:29308531dd8228b05b9fda8c8e092c2b3141c8fd3cabfa2efabe9ed8863d9fcc","observation_id":"96b5bff9-a186-4181-a41d-8578fd558cb0","resolution":{"observed_at":"2026-08-07T13:01:33.569571Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1142/s012905410300190x","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:01:32.130918Z","title":"Abstraction and counterexample-guided refinement in model checking of hybrid systems,","venue":null,"work_id":"2bc5e456-9ada-4be8-a107-468f5baab01f","year":2003},"citing_paper":{"arxiv_id":"2505.22982","last_updated":"2025-05-29T01:44:47Z","snapshot_observed_at":"2026-08-07T12:53:40.173059Z","submitted_at":"2025-05-29T01:44:47Z","title":"Structural Abstraction and Selective Refinement for Formal Verification","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T13:01:31.322204Z"},"links":{"citing_paper":"/paper/2505.22982"},"observation_digest":"sha256:d5e398960dc3a4b91ec03a78753c247dbba71c07e401ec3c06e88c3884f5e41b","observation_id":"8c913efa-4515-4929-92c8-d4d2697f4610","resolution":{"observed_at":"2026-08-07T13:01:32.173058Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T13:01:33.185487Z","title":"The morgan kaufmann series,","venue":null,"work_id":"fe6bfd1d-9655-4c34-88da-e13af3950038","year":2005},"citing_paper":{"arxiv_id":"2505.22982","last_updated":"2025-05-29T01:44:47Z","snapshot_observed_at":"2026-08-07T12:53:40.173059Z","submitted_at":"2025-05-29T01:44:47Z","title":"Structural Abstraction and Selective Refinement for Formal Verification","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T13:01:31.509623Z"},"links":{"citing_paper":"/paper/2505.22982"},"observation_digest":"sha256:04dbf6d58943cec804be1c27eed279d2cebf5b2b84143931dced23770af3ae7a","observation_id":"c741c4c0-e4f0-4809-9313-d5e044d6f0e7","resolution":{"observed_at":"2026-08-07T13:01:33.282075Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T13:01:33.034876Z","title":"GPU-accelerated generation and ren- dering of multi-level voxel representations of solid models,","venue":null,"work_id":"07bb1755-f52c-4fe3-b629-fbd012ea5106","year":2018},"citing_paper":{"arxiv_id":"2505.22982","last_updated":"2025-05-29T01:44:47Z","snapshot_observed_at":"2026-08-07T12:53:40.173059Z","submitted_at":"2025-05-29T01:44:47Z","title":"Structural Abstraction and Selective Refinement for Formal Verification","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-07T13:01:31.611217Z"},"links":{"citing_paper":"/paper/2505.22982"},"observation_digest":"sha256:5ec8063b7cd145ea28b62f7e7d3a9cad121727e9ba3962b09e31a8b6d4c47c25","observation_id":"4db63330-a94d-4b0f-8681-5fd005bfb7b5","resolution":{"observed_at":"2026-08-07T13:01:33.095678Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T13:01:32.907336Z","title":"Direct 3D printing of multi-level voxel models,","venue":null,"work_id":"7ca168dc-f276-4bc6-9372-334da0ea1d46","year":2021},"citing_paper":{"arxiv_id":"2505.22982","last_updated":"2025-05-29T01:44:47Z","snapshot_observed_at":"2026-08-07T12:53:40.173059Z","submitted_at":"2025-05-29T01:44:47Z","title":"Structural Abstraction and Selective Refinement for Formal Verification","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-07T13:01:31.689181Z"},"links":{"citing_paper":"/paper/2505.22982"},"observation_digest":"sha256:0bca1560cd239b47e55ea04ccd8b70560b25b1d22b63ba4e1af08bfca4b7bb16","observation_id":"f3248ee5-bf0e-43af-87ca-97199522ef2c","resolution":{"observed_at":"2026-08-07T13:01:32.959917Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T13:01:32.747703Z","title":"Structural Abstraction of Software Verification Conditions,","venue":null,"work_id":"9c11d6f7-3fb5-426b-adb4-9eaf709cc58e","year":2007},"citing_paper":{"arxiv_id":"2505.22982","last_updated":"2025-05-29T01:44:47Z","snapshot_observed_at":"2026-08-07T12:53:40.173059Z","submitted_at":"2025-05-29T01:44:47Z","title":"Structural Abstraction and Selective Refinement for Formal Verification","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-07T13:01:31.775733Z"},"links":{"citing_paper":"/paper/2505.22982"},"observation_digest":"sha256:a1dbeb76318fa87301477ca7d9cbbbb3692ebba591350a356db674ae40a61c30","observation_id":"2fb1bd6e-7f2c-4637-b53a-9ef4590b5527","resolution":{"observed_at":"2026-08-07T13:01:32.797187Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T13:01:32.632204Z","title":"Two methods for exploiting abstraction in systems,","venue":null,"work_id":"4328eebf-77c9-4579-929d-a9226c83fc92","year":1996},"citing_paper":{"arxiv_id":"2505.22982","last_updated":"2025-05-29T01:44:47Z","snapshot_observed_at":"2026-08-07T12:53:40.173059Z","submitted_at":"2025-05-29T01:44:47Z","title":"Structural Abstraction and Selective Refinement for Formal Verification","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-07T13:01:31.859200Z"},"links":{"citing_paper":"/paper/2505.22982"},"observation_digest":"sha256:be9d4008f51d329f56488ddc3b4b8e8cfc97d637698ee5ca72cb5fe2ac375647","observation_id":"1a831a44-4eff-40bf-9fe3-cff22c82bc9c","resolution":{"observed_at":"2026-08-07T13:01:32.681197Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T13:01:32.491410Z","title":"Unsupervised learning for cuboid shape abstrac- tion via joint segmentation from point clouds,","venue":null,"work_id":"e2976b26-5524-4c34-9790-9e0d58ae4def","year":2021},"citing_paper":{"arxiv_id":"2505.22982","last_updated":"2025-05-29T01:44:47Z","snapshot_observed_at":"2026-08-07T12:53:40.173059Z","submitted_at":"2025-05-29T01:44:47Z","title":"Structural Abstraction and Selective Refinement for Formal Verification","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-07T13:01:31.957684Z"},"links":{"citing_paper":"/paper/2505.22982"},"observation_digest":"sha256:ea990d2294f9f8ffb36398bcf3370511714fb2ab4a7af9dec7495a69d61211e8","observation_id":"9a07cdcb-60a6-44ac-86f5-6ef8931ecc60","resolution":{"observed_at":"2026-08-07T13:01:32.565693Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"3272.50327","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:01:32.335120Z","title":"Lazy abstraction,","venue":null,"work_id":"6d6da33b-ddd5-45d2-b8ce-72b9473bb32e","year":2002},"citing_paper":{"arxiv_id":"2505.22982","last_updated":"2025-05-29T01:44:47Z","snapshot_observed_at":"2026-08-07T12:53:40.173059Z","submitted_at":"2025-05-29T01:44:47Z","title":"Structural Abstraction and Selective Refinement for Formal Verification","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-07T13:01:32.033527Z"},"links":{"citing_paper":"/paper/2505.22982"},"observation_digest":"sha256:a09d0bb7f1a5c9cb5d15c3b472e6faad4a38a64d22a71087dee07037512762a5","observation_id":"f9ba6947-5f8e-4e06-b4d0-c0bbb4242a85","resolution":{"observed_at":"2026-08-07T13:01:32.410569Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2505.22982","last_updated":"2025-05-29T01:44:47Z","latest_version":1,"primary_category":"cs.RO","snapshot_observed_at":"2026-08-07T12:53:40.173059Z","submitted_at":"2025-05-29T01:44:47Z","title":"Structural Abstraction and Selective Refinement for Formal Verification"},"reference_resolution":{"displayed":19,"state_counts":{"malformed_identifier":0,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":3,"verified_exact":1,"verified_fuzzy":14},"total_outbound_references":19},"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-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 19 of 19 outbound references and 0 inbound Pith citation observations for arXiv:2505.22982."}