{"as_of":"2026-08-11T01:55:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:ae99547f28e3d6a45ee16ae8be1c85b9c7be2b7471360edcc6bab5a2251b337f","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-10T06:31:04.303077+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/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-10T20:03:34.966430Z","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:e43548d6efac522a0d1178666301bf33e2e0c03772f043921da280cb45108b44","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-10T20:03:34.966430Z","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:7a3c46eb41955bb48414bfbfc25e4256b7dd07e253770fb5bf9286140f32f288","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-10T20:03:34.966430Z","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:15a1179a6cb35394a79f024462fa78ce48fad795540d9445d278fe8b69d4fa07","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-10T20:03:34.966430Z","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:087bf77a13005c5b4d72997cf99d0aac121bd07197e2493947b6752605f09b25","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-10T20:03:34.966430Z","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:e2a73c6852b99289fa282eda16f3290df2279ae8b8e2dd984aa80ec0cd438462","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-10T20:03:34.966430Z","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:193ba17819f386cbf1f4afe29abef7f1a83438731d27ee754a7fb2465cb3b100","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-10T20:03:34.966430Z","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:075b58aed3c3107105fba595b7b24bf7d8f1100652d553c3b124c846c1372868","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-10T20:03:34.966430Z","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:fa463c7b4cba06cb7da8eb38e45ef86c60a5e1f019cd1151734aebaeeebc273f","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-10T20:03:34.966430Z","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:7b9e46b7dec1db5a0cfaadf98a31dfa59f03380e6500197abb2b0c42851c1db8","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-10T20:03:34.966430Z","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:f66a4016aac49d161dc5b5b6c6a8ee975704dc1a06f696d7919b2d059a82db04","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-10T20:03:34.966430Z","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:42425c6aa52fc38bcc41b35b6ecdd8ce45fafdd426a01f3e932ab2aeef1629f4","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-10T20:03:34.966430Z","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:d9a95284e783dc7a13b5c42a61b09e35569e137db65ab08e37330f5c04acbb35","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-10T20:03:34.966430Z","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:6c92e09b46301a178a9908f1006c815e150d1555747b5dc28160125a7f031f60","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-10T20:03:34.966430Z","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:72643184be98a296b361c8e92178bdd7eb8d871bfe80604c8d253034d02ec9f9","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-10T20:03:34.966430Z","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:d747c0008026fbfe55594404ce008c9b77a1d325441e63c9cd1fe35c7ba30ba9","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-10T20:03:34.966430Z","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:e0f9a241f011dc0695868611ec644282bb8761f98472245223699fcd5e0a75fb","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-10T20:03:34.966430Z","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:c5a60d857b54b71df1c8d35454ba36d9997682885e9e3de6c47eb02becba5acd","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-10T20:03:34.966430Z","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:fb134d59f17c9defb5ede8384a9b62a35c9da7200ce88d7a0d79a8e56c6d55a7","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-10T20:03:34.966430Z","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:9799c704adc7ef0f579e586fbfba9425db72216c5f7c99939c6a4afaabd79d98","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-10T20:03:34.966430Z","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:62fe1afb4d766879efc42094a2806f719d1a23cdf05652dcb07e0b0dcd839b7e","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-10T20:03:34.966430Z","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:63bf39f715c419b84c52e067d3d69b5c821fcf910695bcb514849d8b61cd4a3d","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-10T20:03:34.966430Z","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:9b2f3f9ac4ed31945d31117c59b8d6d528c0e2a831dbc19b8d02c17c0d399e72","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-10T20:03:34.966430Z","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:3202179b33cbf9f4ceda7d9b79f5814a46b325515b135ba6384d3f01ccd40514","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-10T20:03:34.966430Z","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:16068f865fc9382b576e5ff01f471d17f0ad2b008492be58bb8c00b4b9075bfa","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-10T20:03:34.966430Z","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:bfe6760debfbbbfd4d6cd22d27963b34676130c6a1cc205fc0401d4f986e74a8","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-10T20:03:34.966430Z","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:8148b070d4ee11312bfb72fd79c14a25adfd2cfe2d69f97e17168cfba06c5dce","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-10T20:03:34.966430Z","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:ff1a2ef661759aa217a806c75ff98468daab585194d43f216d07bd309f54a16e","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-10T20:03:34.966430Z","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:750a28fe087c958fe6813703cda3b2fd5355d942970ff7f53ac851e6d064b135","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-10T20:03:34.966430Z","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:a96ef25f06793a89b8ced25c266b011fbd98de0d5a01ab1792b9629550fc91a4","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2403.19332","last_updated":"2024-03-28T11:46:55Z","snapshot_observed_at":"2026-08-10T09:56:09.465152Z","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-10T20:03:34.966430Z","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:4ae6cf89ddb454df957d8c8a8ff8dfaf0808c211f2923e333ec8a4e94eecb677","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-10T20:03:34.966430Z","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:984b43e1c80fd11c0b2a9e4e257d846249a500915b81450521ba91233520e24a","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-10T20:03:34.966430Z","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:dd30e9e9caaf9b998257fb39e026652dbbc74b61e4399ee99edd7934c4ea2e3d","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-10T20:03:34.966430Z","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:45d7b04540b802f42d7ae49757fc3a8048cedb1c00a94855d7e0acc731ee6999","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-10T20:03:34.966430Z","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:b59a3c9bbc121cf6927a7095947dd080f6c84619ae603740ce7b2cbec6656954","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-10T20:03:34.966430Z","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:07e034dedc36de7676bd57b3a62a6e70b2c965ffcbeb7021a9b9a1bb2329b773","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-10T20:03:34.966430Z","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:5f4baf754170eb809415eb011b13c41c73c6df316232c19c51677bafb84d23bb","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2507.11987","last_updated":"2025-07-16T07:37:23Z","latest_version":1,"primary_category":"cs.SC","snapshot_observed_at":"2026-08-10T20:03:34.966430Z","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-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"As of 11 August 2026, this Paper Citation Record lists 36 of 36 outbound references and 0 inbound Pith citation observations for arXiv:2507.11987."}