{"as_of":"2026-08-15T21:27:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:da8ca263d388ba439f9b2323ff6cf71633973fb5165df14f615a0994ffbe68a2","coverage":[{"denominator":82,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":82,"source":"paper_references, paper_reference_links","source_observed_at":"2026-06-25T23:44:27.663072Z","state":"measured"},{"denominator":82,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":82,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-15T06:32:42.880941+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/2606.24414/citation-record","integrity":"/paper/2606.24414/integrity","json":"/paper/2606.24414/citation-record.json","paper":"/paper/2606.24414"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-25T23:44:27.663072Z","title":"Safe Reinforcement Learning via Shielding","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:308657914e64eca7806ccceff9c74942da9f0c4764a2d38e056893eec002a82d","observation_id":"de902b88-10b8-4d85-836e-86ded579d2e0","resolution":{"observed_at":"2026-06-25T23:44:27.663072Z","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-06-25T23:44:27.663072Z","title":"The Claude Model Family: Claude Opus 4.5 and Claude Sonnet 4.6.Technical Report, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:0191ad1c6c5b230f43fcf311e448630c6d29812994715363c7c0277938e9c76d","observation_id":"2420a529-7f0f-4db3-a804-e9bab5ec0d29","resolution":{"observed_at":"2026-06-25T23:44:27.663072Z","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.1007/978-3-031-98685-7_13","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: Piskac, R., Rakamaric, Z","venue":"Lecture notes in computer science","work_id":"c6368888-4c1a-4f35-8b07-fde6ddec1422","year":2025},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:53fbebdb01dd9c4c99cf7f5e548e80ec74c0f45f54138beffa8e3845dacf3965","observation_id":"ba37ad02-0736-4aaf-beb4-c85054d80efd","resolution":{"observed_at":"2026-06-25T23:48:42.472057Z","resolver_source":"doi","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06-25T23:44:27.663072Z","title":"Neural Machine Translation by Jointly Learning to Align and Translate","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:85708bd61bb95e0e0b8b3d61d2ed3500dfe31c6265d945591be4d27f1f400e34","observation_id":"860bd9c3-6d9e-46d1-a9ad-7e79793288d6","resolution":{"observed_at":"2026-06-25T23:44:27.663072Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2212.08073","last_updated":"2022-12-15T06:19:23Z","snapshot_observed_at":"2026-08-02T04:53:58.766070Z","submitted_at":"2022-12-15T06:19:23Z","title":"Constitutional AI: Harmlessness from AI Feedback","version":1},"cited_work":{"arxiv_id":"2212.08073","doi":"10.48550/arxiv.2212.08073","metadata_source":"pith","pith_arxiv_id":"2212.08073","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Constitutional AI: Harmlessness from AI Feedback","venue":"cs.CL","work_id":"faaaa4e0-2676-4fac-a0b4-99aef10d2095","year":2022},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"cited_paper":"/paper/2212.08073","citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:f40ecbc9ee9d40da32ba6cd5a5b5d32403778e7ec44913a9bfa7167592927149","observation_id":"f97481e5-aa97-40c8-806b-ffcdee62a00d","resolution":{"observed_at":"2026-07-04T17:29:59.650475Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T03:08:13.900899+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-15T03:08:13.900899+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-15T06:32:39.529945+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-06-25T23:44:27.663072Z","title":"MIT Press, 2008","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:e5d8b0cbf11df5b32b6dd91e677666a78eef7621f12a2159afc70e8674380047","observation_id":"228b5c45-fe7c-44cb-8656-9d36080f6c5d","resolution":{"observed_at":"2026-06-25T23:44:27.663072Z","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-06-25T23:44:27.663072Z","title":"cvc5: A Versatile and Industrial-Strength SMT Solver","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:9366703ec1be5fdf647bdf0b1f61944d8301c61ec1928ce04556b76f677dda14","observation_id":"5a703331-1181-41c3-bced-0d48dfae9b5d","resolution":{"observed_at":"2026-06-25T23:44:27.663072Z","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-06-25T23:44:27.663072Z","title":"The coq proof assistant reference manual,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:a5cc256fadcf6b3f8178905bf2b2cd532813c368d9467d03da1abbfc26363ac3","observation_id":"abff7e44-1c51-42d1-b6fc-641db962e714","resolution":{"observed_at":"2026-06-25T23:44:27.663072Z","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.34727/2023/isbn.978-3-85448-060-0","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Optimal Bounded Partial Order Reduction , booktitle =","venue":"reposiTUm (TU Wien)","work_id":"c88ba909-6202-43c2-8a32-64e53a7f9a0a","year":2023},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:17eb02adc14241a11c0e04b12a1c093980090cfba4d802d73d57189b57d0f497","observation_id":"b1e62ad8-5479-4978-a28e-3e75482e8b5c","resolution":{"observed_at":"2026-06-25T23:48:42.467322Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06-25T23:44:27.663072Z","title":"Explaining Counterexamples Using Causality","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:4b9a0d1ab0527e3d0b2b2977ca7df13ff5294f349e948e60238f0486aa42eb2c","observation_id":"6a7077dd-b3b5-4da4-a9e2-fb0f85dbfe82","resolution":{"observed_at":"2026-06-25T23:44:27.663072Z","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-06-25T23:44:27.663072Z","title":"Symbolic Model Checking without BDDs","venue":null,"work_id":null,"year":1999},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:3a8356e4c298cbfe86a65f29264e30ba8075d01e50d48053f06d80d2b916b087","observation_id":"2b904d29-f05f-4078-87d1-e5ce83e8197e","resolution":{"observed_at":"2026-06-25T23:44:27.663072Z","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-06-25T23:44:27.663072Z","title":"Synthesis of Reactive(1) Designs.Journal of Computer and System Sciences, 78(3):911–938, 2012","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:f9841577797a2d756d3e1f16ce7d6053fb6c7edaa38cda07f7e3dacb5c80651b","observation_id":"8612fd76-e1d2-430f-8be2-22e81338912e","resolution":{"observed_at":"2026-06-25T23:44:27.663072Z","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-06-25T23:44:27.663072Z","title":"Shield Synthesis: Runtime Enforcement for Reactive Systems","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:6828c8149018c2bcb7319da3967becbf5e0f985a6bac73883baa6c3d18896c89","observation_id":"8d46b14b-c8c7-4001-a033-b32952793b81","resolution":{"observed_at":"2026-06-25T23:44:27.663072Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2407.21787","last_updated":"2024-12-30T19:03:24Z","snapshot_observed_at":"2026-08-14T10:00:52.343929Z","submitted_at":"2024-07-31T17:57:25Z","title":"Large Language Monkeys: Scaling Inference Compute with Repeated Sampling","version":3},"cited_work":{"arxiv_id":"2407.21787","doi":"10.48550/arxiv.2407.21787","metadata_source":"pith","pith_arxiv_id":"2407.21787","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Large Language Monkeys: Scaling Inference Compute with Repeated Sampling","venue":"cs.LG","work_id":"b124064d-5a56-42ad-86f5-3cc349b86a3a","year":2024},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"cited_paper":"/paper/2407.21787","citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:57dd020efcf90389566138c1f83a461956b7cd185efdf46bbf302feac5713e87","observation_id":"29c5bfcd-0892-44a8-94f9-f73edfb00f74","resolution":{"observed_at":"2026-07-04T17:29:59.650086Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-07-12T02:20:41.492703+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-12T02:20:41.492703+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-15T06:32:39.529945+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-06-25T23:44:27.663072Z","title":"The nuXmv Symbolic Model Checker","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:62e357785cac9fe4d12ff330f1b86d7c027ed83df95ee30629fc04a4bd2e129a","observation_id":"4da68a0d-66c5-44b1-af3a-c44a9668e174","resolution":{"observed_at":"2026-06-25T23:44:27.663072Z","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-06-25T23:44:27.663072Z","title":"Logical natural language generation from open-domain tables","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:16e84d1ff8ecf4c4c62ed56858a19dc2e31bf2fa112db4d5126b1b0f8e0da9e8","observation_id":"304399ec-004c-4761-99e7-acb9b0539931","resolution":{"observed_at":"2026-06-25T23:44:27.663072Z","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-06-25T23:44:27.663072Z","title":"ShieldAgent: Shielding Agents via Verifiable Safety Policy Reasoning","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:1ec020823f7e7152be26360dbb3cd01689968ff6c9464fd32710458b4ab2d352","observation_id":"6ad97d91-2eec-499e-a7aa-85fc411747fc","resolution":{"observed_at":"2026-06-25T23:44:27.663072Z","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-06-25T23:44:27.663072Z","title":"Provenance in Databases: Why, How, and Where.Foundations and Trends in Databases, 1(4):379–474, 2009","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:7815251f33bcc3ddc0aea211386c20931e65f529555d972b46cdec58c557fa18","observation_id":"999f2e53-a593-4198-bb79-9d2ee2508d06","resolution":{"observed_at":"2026-06-25T23:44:27.663072Z","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":"9939.352342","doi":"10.1145/3519939.3523429","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":null,"work_id":"1bbe14c1-27af-4ea9-bff9-aae1c243fd72","year":2022},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:ba8b920c5797107c44954efa37d756b11f721c6094ac51c4de94fa56d09e3893","observation_id":"87d6a671-a643-4dc0-845b-d2d37dca5e40","resolution":{"observed_at":"2026-06-25T23:48:42.470102Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06-25T23:44:27.663072Z","title":"Clarke, Fausto Giunchiglia, and Marco Roveri","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:f5272ebc5025dcc5e12024c22ad6a67a069a67bf8cf4be819505652facc32f7b","observation_id":"61995093-fe40-41a9-9386-3adefd0cdd54","resolution":{"observed_at":"2026-06-25T23:44:27.663072Z","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-06-25T23:44:27.663072Z","title":"IC3 Modulo Theories via Implicit Predicate Abstraction.Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2014","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:802dae09e31b3b774cde1fc2f8df9e1dc9e78ff56c6364db7e193d53f4154269","observation_id":"b1c1f9c7-81e9-4075-87bd-79819275c9d9","resolution":{"observed_at":"2026-06-25T23:44:27.663072Z","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-06-25T23:44:27.663072Z","title":"Counterexample- Guided Abstraction Refinement","venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:8cf6270d6da7f09eb1ee87b4215ea43dd2d2aa0ae419d4bc023b9a6b6d6e2600","observation_id":"a272a498-8458-46a6-afdf-9b477c7d2932","resolution":{"observed_at":"2026-06-25T23:44:27.663072Z","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-06-25T23:44:27.663072Z","title":"Clarke, E","venue":null,"work_id":null,"year":1986},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:df9174d534a45470699c3b56171f3fff6535c86a29d08fc3380b6aa028e3db58","observation_id":"d008dd08-4732-4db9-bb82-65704803d269","resolution":{"observed_at":"2026-06-25T23:44:27.663072Z","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-06-25T23:44:27.663072Z","title":"Clarke, Thomas A","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:f794139dde0122f5d5fa464aa96e0e1719eec37a15062849f32e87dc19f36028","observation_id":"a0714b51-556b-4568-a8ee-08f1dce55bbf","resolution":{"observed_at":"2026-06-25T23:44:27.663072Z","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-06-25T23:44:27.663072Z","title":"Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints","venue":null,"work_id":null,"year":1977},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:dfb24f6b62fd3e5b10e0356c793315b50e19b6c389f02e646547756e13400da9","observation_id":"0346fb7d-8114-41c6-9a90-f3f3f133f8e9","resolution":{"observed_at":"2026-06-25T23:44:27.663072Z","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-06-25T23:44:27.663072Z","title":"Verification-Guided Shielding for Deep Reinforcement Learning.RLJ, 4:1759–1780, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:de01ab600c83790d9b98ce4a1de0fa332d91dd2404136adf94bda1369270ce05","observation_id":"121e4ad7-08c9-4c09-bca8-903e56c9982a","resolution":{"observed_at":"2026-06-25T23:44:27.663072Z","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-06-25T23:44:27.663072Z","title":"Z3: An Efficient SMT Solver","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:30a10abd37d2649e522f903cb49aff3daca8684aab9223ae683940af89eee734","observation_id":"2cc63591-d996-4b82-bfe3-fd99accf0db9","resolution":{"observed_at":"2026-06-25T23:44:27.663072Z","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-06-25T23:44:27.663072Z","title":"The Lean 4 Theorem Prover and Programming Language","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:51d0bc880ae5eda3420eda89ca3c71986380eeab0b2290e82dd4e0347b3abf2b","observation_id":"37d9c372-e459-4a21-99fb-ef012c33f900","resolution":{"observed_at":"2026-06-25T23:44:27.663072Z","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-06-25T23:44:27.663072Z","title":"FEQA: A Question Answering Evaluation Framework for Faithfulness Assessment in Abstractive Summarization","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:df6bc0ffab9584015cc55526d62ff2da8fcb3544c856cf716e1211c915072e00","observation_id":"492f0e6e-2ee3-4fde-a4c8-d658bfeb5fd2","resolution":{"observed_at":"2026-06-25T23:44:27.663072Z","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-06-25T23:44:27.663072Z","title":"Unsolvability Certificates for Classical Planning","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:3a3b7199d7c38f8ca2059e1a80db2d05344a27f3653f2fdb6aa7350a53033723","observation_id":"4b9d907e-b92d-4a35-a42b-c8173cd7a190","resolution":{"observed_at":"2026-06-25T23:44:27.663072Z","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-06-25T23:44:27.663072Z","title":"Data Augmentation for Low-Resource Neural Machine Translation","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:862e631d08796e7e78c21dcb1010452648f2de27d6cbe3676411be809a1a35db","observation_id":"b7287d4f-9896-4599-a881-c2a1ec521e35","resolution":{"observed_at":"2026-06-25T23:44:27.663072Z","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-06-25T23:44:27.663072Z","title":"Beam Search Strategies for Neural Machine Translation","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:68e1cc19d8dc70c67ad1471f4bf5741b58c78b0c65bed3fe6379fa42d316b207","observation_id":"7c1acd01-4c89-4951-a76a-2abc193c936b","resolution":{"observed_at":"2026-06-25T23:44:27.663072Z","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-06-25T23:44:27.663072Z","title":"Elsevier, 2004","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:564e25d96059aa948e42ff461fa0a60aa97b4e81a24124843b2f703d241c681c","observation_id":"b06fa447-490e-456c-845e-ffd8bfea0229","resolution":{"observed_at":"2026-06-25T23:44:27.663072Z","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-06-25T23:44:27.663072Z","title":"Neu- ral Model Checking","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:39d252337f47f1bdf11eb495804d7cd374645b0564e122540c6d09d237f3610b","observation_id":"d185edfc-9a10-4c2d-91fb-5fb10d0f25d9","resolution":{"observed_at":"2026-06-25T23:44:27.663072Z","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-06-25T23:44:27.663072Z","title":"Let a Neural Network be Your Invariant","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:d3f5350e38163172687d06710508127ce95e9b7b548c27793959d21e95c43c8c","observation_id":"589d77ca-2f4d-4182-bb7f-e5c52ce21817","resolution":{"observed_at":"2026-06-25T23:44:27.663072Z","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-06-25T23:44:27.663072Z","title":"What Went Wrong: Explaining Counterexamples","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:ee608ac2374d9a2b5353fb2fc5b07ea1421187b65a96d49ceba8887a0bfcd90f","observation_id":"5277b76e-67b8-4ae2-9171-e29058570969","resolution":{"observed_at":"2026-06-25T23:44:27.663072Z","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-06-25T23:44:27.663072Z","title":"Pointing the Unknown Words","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:5c86659401cb3818d4f791bbbe5a1b8aee7da9f8ec8f1da65cb89d41069d6324","observation_id":"c9ba83f2-78be-45c3-b09b-c4c8fd3b629f","resolution":{"observed_at":"2026-06-25T23:44:27.663072Z","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-06-25T23:44:27.663072Z","title":"Foundations and Trends in Programming Languages, 2017","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:7a356ce60e71982fa8b9bfaffa1ef281332c8f7389d9cf54f551054bb9e728e4","observation_id":"f4417ee1-0d79-42a7-ae31-fc0c62b388bc","resolution":{"observed_at":"2026-06-25T23:44:27.663072Z","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-06-25T23:44:27.663072Z","title":"Shields to Guarantee Probabilistic Safety in MDPs","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:ee835f16d0be443c5e19711fcaf39b19a4aad8037a646dc748a3d549f7ed0f7d","observation_id":"1eb4cf71-7835-41a1-8dfb-26d934d60692","resolution":{"observed_at":"2026-06-25T23:44:27.663072Z","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-06-25T23:44:27.663072Z","title":"The Fast Downward Planning System.Journal of Artificial Intelligence Research, 26:191–246, 2006","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:bec03c33881c6d3a2efcdf9c40d103aa04bf45e161f53810e251b4ec2e7c9065","observation_id":"4ea31378-1d4e-494b-8f3a-669a8257ae3c","resolution":{"observed_at":"2026-06-25T23:44:27.663072Z","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-06-25T23:44:27.663072Z","title":"Holzmann","venue":null,"work_id":null,"year":1997},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:2657ab850ed9af29ed59eec26518e9f27a6c4a313bc3bf44def0b50bac4b59cd","observation_id":"cf0ea991-0195-43c7-a34f-74200f6cfe20","resolution":{"observed_at":"2026-06-25T23:44:27.663072Z","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-06-25T23:44:27.663072Z","title":"Justification of OWL Entailments","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:7fa3ed1ed56370705c9bd1530a955f616bc52ad15f7a7bf5e6072f97945415d9","observation_id":"0ca721c2-0576-467d-b4f4-a3ce1cf13aa2","resolution":{"observed_at":"2026-06-25T23:44:27.663072Z","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-06-25T23:44:27.663072Z","title":null,"venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:558f90f32d820321ac97fdd6a16b66a939fc88aa5a07251437313ddcf322e22b","observation_id":"514e9a4f-e581-4dad-a08b-75f1c62d4eb4","resolution":{"observed_at":"2026-06-25T23:44:27.663072Z","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-06-25T23:44:27.663072Z","title":"Survey of Hallucination in Natural Language Generation","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:f81402b80823bd36806c0760c9a73b89777ae467cdbce03bbdd7f661da8e33b9","observation_id":"b49b68e4-c6f9-4901-abcc-8abffb0f0b15","resolution":{"observed_at":"2026-06-25T23:44:27.663072Z","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.1007/978-3-319-89963-3","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Lecture notes in computer science","work_id":"bff877df-db61-45a1-93e9-6e53290c78b4","year":2018},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:3e63ae74e49f16a01f92ced7cf46d74810f7133da51bf9257280971a168f2d11","observation_id":"c9f0d9d3-d8ca-4b00-86c0-6073d3ebf43c","resolution":{"observed_at":"2026-06-25T23:48:42.451171Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06-25T23:44:27.663072Z","title":"Shields for Safe Reinforcement Learning.Commun","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:be97579d82da92ac59bfee23b48636fdf20386c2ce42d98af72666df7ab08df8","observation_id":"af124be7-c6e6-494c-a415-391208fd47fc","resolution":{"observed_at":"2026-06-25T23:44:27.663072Z","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.1145/3715958","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"K¨ onighofer, R","venue":"Communications of the ACM","work_id":"a00f878c-4ea7-44de-b992-baf88fd5c80f","year":2025},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:5d8ffccb64edeafeaf0cab184c21dbe47ec6531b5b103cf1222b7c7d43e1414a","observation_id":"1a1def93-abad-49ee-bcc5-45d481eb9e4c","resolution":{"observed_at":"2026-06-25T23:48:42.460192Z","resolver_source":"doi","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06-25T23:44:27.663072Z","title":"CBMC – C Bounded Model Checker","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:7fcf654b127d28fb3bfebdec90610ac2d7a009ccaacf93d8ed662cce16f096f8","observation_id":"a2a56977-9c66-46c7-87af-c747ab7c5089","resolution":{"observed_at":"2026-06-25T23:44:27.663072Z","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-06-25T23:44:27.663072Z","title":"Evaluating the Factual Consistency of Abstractive Text Summarization","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:01840f72b00671fb7f3db547067f9e0bef16e5382ba4985acf9f01df855c2527","observation_id":"6b8373f6-903a-460e-8dc2-4bae050a618c","resolution":{"observed_at":"2026-06-25T23:44:27.663072Z","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-06-25T23:44:27.663072Z","title":"Unsuper- vised Machine Translation Using Monolingual Corpora Only","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:a7cf296dd01ae9d4fc4861ed6045d4b9c34c96ff254778897c74171b376630e4","observation_id":"c0b3ba62-af8f-4f6d-9323-5adc293bf23a","resolution":{"observed_at":"2026-06-25T23:44:27.663072Z","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-06-25T23:44:27.663072Z","title":"Decoupled Weight Decay Regularization","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:e99e176b05562888d23cfee5d1fca3e51bbc69cf2cb9a74b55f3be4decab0263","observation_id":"ca0ad63b-8a88-49b6-8efd-75c8f5f32a23","resolution":{"observed_at":"2026-06-25T23:44:27.663072Z","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-06-25T23:44:27.663072Z","title":"McMillan","venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:2a90c0ddf3aa5d0a0d56bf48e93cd498cd63f907e2eec20c2ccd36f87cf3b257","observation_id":"ba4f5a75-9348-4b68-94e3-187354769fd8","resolution":{"observed_at":"2026-06-25T23:44:27.663072Z","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.1007/978-3-319-96145-3","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: Chockler, H., Weissenbacher, G","venue":"Lecture notes in computer science","work_id":"e7af5efc-98f5-4b91-a2e4-3e16efe6bc9b","year":2018},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:416fd8a58fe3781d5a8788f2e56ac31b544f0c9dd4e79876d7d03a6c9a8048e5","observation_id":"e540c277-0ad1-4e44-b7ab-6b4f6a6994d6","resolution":{"observed_at":"2026-06-25T23:48:42.445376Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-05-20T05:54:02.210514+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-20T05:54:02.210514+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2408.10889","last_updated":"2025-08-21T10:39:45Z","snapshot_observed_at":"2026-08-12T23:00:40.618408Z","submitted_at":"2024-08-20T14:20:19Z","title":"On Learning Action Costs from Input Plans","version":3},"cited_work":{"arxiv_id":"2408.10889","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2408.10889","snapshot_observed_at":"2026-07-04T17:20:01.543672Z","title":"arXiv preprint arXiv:2408.10889 , year=","venue":null,"work_id":"0a2e7479-b102-463e-b57d-53a7b1095917","year":2024},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"cited_paper":"/paper/2408.10889","citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:ace7004959e8e377303b628f2d4a8c723b54a42e2a8870cf409683b65a6d7d19","observation_id":"526930c4-b250-439c-b488-0d23ea8bbf6a","resolution":{"observed_at":"2026-07-04T17:20:01.545254Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1609/icaps.v33i1.27206","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Optimality Certificates for Classical Planning","venue":"Proceedings of the International Conference on Automated Planning and Scheduling","work_id":"7afc8d8d-134a-4c25-aa49-c7d2fee404fe","year":2023},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:ebed2ee9c3fbeb0222a7bc21b2272c070f1a6be366f4ff121499b5daa8f937a2","observation_id":"f8b6ed79-ee73-4aec-8f6b-bced19b549df","resolution":{"observed_at":"2026-06-25T23:48:42.465351Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06-25T23:44:27.663072Z","title":"Paulson, and Markus Wenzel.Isabelle/HOL: A Proof Assistant for Higher-Order Logic","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:683feccb022c43456b6897426a0cce045fe7c80b32daa41f38f930008215999c","observation_id":"22812868-b6e6-47d8-945d-22c88fd94af4","resolution":{"observed_at":"2026-06-25T23:44:27.663072Z","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-06-25T23:44:27.663072Z","title":"Tenenbaum, and Brenden M","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:a5329b4f157a5b55fa799213ff3206920a68b289cfe7cf6e0f260e110dc5a685","observation_id":"b425f228-9705-466a-95ce-1b34648ec303","resolution":{"observed_at":"2026-06-25T23:44:27.663072Z","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-06-25T23:44:27.663072Z","title":"GPT-4o System Card.Technical Report, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:f7ad3efc5baa6afaf264aa5cf0214aa72f41e1e3b4f602bb4e7a01a5ff5289f2","observation_id":"eac1f76d-90b2-49f3-8d6f-7381e16c9f24","resolution":{"observed_at":"2026-06-25T23:44:27.663072Z","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-06-25T23:44:27.663072Z","title":"Parikh, Xuezhi Wang, Sebastian Gehrmann, Manaal Faruqui, Bhuwan Dhingra, Diyi Yang, and Dipanjan Das","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:a0658054a6027dd262b6c1541c66fa6d0ae560ffab7a4c2bb7e0bf246dafb5fd","observation_id":"ee1319fb-5c8b-45d7-a907-19fa343741a6","resolution":{"observed_at":"2026-06-25T23:44:27.663072Z","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-06-25T23:44:27.663072Z","title":"The Temporal Logic of Programs","venue":null,"work_id":null,"year":1977},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:d249270423088fa1ec522113a5fabdcd620738fb251ba6daf6a3327a92ae6773","observation_id":"41b23ce1-5bf3-43e0-91ab-1b1137709285","resolution":{"observed_at":"2026-06-25T23:44:27.663072Z","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-06-25T23:44:27.663072Z","title":"On the Synthesis of a Reactive Module","venue":null,"work_id":null,"year":1989},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:0f36d0a2fa2ba92d07960bae452e1e9582140d86f638f3bb4bb9fecb4f063adf","observation_id":"ea3686d2-2f0d-43a0-a4b1-194ee6df6744","resolution":{"observed_at":"2026-06-25T23:44:27.663072Z","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-06-25T23:44:27.663072Z","title":"Translation Validation","venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:7f3290fd0eaa010739cc588a3539e957c3534987020fcda63b600adeaa2b6598","observation_id":"825cb321-78f3-403c-acd7-f96cce596a94","resolution":{"observed_at":"2026-06-25T23:44:27.663072Z","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-06-25T23:44:27.663072Z","title":"Synchromesh: Reliable Code Generation from Pre-trained Language Models","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:533d9aef07ec9db0db726fcfa0f129dc84d52abe281862e6e0289734cf189252","observation_id":"5c5b2b23-b265-4555-8a64-d651b1e7ae8c","resolution":{"observed_at":"2026-06-25T23:44:27.663072Z","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-06-25T23:44:27.663072Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:c6f45bc9036fd61d39e3309272715bf38210392cac2e587b5b1b0f06871a9968","observation_id":"fd15cbfc-494a-4576-99a7-88c7f6a5342d","resolution":{"observed_at":"2026-06-25T23:44:27.663072Z","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.1007/978-3-031-37709-9","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Making IP = PSPACE practical: Efficient interactive protocols for BDD algorithms","venue":"Lecture notes in computer science","work_id":"08e1f031-b145-4ddd-ac8b-1a779dcea8ff","year":2023},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:b986c6e7c069b008fb80485d8e0e97b069ffaf31e5fd622349bd628daf83892a","observation_id":"ae8bbcc5-e360-42a6-8366-2f37c43aebeb","resolution":{"observed_at":"2026-06-25T23:48:42.449416Z","resolver_source":"doi","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-05-24T22:23:09.572995+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-24T22:23:09.572995+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1609/aaai.v38i9.28939","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Adaptive Reactive Synthesis for LTL and LTLf Modulo Theories","venue":"Proceedings of the AAAI Conference on Artificial Intelligence","work_id":"98d063e3-dd70-4095-aee9-516719eb70e7","year":2024},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:f2c6a426adfec66321b6efd29267822e841e46373710b4e31aeae3f3d696debe","observation_id":"66365dc6-dcee-4c60-96b0-bf8354e324da","resolution":{"observed_at":"2026-06-25T23:48:42.457413Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06-25T23:44:27.663072Z","title":"Shield Synthesis for LTL Modulo Theories","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:bcc2d7e02ceff30258fd4eb171fa474dc890a9e06747ba5cb8e47bb1fd2c7572","observation_id":"1af47596-702b-4b2e-b9df-1f6258240d46","resolution":{"observed_at":"2026-06-25T23:44:27.663072Z","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.1007/978-3-031-98685-7","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: Piskac, R., Rakamari´ c, Z","venue":"Lecture notes in computer science","work_id":"b1367256-d67d-4150-9fa9-0a441866868a","year":2025},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:bfeeadeef35f4a0c439a4fa289dd1785a892c7ea6fbd976a3f238d049e2b9963","observation_id":"35f6a9f0-72b2-4e7f-8a69-75dc65b27397","resolution":{"observed_at":"2026-06-25T23:48:42.462873Z","resolver_source":"doi","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-05-21T03:52:26.18567+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-21T03:52:26.18567+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.24963/kr.2025/83","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Explanations for Unrealizability of Infinite-State Safety Shields","venue":null,"work_id":"f4a861b9-68ba-4835-89aa-1d8d09fb8ae9","year":2025},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:548bd4368c24db309d8af1e019ba8db72c24f1889f9ddf62c66ea173c2786be5","observation_id":"6f1d7680-65c4-4478-ad1a-e5451d394c09","resolution":{"observed_at":"2026-06-25T23:48:42.447302Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"8264.347312","doi":"10.1145/3468264.3473122","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"GenSys: A Scalable Fixed-point Engine for Maximal Controller Synthesis over Infinite State Spaces","venue":null,"work_id":"b3bd44e8-6564-4952-8a41-deabac59ddaf","year":2021},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:18aea6866dbc0c44091eb384ac30873bede39fe0db3adc84432a1dffe31bcb01","observation_id":"be5cb607-f8ce-489e-b6ce-3ac7b97074f1","resolution":{"observed_at":"2026-06-25T23:48:42.454695Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-07-12T03:19:15.388232+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-12T03:19:15.388232+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-15T06:32:39.529945+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-06-25T23:44:27.663072Z","title":"Liu, and Christopher D","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:371e60ac410acb8b7cfd65c39706052f0e8e7c4adcafdd5505bbf4f057faf653","observation_id":"2a4b1772-d881-488d-8a6d-5acde08ef589","resolution":{"observed_at":"2026-06-25T23:44:27.663072Z","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-06-25T23:44:27.663072Z","title":"Selinger, Morton M","venue":null,"work_id":null,"year":1979},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":73,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:445e354a7ad4092296978e95400f20bf774d56a7293873bab82b6f279d578001","observation_id":"8cd4ee09-bb62-43af-9807-0a62cd226cbd","resolution":{"observed_at":"2026-06-25T23:44:27.663072Z","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-06-25T23:44:27.663072Z","title":"Improving Neural Machine Translation Models with Monolingual Data","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":74,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:4611f7484cc08b2f56c18eddfe437ed632290093d28e1d4628820748a9ea4f29","observation_id":"6075489a-e583-42bf-b2e5-fd6226163b21","resolution":{"observed_at":"2026-06-25T23:44:27.663072Z","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-06-25T23:44:27.663072Z","title":"Checking Safety Properties Using Induction and a SAT-Solver","venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":75,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:b71b02fa9fdbaea0c5e806f1b759e4047aa1406689b9a464482564b4e63e43d1","observation_id":"c94a7497-31ca-4bc8-a0f2-3841f4a2a943","resolution":{"observed_at":"2026-06-25T23:44:27.663072Z","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-06-25T23:44:27.663072Z","title":"Program Synthesis by Sketching","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":76,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:b2b354fb5bda66e52117f45aa425aa30b41ccf9b10dbeab59e8fdadbe6fe2cd6","observation_id":"b6b94f03-1a54-49c6-aac3-6de4616d9cbc","resolution":{"observed_at":"2026-06-25T23:44:27.663072Z","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-06-25T23:44:27.663072Z","title":"Gomez, Lukasz Kaiser, and Illia Polosukhin","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":77,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:5b98151544a3fa74dda50cf1e16a7a36a9db8a9f1848bde37956eea2c4a2e9b4","observation_id":"b3b7c5a8-f78c-4261-8500-d23d7f1f636f","resolution":{"observed_at":"2026-06-25T23:44:27.663072Z","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-06-25T23:44:27.663072Z","title":"Asking and Answering Questions to Evaluate the Factual Consistency of Summaries","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":78,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:e77935dbbf1c9d0834c00da815425c03df993131a25052bbb7ca066ab84deea2","observation_id":"0dab858f-a5f2-4645-be7a-d7c1238b7c97","resolution":{"observed_at":"2026-06-25T23:44:27.663072Z","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-06-25T23:44:27.663072Z","title":"Wolsey and George L","venue":null,"work_id":null,"year":1988},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":79,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:e26129fec15936f4980737e9dfb3b1bcad44324d7d9b54887f4af48c08e33f73","observation_id":"d1570fc5-f28d-499c-8348-add0dd5d3cad","resolution":{"observed_at":"2026-06-25T23:44:27.663072Z","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-06-25T23:44:27.663072Z","title":"Jiang, Wenda Li, Markus N","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":80,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:ad300ab2651a483b7b2622d7cb198eca4bd5d337456c2e24aaaa44da1343db62","observation_id":"6cb6a6e7-6b7a-4283-9b66-55087b015240","resolution":{"observed_at":"2026-06-25T23:44:27.663072Z","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-06-25T23:44:27.663072Z","title":"Weinberger, and Yoav Artzi","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":81,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:559f5d9da5b1b3c5bdb303746a7baed5d3422342e52244a6e5d96a1eb34d2e26","observation_id":"fe6a3183-27bf-4693-a09c-255aa82984dc","resolution":{"observed_at":"2026-06-25T23:44:27.663072Z","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-06-25T23:44:27.663072Z","title":"Xing, et al","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":82,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:80aedb540fdbd9378090c06e5a8da808ecd522855c34fe1ce9d1b97e9a32947d","observation_id":"8a0e57a0-ac77-49e5-9ae2-2b336e0f0f1c","resolution":{"observed_at":"2026-06-25T23:44:27.663072Z","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-06-25T23:44:27.663072Z","title":"kind\": \"reachability","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","version":1},"reference_index":83,"source":"pdf_text","source_observed_at":"2026-06-25T23:44:27.663072Z"},"links":{"citing_paper":"/paper/2606.24414"},"observation_digest":"sha256:0bbc30dc0c051a6a07dca4f2a8e8e328abd6b7629bae148a716d127c2b320b03","observation_id":"3694f72c-3113-4983-a421-67a0f6f40bca","resolution":{"observed_at":"2026-06-25T23:44:27.663072Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2606.24414","last_updated":"2026-06-23T10:51:54Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-08T08:17:54.414527Z","submitted_at":"2026-06-23T10:51:54Z","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates"},"reference_resolution":{"displayed":82,"state_counts":{"malformed_identifier":0,"metadata_mismatch":6,"parse_uncertain":0,"unresolved":67,"verified_exact":9,"verified_fuzzy":0},"total_outbound_references":82},"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-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"thesis":"As of 15 August 2026, this Paper Citation Record lists 82 of 82 outbound references and 0 inbound Pith citation observations for arXiv:2606.24414."}