{"as_of":"2026-08-08T16:52:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:3ec8a9a4677af38c6193745f80098eb7d2131ef351ae47eeb30a35e02e4435ee","coverage":[{"denominator":36,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":36,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T17:04:55.423861Z","state":"measured"},{"denominator":36,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":36,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2507.11987/citation-record","integrity":"/paper/2507.11987/integrity","json":"/paper/2507.11987/citation-record.json","paper":"/paper/2507.11987"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:05:01.781289Z","title":"In: Proceedings of the 24th international conference on hybrid systems: computation and control","venue":null,"work_id":"3c916e46-ed89-400c-aa22-e0a0d8c21385","year":2021},"citing_paper":{"arxiv_id":"2507.11987","last_updated":"2025-07-16T07:37:23Z","snapshot_observed_at":"2026-08-06T16:54:16.915200Z","submitted_at":"2025-07-16T07:37:23Z","title":"Formal Verification of Neural Certificates Done Dynamically","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:53.046101Z"},"links":{"citing_paper":"/paper/2507.11987"},"observation_digest":"sha256:ab05e203c6b17028288659876f2fe13a02b3eeae0dda5c6eb799be5989d484fe","observation_id":"73ed7e20-330e-4382-b606-c00b47c5878c","resolution":{"observed_at":"2026-08-06T17:05:01.956038Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:05:01.521305Z","title":"Heliyon 4(11) (2018)","venue":null,"work_id":"5b99bd97-e29f-4286-b4fd-aa462598fc70","year":2018},"citing_paper":{"arxiv_id":"2507.11987","last_updated":"2025-07-16T07:37:23Z","snapshot_observed_at":"2026-08-06T16:54:16.915200Z","submitted_at":"2025-07-16T07:37:23Z","title":"Formal Verification of Neural Certificates Done Dynamically","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:53.101687Z"},"links":{"citing_paper":"/paper/2507.11987"},"observation_digest":"sha256:89f535ce01f89a8c054940d2b2ec8a7d49f22a4d3aeb57994d1d609d8c50a38f","observation_id":"be5d07ca-00b2-4300-87cb-0d11be5f5f60","resolution":{"observed_at":"2026-08-06T17:05:01.665068Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:05:01.253055Z","title":"In: 53rd IEEE conference on decision and control","venue":null,"work_id":"59c9095f-67d6-44ce-8cd5-287efafb9bd1","year":2014},"citing_paper":{"arxiv_id":"2507.11987","last_updated":"2025-07-16T07:37:23Z","snapshot_observed_at":"2026-08-06T16:54:16.915200Z","submitted_at":"2025-07-16T07:37:23Z","title":"Formal Verification of Neural Certificates Done Dynamically","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:53.139949Z"},"links":{"citing_paper":"/paper/2507.11987"},"observation_digest":"sha256:dc33def45d26016e6e80fe38bfa86ec38b3c512c62f1b8c53af661e7254beee3","observation_id":"cd46d646-1d2e-445e-b058-11b18804cf28","resolution":{"observed_at":"2026-08-06T17:05:01.407265Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:05:01.012389Z","title":"Journal of medical systems 42, 1–13 (2018)","venue":null,"work_id":"53e64941-9b90-4e14-9edf-5782a46b3294","year":2018},"citing_paper":{"arxiv_id":"2507.11987","last_updated":"2025-07-16T07:37:23Z","snapshot_observed_at":"2026-08-06T16:54:16.915200Z","submitted_at":"2025-07-16T07:37:23Z","title":"Formal Verification of Neural Certificates Done Dynamically","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:53.264517Z"},"links":{"citing_paper":"/paper/2507.11987"},"observation_digest":"sha256:c866600950db79e623f562a9589b38ace798f3d66f72a9dee204cf2b4d0393cc","observation_id":"a53a7f76-65ee-417e-9061-bcbc2a69c0db","resolution":{"observed_at":"2026-08-06T17:05:01.123413Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:04:53.341536Z","title":"In: International conference on tools and algo- rithms for the construction and analysis of systems","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2507.11987","last_updated":"2025-07-16T07:37:23Z","snapshot_observed_at":"2026-08-06T16:54:16.915200Z","submitted_at":"2025-07-16T07:37:23Z","title":"Formal Verification of Neural Certificates Done Dynamically","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:53.341536Z"},"links":{"citing_paper":"/paper/2507.11987"},"observation_digest":"sha256:91e7bf0b6076349053067cfaf6988f04c40aaa3c522bb32cb499e0f36531c753","observation_id":"cec49067-4b28-40c5-82d7-55a7045647a1","resolution":{"observed_at":"2026-08-06T17:04:53.341536Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:05:00.808259Z","title":"Advances in neural information processing systems32 (2019)","venue":null,"work_id":"0d308597-6571-4e72-8ce1-0a7f0f704665","year":2019},"citing_paper":{"arxiv_id":"2507.11987","last_updated":"2025-07-16T07:37:23Z","snapshot_observed_at":"2026-08-06T16:54:16.915200Z","submitted_at":"2025-07-16T07:37:23Z","title":"Formal Verification of Neural Certificates Done Dynamically","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:53.414455Z"},"links":{"citing_paper":"/paper/2507.11987"},"observation_digest":"sha256:105d4376bca818e649a90aa32697343d52ec3758dc3b7838c49a6c9256d59d47","observation_id":"042fe998-3c50-427f-840a-72c4c71dfe3a","resolution":{"observed_at":"2026-08-06T17:05:00.928363Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:05:00.534750Z","title":"In: TACAS (1)","venue":null,"work_id":"74d6956f-3546-4119-8555-99bf3653fd61","year":2023},"citing_paper":{"arxiv_id":"2507.11987","last_updated":"2025-07-16T07:37:23Z","snapshot_observed_at":"2026-08-06T16:54:16.915200Z","submitted_at":"2025-07-16T07:37:23Z","title":"Formal Verification of Neural Certificates Done Dynamically","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:53.448614Z"},"links":{"citing_paper":"/paper/2507.11987"},"observation_digest":"sha256:59a8525f318c883779e461bc372cfeef91cc990177e9bee6832334a7435161bd","observation_id":"abfeb650-a5a9-40cd-8cf5-6b9bac542f25","resolution":{"observed_at":"2026-08-06T17:05:00.641760Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:05:00.244886Z","title":"In: 28th IEEE International Real-Time Systems Symposium (RTSS 2007)","venue":null,"work_id":"9da3248d-ebff-4b1c-baf0-d95aee0aac66","year":2007},"citing_paper":{"arxiv_id":"2507.11987","last_updated":"2025-07-16T07:37:23Z","snapshot_observed_at":"2026-08-06T16:54:16.915200Z","submitted_at":"2025-07-16T07:37:23Z","title":"Formal Verification of Neural Certificates Done Dynamically","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:53.511738Z"},"links":{"citing_paper":"/paper/2507.11987"},"observation_digest":"sha256:fd06b00685a7e64705b5eb876f815c26f8f3be17951de5fd72216efc20b96046","observation_id":"c0f8188f-c9bd-4792-ad1e-41a538f1632c","resolution":{"observed_at":"2026-08-06T17:05:00.388452Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:05:00.055580Z","title":"IEEE Trans","venue":null,"work_id":"59f3c205-965d-4975-80e0-37bdccae9284","year":2023},"citing_paper":{"arxiv_id":"2507.11987","last_updated":"2025-07-16T07:37:23Z","snapshot_observed_at":"2026-08-06T16:54:16.915200Z","submitted_at":"2025-07-16T07:37:23Z","title":"Formal Verification of Neural Certificates Done Dynamically","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:53.596053Z"},"links":{"citing_paper":"/paper/2507.11987"},"observation_digest":"sha256:4591e6155a4d2cbd32d42306d92bbfaf994de813cf1bc5d92d05a2b30fb3c194","observation_id":"97d905ba-8306-4507-9c25-ce6df8f1e7f3","resolution":{"observed_at":"2026-08-06T17:05:00.146737Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:04:59.894244Z","title":"In: Conference on Robot Learning","venue":null,"work_id":"27c356e5-adeb-43a5-b52e-c50c0483e0d6","year":2022},"citing_paper":{"arxiv_id":"2507.11987","last_updated":"2025-07-16T07:37:23Z","snapshot_observed_at":"2026-08-06T16:54:16.915200Z","submitted_at":"2025-07-16T07:37:23Z","title":"Formal Verification of Neural Certificates Done Dynamically","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:53.642236Z"},"links":{"citing_paper":"/paper/2507.11987"},"observation_digest":"sha256:46c5e12e97e2e85e948cf034181adb005ceae339f7d90b8081bb8843a1c23bb5","observation_id":"d8f80eb1-934f-4207-b7f6-ad0c8ffbd0c4","resolution":{"observed_at":"2026-08-06T17:04:59.979265Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:04:59.755405Z","title":"In: 2019 49th An- nual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)","venue":null,"work_id":"ffa9b4e7-7798-4f9d-a844-d1f41ef99de4","year":2019},"citing_paper":{"arxiv_id":"2507.11987","last_updated":"2025-07-16T07:37:23Z","snapshot_observed_at":"2026-08-06T16:54:16.915200Z","submitted_at":"2025-07-16T07:37:23Z","title":"Formal Verification of Neural Certificates Done Dynamically","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:53.714250Z"},"links":{"citing_paper":"/paper/2507.11987"},"observation_digest":"sha256:a3a408d3606facbaf2e31206e1649959d24ec2aa12895bfba9a61c2a39339dcf","observation_id":"46f2e4b0-b519-4e21-bffb-29da8a7f04c7","resolution":{"observed_at":"2026-08-06T17:04:59.826816Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:04:59.550189Z","title":"In: The Thirty-eighth Annual Conference on Neural Information Processing Systems (2024)","venue":null,"work_id":"604b8e79-678d-430a-a761-b3c374591469","year":2024},"citing_paper":{"arxiv_id":"2507.11987","last_updated":"2025-07-16T07:37:23Z","snapshot_observed_at":"2026-08-06T16:54:16.915200Z","submitted_at":"2025-07-16T07:37:23Z","title":"Formal Verification of Neural Certificates Done Dynamically","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:53.783806Z"},"links":{"citing_paper":"/paper/2507.11987"},"observation_digest":"sha256:a2416feffaf77bbac6538c622d19bdda91204b6db85e8f0d1cc7c06626a747f0","observation_id":"ced40222-af7c-4271-af93-29ab71f64923","resolution":{"observed_at":"2026-08-06T17:04:59.642360Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:04:53.820816Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.11987","last_updated":"2025-07-16T07:37:23Z","snapshot_observed_at":"2026-08-06T16:54:16.915200Z","submitted_at":"2025-07-16T07:37:23Z","title":"Formal Verification of Neural Certificates Done Dynamically","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:53.820816Z"},"links":{"citing_paper":"/paper/2507.11987"},"observation_digest":"sha256:e928afba91610cf88aa5b8777c9b374e0add3d86f5fc02651d7ddd6ec075993e","observation_id":"218b681b-aa73-4e68-87fe-4e0436c00352","resolution":{"observed_at":"2026-08-06T17:04:53.820816Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:04:59.252931Z","title":"In: L4DC","venue":null,"work_id":"a0860758-bb8e-4f6d-ba74-371264340d08","year":2025},"citing_paper":{"arxiv_id":"2507.11987","last_updated":"2025-07-16T07:37:23Z","snapshot_observed_at":"2026-08-06T16:54:16.915200Z","submitted_at":"2025-07-16T07:37:23Z","title":"Formal Verification of Neural Certificates Done Dynamically","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:53.894231Z"},"links":{"citing_paper":"/paper/2507.11987"},"observation_digest":"sha256:bda8fbb0507d5363054b9b3b363fb87bb11eaf5ceb6719bde6b8192f8da33091","observation_id":"fe8548c9-86fa-4314-a339-12ec3c1f8523","resolution":{"observed_at":"2026-08-06T17:04:59.392515Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:04:59.072148Z","title":"In: 2016 IEEE 55th Conference on Decision and Control (CDC)","venue":null,"work_id":"cf9fbd8a-c6e6-41ec-acb1-067caa9cc67a","year":2016},"citing_paper":{"arxiv_id":"2507.11987","last_updated":"2025-07-16T07:37:23Z","snapshot_observed_at":"2026-08-06T16:54:16.915200Z","submitted_at":"2025-07-16T07:37:23Z","title":"Formal Verification of Neural Certificates Done Dynamically","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:53.955231Z"},"links":{"citing_paper":"/paper/2507.11987"},"observation_digest":"sha256:95eb959af8b857af9c7bb7b49f256b1350810c192759d5c40628dfe7943f6103","observation_id":"fd5f71df-02e4-4519-826f-650288026b9c","resolution":{"observed_at":"2026-08-06T17:04:59.141966Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:04:58.900964Z","title":"IEEE transactions on neural networks and learning systems29(6), 2042–2062 (2017)","venue":null,"work_id":"579f5429-d675-4c06-aac2-b069c531fc6a","year":2017},"citing_paper":{"arxiv_id":"2507.11987","last_updated":"2025-07-16T07:37:23Z","snapshot_observed_at":"2026-08-06T16:54:16.915200Z","submitted_at":"2025-07-16T07:37:23Z","title":"Formal Verification of Neural Certificates Done Dynamically","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:54.006576Z"},"links":{"citing_paper":"/paper/2507.11987"},"observation_digest":"sha256:3217e4267068b1252b75f8edb15854d1f20b3c65a1632b24a184cacf50f9358d","observation_id":"298cb608-9672-4315-8323-2c9b16e3f8cd","resolution":{"observed_at":"2026-08-06T17:04:59.007018Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:04:58.681145Z","title":"In: International Symposium on Model Checking Software","venue":null,"work_id":"f7e75544-b59a-493d-976d-12429ff8d767","year":2023},"citing_paper":{"arxiv_id":"2507.11987","last_updated":"2025-07-16T07:37:23Z","snapshot_observed_at":"2026-08-06T16:54:16.915200Z","submitted_at":"2025-07-16T07:37:23Z","title":"Formal Verification of Neural Certificates Done Dynamically","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:54.109037Z"},"links":{"citing_paper":"/paper/2507.11987"},"observation_digest":"sha256:c3bbf49ec5038bdb696d748ae7994f50aead6e7763e246c477e1f55f14fc6611","observation_id":"37838952-48f7-4059-a176-8911e46eeae2","resolution":{"observed_at":"2026-08-06T17:04:58.796653Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:04:58.425881Z","title":"In: # PLACE- HOLDER_PARENT_METADATA_VALUE#","venue":null,"work_id":"e0e3653c-41da-46d4-86fc-9ef4d296b486","year":2024},"citing_paper":{"arxiv_id":"2507.11987","last_updated":"2025-07-16T07:37:23Z","snapshot_observed_at":"2026-08-06T16:54:16.915200Z","submitted_at":"2025-07-16T07:37:23Z","title":"Formal Verification of Neural Certificates Done Dynamically","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:54.180061Z"},"links":{"citing_paper":"/paper/2507.11987"},"observation_digest":"sha256:2cd065ae24399d81a82319cd0437da251e2e7b1478f4b432b0b435892abf233e","observation_id":"d4516a8b-70ca-4b79-91b3-0d470897ebb4","resolution":{"observed_at":"2026-08-06T17:04:58.547616Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:04:58.118812Z","title":"In: NASA formal methods symposium","venue":null,"work_id":"8b18258d-903d-4b71-b908-ea59b8abd853","year":2022},"citing_paper":{"arxiv_id":"2507.11987","last_updated":"2025-07-16T07:37:23Z","snapshot_observed_at":"2026-08-06T16:54:16.915200Z","submitted_at":"2025-07-16T07:37:23Z","title":"Formal Verification of Neural Certificates Done Dynamically","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:54.254548Z"},"links":{"citing_paper":"/paper/2507.11987"},"observation_digest":"sha256:37bccc53372de2cd2c4cd66242b7c5fb859bed4837526e2d4fb8f27e3a0a5ac7","observation_id":"6375820c-f90c-4e32-9524-091b7ff8f70d","resolution":{"observed_at":"2026-08-06T17:04:58.231176Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:04:57.960556Z","title":"In: International conference on tools and algorithms for the construction and analysis of systems","venue":null,"work_id":"32e12bfc-8431-4e3e-9b7e-d8ea177b2f90","year":2021},"citing_paper":{"arxiv_id":"2507.11987","last_updated":"2025-07-16T07:37:23Z","snapshot_observed_at":"2026-08-06T16:54:16.915200Z","submitted_at":"2025-07-16T07:37:23Z","title":"Formal Verification of Neural Certificates Done Dynamically","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:54.287612Z"},"links":{"citing_paper":"/paper/2507.11987"},"observation_digest":"sha256:cffdb18ce1e772f1e19eb75ed90282dbdfe433b960b7a2b781e3a7d4f80ca69b","observation_id":"8f772f31-23f4-42cc-ab12-0c645a495dc6","resolution":{"observed_at":"2026-08-06T17:04:58.042337Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:04:57.720146Z","title":"Formal Methods in System Design51, 62–86 (2017)","venue":null,"work_id":"33c85516-3263-47e0-ac84-c045707f4b65","year":2017},"citing_paper":{"arxiv_id":"2507.11987","last_updated":"2025-07-16T07:37:23Z","snapshot_observed_at":"2026-08-06T16:54:16.915200Z","submitted_at":"2025-07-16T07:37:23Z","title":"Formal Verification of Neural Certificates Done Dynamically","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:54.377995Z"},"links":{"citing_paper":"/paper/2507.11987"},"observation_digest":"sha256:3d4cb842ee4033df0c4f75727a1e4b1b25d100959127dca33ff6138d9f89961b","observation_id":"e83baee0-bd18-4147-bbe3-22ea5cf15034","resolution":{"observed_at":"2026-08-06T17:04:57.850111Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:04:57.511862Z","title":"IEEE Trans","venue":null,"work_id":"7bd58c84-dc33-4a5f-8eff-8f99213446fd","year":2007},"citing_paper":{"arxiv_id":"2507.11987","last_updated":"2025-07-16T07:37:23Z","snapshot_observed_at":"2026-08-06T16:54:16.915200Z","submitted_at":"2025-07-16T07:37:23Z","title":"Formal Verification of Neural Certificates Done Dynamically","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:54.427202Z"},"links":{"citing_paper":"/paper/2507.11987"},"observation_digest":"sha256:e7cdae8965f9d81b8e7861d20838af057e44f7b2e8b672e1563c2baf420e7e99","observation_id":"63edd87f-00cf-4296-be7b-fe733fdfeedd","resolution":{"observed_at":"2026-08-06T17:04:57.615931Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:04:57.305802Z","title":"Barron Associates, Inc","venue":null,"work_id":"123295e2-350d-4452-b4b1-e4ae5c6e63c1","year":2015},"citing_paper":{"arxiv_id":"2507.11987","last_updated":"2025-07-16T07:37:23Z","snapshot_observed_at":"2026-08-06T16:54:16.915200Z","submitted_at":"2025-07-16T07:37:23Z","title":"Formal Verification of Neural Certificates Done Dynamically","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:54.476376Z"},"links":{"citing_paper":"/paper/2507.11987"},"observation_digest":"sha256:a4173ab16350cecaa9b6ad557c5e72fe4545a431afa8f9f79c57520d6273e21e","observation_id":"8545a841-ba36-4b69-98b9-560864ecd124","resolution":{"observed_at":"2026-08-06T17:04:57.407698Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:04:57.128641Z","title":"In: Proceedings of the 22nd IEEE/ACM international conference on Automated software engineering","venue":null,"work_id":"79211445-4a6b-4486-8c07-c2a35004749e","year":2007},"citing_paper":{"arxiv_id":"2507.11987","last_updated":"2025-07-16T07:37:23Z","snapshot_observed_at":"2026-08-06T16:54:16.915200Z","submitted_at":"2025-07-16T07:37:23Z","title":"Formal Verification of Neural Certificates Done Dynamically","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:54.575748Z"},"links":{"citing_paper":"/paper/2507.11987"},"observation_digest":"sha256:63174596ed6066e073456763204c240ab7c3f8b4d279700529019625cc444223","observation_id":"bad99bb9-42ef-446a-aa88-38761c0d6fed","resolution":{"observed_at":"2026-08-06T17:04:57.214513Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:04:56.925790Z","title":"In: Haifa Verification Confer- ence","venue":null,"work_id":"0deb46f2-7840-43f5-904d-c62794a8e84c","year":2009},"citing_paper":{"arxiv_id":"2507.11987","last_updated":"2025-07-16T07:37:23Z","snapshot_observed_at":"2026-08-06T16:54:16.915200Z","submitted_at":"2025-07-16T07:37:23Z","title":"Formal Verification of Neural Certificates Done Dynamically","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:54.615484Z"},"links":{"citing_paper":"/paper/2507.11987"},"observation_digest":"sha256:e66570ec2dde9d3fb0d0bdea5aa8098f5b1c661cf89c8ec5c574f3f19f2a5227","observation_id":"26bc1d61-3060-4871-b14b-d3f257a9b793","resolution":{"observed_at":"2026-08-06T17:04:57.060494Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:04:56.816685Z","title":"In: ESEC/SIGSOFT FSE","venue":null,"work_id":"29bef31a-796c-4fd4-b938-bd6c41924014","year":2005},"citing_paper":{"arxiv_id":"2507.11987","last_updated":"2025-07-16T07:37:23Z","snapshot_observed_at":"2026-08-06T16:54:16.915200Z","submitted_at":"2025-07-16T07:37:23Z","title":"Formal Verification of Neural Certificates Done Dynamically","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:54.720342Z"},"links":{"citing_paper":"/paper/2507.11987"},"observation_digest":"sha256:ee5f71c5525551732beac40e02b9dd2d833c937a28337a40d16b32ad13505683","observation_id":"9a0888d3-5897-4102-b170-5e29410c9aba","resolution":{"observed_at":"2026-08-06T17:04:56.856145Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:04:56.681737Z","title":"ACC (IEEE Cat","venue":null,"work_id":"03864415-efe9-417c-aebe-40e209e09e3d","year":1998},"citing_paper":{"arxiv_id":"2507.11987","last_updated":"2025-07-16T07:37:23Z","snapshot_observed_at":"2026-08-06T16:54:16.915200Z","submitted_at":"2025-07-16T07:37:23Z","title":"Formal Verification of Neural Certificates Done Dynamically","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:54.774162Z"},"links":{"citing_paper":"/paper/2507.11987"},"observation_digest":"sha256:9dafc96dabf35ca8a1060de49c6353651ac4167054373fab0667da2c9ca6be85","observation_id":"c4767995-c811-4d0f-abe7-125e1d6e48bf","resolution":{"observed_at":"2026-08-06T17:04:56.745314Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:04:56.576384Z","title":null,"venue":null,"work_id":"c291906b-38bc-4ff9-876a-62939389c8c7","year":1995},"citing_paper":{"arxiv_id":"2507.11987","last_updated":"2025-07-16T07:37:23Z","snapshot_observed_at":"2026-08-06T16:54:16.915200Z","submitted_at":"2025-07-16T07:37:23Z","title":"Formal Verification of Neural Certificates Done Dynamically","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:54.856883Z"},"links":{"citing_paper":"/paper/2507.11987"},"observation_digest":"sha256:9777f9efa1425421c43e91dab86963f85e438c3798ead762b46f8d6b7fc889be","observation_id":"7b017106-7714-4447-8d1f-68a0691afde8","resolution":{"observed_at":"2026-08-06T17:04:56.633045Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:04:56.449023Z","title":"In: conference on Robot Learning","venue":null,"work_id":"ff71777d-b8c9-4251-b08c-4ddece3052b6","year":2021},"citing_paper":{"arxiv_id":"2507.11987","last_updated":"2025-07-16T07:37:23Z","snapshot_observed_at":"2026-08-06T16:54:16.915200Z","submitted_at":"2025-07-16T07:37:23Z","title":"Formal Verification of Neural Certificates Done Dynamically","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:54.937908Z"},"links":{"citing_paper":"/paper/2507.11987"},"observation_digest":"sha256:14589f7e30cacd6fbad23810458e52cb4a278a093cb421b8f55e51ee33239b3f","observation_id":"89b10c37-af21-4900-995b-1fcfff654ab1","resolution":{"observed_at":"2026-08-06T17:04:56.504236Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2403.19332","last_updated":"2024-03-28T11:46:55Z","snapshot_observed_at":"2026-07-06T17:52:30.328601Z","submitted_at":"2024-03-28T11:46:55Z","title":"Learning a Formally Verified Control Barrier Function in Stochastic Environment","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2403.19332","snapshot_observed_at":"2026-08-06T17:04:54.992321Z","title":"arXiv preprint arXiv:2403.19332 (2024)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.11987","last_updated":"2025-07-16T07:37:23Z","snapshot_observed_at":"2026-08-06T16:54:16.915200Z","submitted_at":"2025-07-16T07:37:23Z","title":"Formal Verification of Neural Certificates Done Dynamically","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:54.992321Z"},"links":{"cited_paper":"/paper/2403.19332","citing_paper":"/paper/2507.11987"},"observation_digest":"sha256:59a13efc7fca0a0c46bb4602271ede450490cb4d993392728b31e6b75bccd7d7","observation_id":"16106853-d925-49da-b5da-e67d1d96c214","resolution":{"observed_at":"2026-08-06T17:04:54.992321Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:04:56.266232Z","title":"IEEE Robotics and Automation Letters8(11), 7106–7113 (2023)","venue":null,"work_id":"7eeab4f4-09fa-403c-b561-060f03f352c3","year":2023},"citing_paper":{"arxiv_id":"2507.11987","last_updated":"2025-07-16T07:37:23Z","snapshot_observed_at":"2026-08-06T16:54:16.915200Z","submitted_at":"2025-07-16T07:37:23Z","title":"Formal Verification of Neural Certificates Done Dynamically","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:55.082869Z"},"links":{"citing_paper":"/paper/2507.11987"},"observation_digest":"sha256:5abc0876bea7d420d39c1ceb80035ef39bc95448d9c00f6d22b035f31d2157d2","observation_id":"f06edd89-39b8-42cf-be18-52c28a709470","resolution":{"observed_at":"2026-08-06T17:04:56.365633Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:04:56.097834Z","title":"In: Proceedings of the AAAI Conference on Artificial Intelligence","venue":null,"work_id":"aefc255d-bb6d-4e45-bf8d-8b5722fb0d2e","year":2025},"citing_paper":{"arxiv_id":"2507.11987","last_updated":"2025-07-16T07:37:23Z","snapshot_observed_at":"2026-08-06T16:54:16.915200Z","submitted_at":"2025-07-16T07:37:23Z","title":"Formal Verification of Neural Certificates Done Dynamically","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:55.126331Z"},"links":{"citing_paper":"/paper/2507.11987"},"observation_digest":"sha256:c7cb9d8aa4cc0635a0484cc62d1e1473f1ad29fd6793ba64ff8ea97923267193","observation_id":"cb104212-9f15-4c66-95bf-f64b97cd7ed0","resolution":{"observed_at":"2026-08-06T17:04:56.167228Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:04:55.939060Z","title":"In: NeurIPS (2024)","venue":null,"work_id":"40333f7b-19d4-4d6d-9b01-6964d1e45352","year":2024},"citing_paper":{"arxiv_id":"2507.11987","last_updated":"2025-07-16T07:37:23Z","snapshot_observed_at":"2026-08-06T16:54:16.915200Z","submitted_at":"2025-07-16T07:37:23Z","title":"Formal Verification of Neural Certificates Done Dynamically","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:55.203350Z"},"links":{"citing_paper":"/paper/2507.11987"},"observation_digest":"sha256:ad44458ec6596b01510c36ad699ad23f3dca78f3917f258b8ca6e0aeb579e54d","observation_id":"8becbb96-1cd8-4a86-b002-97a2c2c55cf6","resolution":{"observed_at":"2026-08-06T17:04:56.029805Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:04:55.767815Z","title":"Advances in neural information processing systems36, 5685–5705 (2023)","venue":null,"work_id":"15482c5a-9011-4e75-b7e8-dae40cc2a755","year":2023},"citing_paper":{"arxiv_id":"2507.11987","last_updated":"2025-07-16T07:37:23Z","snapshot_observed_at":"2026-08-06T16:54:16.915200Z","submitted_at":"2025-07-16T07:37:23Z","title":"Formal Verification of Neural Certificates Done Dynamically","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:55.269689Z"},"links":{"citing_paper":"/paper/2507.11987"},"observation_digest":"sha256:c13de9cfa938a8b3c73f9262e56e7adcb3455d19ee987fe1be786cc64d8e36ba","observation_id":"9bdd56dd-8077-49c8-801b-955d6c232cc6","resolution":{"observed_at":"2026-08-06T17:04:55.851556Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:04:55.615352Z","title":"In: Proceedings of the 23rd international conference on hybrid systems: Computation and control","venue":null,"work_id":"15195775-7bd9-4570-8708-7438e6688be5","year":2020},"citing_paper":{"arxiv_id":"2507.11987","last_updated":"2025-07-16T07:37:23Z","snapshot_observed_at":"2026-08-06T16:54:16.915200Z","submitted_at":"2025-07-16T07:37:23Z","title":"Formal Verification of Neural Certificates Done Dynamically","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:55.323279Z"},"links":{"citing_paper":"/paper/2507.11987"},"observation_digest":"sha256:e5890ceef68f8884b00154b637ebdf7aa00a50ab83bdbf2aceae324346fb51fd","observation_id":"42a9ff4d-6eee-4778-93da-2c57ab3a6072","resolution":{"observed_at":"2026-08-06T17:04:55.692353Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:04:55.513627Z","title":"In: Proceedings of the 25th ACM International Conference on Hybrid Systems: Computation and Control","venue":null,"work_id":"e661d4f5-69de-4786-8423-248c6529110e","year":2022},"citing_paper":{"arxiv_id":"2507.11987","last_updated":"2025-07-16T07:37:23Z","snapshot_observed_at":"2026-08-06T16:54:16.915200Z","submitted_at":"2025-07-16T07:37:23Z","title":"Formal Verification of Neural Certificates Done Dynamically","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:55.423861Z"},"links":{"citing_paper":"/paper/2507.11987"},"observation_digest":"sha256:6f215d35aa938f997b285faa21b16fc6c7db19387292ddb7dbeb64c0d51f9acf","observation_id":"c656f5b8-6c2f-4e3a-b377-21518e865beb","resolution":{"observed_at":"2026-08-06T17:04:55.544756Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2507.11987","last_updated":"2025-07-16T07:37:23Z","latest_version":1,"primary_category":"cs.SC","snapshot_observed_at":"2026-08-06T16:54:16.915200Z","submitted_at":"2025-07-16T07:37:23Z","title":"Formal Verification of Neural Certificates Done Dynamically"},"reference_resolution":{"displayed":36,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":4,"verified_exact":0,"verified_fuzzy":32},"total_outbound_references":36},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 36 of 36 outbound references and 0 inbound Pith citation observations for arXiv:2507.11987."}