{"as_of":"2026-08-19T15:33:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:6e821c6b7595eb78a06a689bdc0bf5a9549a038edb912a137af61b3cc839a1a5","coverage":[{"denominator":32,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":32,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-15T22:35:33.748147Z","state":"measured"},{"denominator":34,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":34,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-19T06:32:44.657259+00:00","state":"measured"},{"denominator":2,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":2,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-02T18:47:59.461742Z","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":[{"citation":{"cited_paper":{"arxiv_id":"2505.06958","last_updated":"2025-05-11T12:05:14Z","snapshot_observed_at":"2026-08-17T21:35:26.534948Z","submitted_at":"2025-05-11T12:05:14Z","title":"A Formally Verified Robustness Certifier for Neural Networks (Extended Version)","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.06958","snapshot_observed_at":"2026-07-15T14:07:56.936206Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2603.13334","last_updated":"2026-07-19T22:40:37Z","snapshot_observed_at":"2026-08-16T02:45:44.187877Z","submitted_at":"2026-03-06T06:13:24Z","title":"Lipschitz-Based Robustness Certification Under Floating-Point Execution","version":5},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-07-15T14:07:56.936206Z"},"links":{"cited_paper":"/paper/2505.06958","citing_paper":"/paper/2603.13334"},"observation_digest":"sha256:70a1ec2c78eb8c2824ec405c084a330de7d74e77702970980140f7bbfaa2035a","observation_id":"cfdb9c01-7a82-420c-9905-88d3dafddf7a","resolution":{"observed_at":"2026-07-15T14:07:56.936206Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2505.06958","last_updated":"2025-05-11T12:05:14Z","snapshot_observed_at":"2026-08-17T21:35:26.534948Z","submitted_at":"2025-05-11T12:05:14Z","title":"A Formally Verified Robustness Certifier for Neural Networks (Extended Version)","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.06958","snapshot_observed_at":"2026-08-02T18:47:59.461742Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2603.13334","last_updated":"2026-07-19T22:40:37Z","snapshot_observed_at":"2026-08-16T02:45:44.187877Z","submitted_at":"2026-03-06T06:13:24Z","title":"Lipschitz-Based Robustness Certification Under Floating-Point Execution","version":6},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-02T18:47:59.461742Z"},"links":{"cited_paper":"/paper/2505.06958","citing_paper":"/paper/2603.13334"},"observation_digest":"sha256:a97560c2bc3a370cdd515850fdd3f5b9b6acd1c53e8acaadd1444e8eb73af5d6","observation_id":"4ac7ebf0-b3b9-4620-bd09-79f994360109","resolution":{"observed_at":"2026-08-02T18:47:59.461742Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2505.06958/citation-record","integrity":"/paper/2505.06958/integrity","json":"/paper/2505.06958/citation-record.json","paper":"/paper/2505.06958"},"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-15T22:35:34.265061Z","title":"In: International Conference on Computer Aided Verification (CAV)","venue":null,"work_id":"fce3e731-d2ec-4fad-8855-436c90c802ca","year":2011},"citing_paper":{"arxiv_id":"2505.06958","last_updated":"2025-05-11T12:05:14Z","snapshot_observed_at":"2026-08-17T21:35:26.534948Z","submitted_at":"2025-05-11T12:05:14Z","title":"A Formally Verified Robustness Certifier for Neural Networks (Extended Version)","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-15T22:35:33.587772Z"},"links":{"citing_paper":"/paper/2505.06958"},"observation_digest":"sha256:7cde943712ab7ef9db08e0aff652fdb7ec4bf9a7754945e550c6d2706fd9f42a","observation_id":"7d87e334-c4f6-40ca-8ea4-ec4846a77370","resolution":{"observed_at":"2026-08-15T22:35:34.271549Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T22:35:34.249869Z","title":"In: International Conference on Machine Learning (ICML)","venue":null,"work_id":"5f28d8db-c864-49d5-9eff-60706faebdc5","year":2019},"citing_paper":{"arxiv_id":"2505.06958","last_updated":"2025-05-11T12:05:14Z","snapshot_observed_at":"2026-08-17T21:35:26.534948Z","submitted_at":"2025-05-11T12:05:14Z","title":"A Formally Verified Robustness Certifier for Neural Networks (Extended Version)","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-15T22:35:33.593784Z"},"links":{"citing_paper":"/paper/2505.06958"},"observation_digest":"sha256:9932850aa53cbae92f1749fa9b1b1a58a80895277096990e0014a20b209c27bd","observation_id":"86822e16-ffdc-4a54-b8d3-92db2492d626","resolution":{"observed_at":"2026-08-15T22:35:34.254673Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T22:35:34.235543Z","title":"In: Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (For- maliSE)","venue":null,"work_id":"eb19c021-1b22-4542-bc5b-a2d5ff7db8a7","year":2024},"citing_paper":{"arxiv_id":"2505.06958","last_updated":"2025-05-11T12:05:14Z","snapshot_observed_at":"2026-08-17T21:35:26.534948Z","submitted_at":"2025-05-11T12:05:14Z","title":"A Formally Verified Robustness Certifier for Neural Networks (Extended Version)","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-15T22:35:33.599285Z"},"links":{"citing_paper":"/paper/2505.06958"},"observation_digest":"sha256:9adfa26aacf28c5ca64f474ae4dc85870973575ba611b5d5d9a94dec66166f24","observation_id":"b27301d7-0770-47a9-9b41-4752fc8f0be8","resolution":{"observed_at":"2026-08-15T22:35:34.240365Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T22:35:34.221722Z","title":"In: International Conference on Computer Aided Verification (CAV)","venue":null,"work_id":"d8877ac9-be25-4062-b5ab-c046c90f6127","year":2018},"citing_paper":{"arxiv_id":"2505.06958","last_updated":"2025-05-11T12:05:14Z","snapshot_observed_at":"2026-08-17T21:35:26.534948Z","submitted_at":"2025-05-11T12:05:14Z","title":"A Formally Verified Robustness Certifier for Neural Networks (Extended Version)","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-15T22:35:33.605516Z"},"links":{"citing_paper":"/paper/2505.06958"},"observation_digest":"sha256:79558f4a0546e2dfd370ee043afbf3614c9a2ee49f87cc27608d78756c0e533d","observation_id":"fe5cd1c2-246d-4645-8577-e44e3ef5f7a0","resolution":{"observed_at":"2026-08-15T22:35:34.226073Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T22:35:34.207534Z","title":"In: International Conference on Machine Learning (ICML)","venue":null,"work_id":"5a513cfb-39c8-4eff-ad09-d1adaa93c20a","year":2019},"citing_paper":{"arxiv_id":"2505.06958","last_updated":"2025-05-11T12:05:14Z","snapshot_observed_at":"2026-08-17T21:35:26.534948Z","submitted_at":"2025-05-11T12:05:14Z","title":"A Formally Verified Robustness Certifier for Neural Networks (Extended Version)","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-15T22:35:33.613103Z"},"links":{"citing_paper":"/paper/2505.06958"},"observation_digest":"sha256:b76078b7249a6358b33142d6541fb4f0192f26da29ef54eeeac0e065b0ce22b0","observation_id":"148015a2-32a4-49d9-bb39-34846efde196","resolution":{"observed_at":"2026-08-15T22:35:34.212187Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T22:35:34.191573Z","title":"In: International Conference on Machine Learning (ICML)","venue":null,"work_id":"43720f67-bd58-4b56-b953-7e05a0aff48c","year":2023},"citing_paper":{"arxiv_id":"2505.06958","last_updated":"2025-05-11T12:05:14Z","snapshot_observed_at":"2026-08-17T21:35:26.534948Z","submitted_at":"2025-05-11T12:05:14Z","title":"A Formally Verified Robustness Certifier for Neural Networks (Extended Version)","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-15T22:35:33.618240Z"},"links":{"citing_paper":"/paper/2505.06958"},"observation_digest":"sha256:81e2b5e735e0f996e63ddd1e0a6f20d10ff94d2b3e67ca331360e78d1e97ed32","observation_id":"e77847c2-abb5-4598-849c-4bee452c8fe6","resolution":{"observed_at":"2026-08-15T22:35:34.196032Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T22:35:34.176594Z","title":"In: Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition (CVPR)","venue":null,"work_id":"00bcf34c-43e5-4f05-9ab4-919d564ccab4","year":2018},"citing_paper":{"arxiv_id":"2505.06958","last_updated":"2025-05-11T12:05:14Z","snapshot_observed_at":"2026-08-17T21:35:26.534948Z","submitted_at":"2025-05-11T12:05:14Z","title":"A Formally Verified Robustness Certifier for Neural Networks (Extended Version)","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-15T22:35:33.624049Z"},"links":{"citing_paper":"/paper/2505.06958"},"observation_digest":"sha256:d1a07916056ffb8a788d47b59ec3dd0190aa4ea224598d361e8b9d9bb23d7163","observation_id":"053eef12-2508-4fe0-8f23-e853da5cc28f","resolution":{"observed_at":"2026-08-15T22:35:34.181280Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T22:35:34.160917Z","title":"In: International Workshop on Numerical Software Verification","venue":null,"work_id":"0d8c7e3f-683c-4af0-8559-34e4d4afe3c2","year":null},"citing_paper":{"arxiv_id":"2505.06958","last_updated":"2025-05-11T12:05:14Z","snapshot_observed_at":"2026-08-17T21:35:26.534948Z","submitted_at":"2025-05-11T12:05:14Z","title":"A Formally Verified Robustness Certifier for Neural Networks (Extended Version)","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-15T22:35:33.628806Z"},"links":{"citing_paper":"/paper/2505.06958"},"observation_digest":"sha256:4cf2e7963ffbeb8655775090cde1ead87924b08d747581a745957b5baf1c0ff0","observation_id":"756b111c-d275-4b79-811b-f71b70c697b8","resolution":{"observed_at":"2026-08-15T22:35:34.166176Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T22:35:34.145598Z","title":"In: International Conference on Learning Representations (ICLR)","venue":null,"work_id":"3b875384-bee9-4b42-97eb-69a574496ab9","year":2021},"citing_paper":{"arxiv_id":"2505.06958","last_updated":"2025-05-11T12:05:14Z","snapshot_observed_at":"2026-08-17T21:35:26.534948Z","submitted_at":"2025-05-11T12:05:14Z","title":"A Formally Verified Robustness Certifier for Neural Networks (Extended Version)","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-15T22:35:33.633417Z"},"links":{"citing_paper":"/paper/2505.06958"},"observation_digest":"sha256:8704d1e3634157730677de26f6786870dfaff8fb4480d5f79988d67e77e6c387","observation_id":"e4059944-b8a8-4eb9-af03-ba122141fcb2","resolution":{"observed_at":"2026-08-15T22:35:34.150454Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T22:35:34.130114Z","title":null,"venue":null,"work_id":"7251a5ee-d6f8-4488-ab8e-0bea50c630a0","year":2021},"citing_paper":{"arxiv_id":"2505.06958","last_updated":"2025-05-11T12:05:14Z","snapshot_observed_at":"2026-08-17T21:35:26.534948Z","submitted_at":"2025-05-11T12:05:14Z","title":"A Formally Verified Robustness Certifier for Neural Networks (Extended Version)","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-15T22:35:33.638214Z"},"links":{"citing_paper":"/paper/2505.06958"},"observation_digest":"sha256:aa7ad5278b210e651a58c45db02b72db0ace26a4f964a360df95aeee5f3ab137","observation_id":"d94f5c45-ea61-4a38-9c4f-24cb8ee1ac5c","resolution":{"observed_at":"2026-08-15T22:35:34.134901Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T22:35:34.112686Z","title":"In: International Conference on Learning Representations (ICLR) (2015)","venue":null,"work_id":"b99140ec-e36a-45ac-8736-d1f0ade53eba","year":2015},"citing_paper":{"arxiv_id":"2505.06958","last_updated":"2025-05-11T12:05:14Z","snapshot_observed_at":"2026-08-17T21:35:26.534948Z","submitted_at":"2025-05-11T12:05:14Z","title":"A Formally Verified Robustness Certifier for Neural Networks (Extended Version)","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-15T22:35:33.642888Z"},"links":{"citing_paper":"/paper/2505.06958"},"observation_digest":"sha256:ba918261cc3e75e4af546259d255029ecd9ae6320c3ab450d0fe97a1ce5a9986","observation_id":"7084a848-d8ce-43cf-9e8c-215d068177c9","resolution":{"observed_at":"2026-08-15T22:35:34.117891Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T22:35:33.647519Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2505.06958","last_updated":"2025-05-11T12:05:14Z","snapshot_observed_at":"2026-08-17T21:35:26.534948Z","submitted_at":"2025-05-11T12:05:14Z","title":"A Formally Verified Robustness Certifier for Neural Networks (Extended Version)","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-15T22:35:33.647519Z"},"links":{"citing_paper":"/paper/2505.06958"},"observation_digest":"sha256:a23162979165361db195864876d09fec28f2bee29c0a5b6168cbc29a22856523","observation_id":"fd3ade2f-22f5-4012-9132-97783cd4243a","resolution":{"observed_at":"2026-08-15T22:35:33.647519Z","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-15T22:35:34.095825Z","title":"In: International Conference on Learning Representations (ICLR) (2024)","venue":null,"work_id":"55821724-db25-4d6f-91f6-b9c96dd7cffa","year":2024},"citing_paper":{"arxiv_id":"2505.06958","last_updated":"2025-05-11T12:05:14Z","snapshot_observed_at":"2026-08-17T21:35:26.534948Z","submitted_at":"2025-05-11T12:05:14Z","title":"A Formally Verified Robustness Certifier for Neural Networks (Extended Version)","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-15T22:35:33.652222Z"},"links":{"citing_paper":"/paper/2505.06958"},"observation_digest":"sha256:93dfa6b1fa53c88d9f37f56b4f58a2ebb095457166ba2d11935549e573df4a2a","observation_id":"ced49dec-c01f-4b45-b86b-5c4975a99595","resolution":{"observed_at":"2026-08-15T22:35:34.100569Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T22:35:34.080466Z","title":"In: Proceedings of the 2024 Workshop on Artificial Intelligence and Security","venue":null,"work_id":"a4a0a06c-b711-4301-a445-a3167ab10b2c","year":2024},"citing_paper":{"arxiv_id":"2505.06958","last_updated":"2025-05-11T12:05:14Z","snapshot_observed_at":"2026-08-17T21:35:26.534948Z","submitted_at":"2025-05-11T12:05:14Z","title":"A Formally Verified Robustness Certifier for Neural Networks (Extended Version)","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-15T22:35:33.657090Z"},"links":{"citing_paper":"/paper/2505.06958"},"observation_digest":"sha256:0e16de75864c29ff5be6c3195eaa8997da427203997de41ce64c33ec59b549d2","observation_id":"f334dad3-309d-4d94-80f8-15c097ea3088","resolution":{"observed_at":"2026-08-15T22:35:34.085574Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T22:35:34.063263Z","title":"Pro- ceedings of the ACM on Programming Languages8(OOPSLA1), 1010–1039 (2024)","venue":null,"work_id":"8f4d9f7c-3280-41d7-ba74-61829c53a8b0","year":2024},"citing_paper":{"arxiv_id":"2505.06958","last_updated":"2025-05-11T12:05:14Z","snapshot_observed_at":"2026-08-17T21:35:26.534948Z","submitted_at":"2025-05-11T12:05:14Z","title":"A Formally Verified Robustness Certifier for Neural Networks (Extended Version)","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-15T22:35:33.661736Z"},"links":{"citing_paper":"/paper/2505.06958"},"observation_digest":"sha256:219cc5c13b06cc815e6797a4dd31a5d09a8e3c7223c7b0ec5a3a427a0dc969cd","observation_id":"e64137f7-100f-4065-9a94-d42c5f83deeb","resolution":{"observed_at":"2026-08-15T22:35:34.068240Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T22:35:34.048186Z","title":"In: International Conference on Computer Aided Verification (CAV)","venue":null,"work_id":"b3e85ba6-6176-4b0d-a70d-af4427f303c7","year":2017},"citing_paper":{"arxiv_id":"2505.06958","last_updated":"2025-05-11T12:05:14Z","snapshot_observed_at":"2026-08-17T21:35:26.534948Z","submitted_at":"2025-05-11T12:05:14Z","title":"A Formally Verified Robustness Certifier for Neural Networks (Extended Version)","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-15T22:35:33.666456Z"},"links":{"citing_paper":"/paper/2505.06958"},"observation_digest":"sha256:b70b03aaa2a7b8421bae1b833f8f3a3d0f775bc792c5862826f0d11a15be5bc3","observation_id":"82a991a4-62b9-429a-ad21-83054624836c","resolution":{"observed_at":"2026-08-15T22:35:34.052907Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T22:35:34.033037Z","title":"ACM Trans- actions on Computer Systems (TOCS)32(1), 1–70 (2014)","venue":null,"work_id":"497743dc-09ae-4b68-89a4-e7a584d7f1dc","year":2014},"citing_paper":{"arxiv_id":"2505.06958","last_updated":"2025-05-11T12:05:14Z","snapshot_observed_at":"2026-08-17T21:35:26.534948Z","submitted_at":"2025-05-11T12:05:14Z","title":"A Formally Verified Robustness Certifier for Neural Networks (Extended Version)","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-15T22:35:33.671216Z"},"links":{"citing_paper":"/paper/2505.06958"},"observation_digest":"sha256:69c038a9aef4665c1c47e849b69f73a6a490d749902fc2815c4bc1457dfaecf1","observation_id":"b05490bb-2904-40a4-bb3a-d4bcb561f397","resolution":{"observed_at":"2026-08-15T22:35:34.038155Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T22:35:33.676120Z","title":null,"venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2505.06958","last_updated":"2025-05-11T12:05:14Z","snapshot_observed_at":"2026-08-17T21:35:26.534948Z","submitted_at":"2025-05-11T12:05:14Z","title":"A Formally Verified Robustness Certifier for Neural Networks (Extended Version)","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-15T22:35:33.676120Z"},"links":{"citing_paper":"/paper/2505.06958"},"observation_digest":"sha256:926d0050b03d4afaa24d19a54feb31e0e73452f745901fe4a3f0b0c3ee6cd0c7","observation_id":"3d6bf72b-7bf3-49c7-94fc-a68826372e47","resolution":{"observed_at":"2026-08-15T22:35:33.676120Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T22:35:33.680628Z","title":"Proceedings of the IEEE86(11), 2278–2324 (1998)","venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"2505.06958","last_updated":"2025-05-11T12:05:14Z","snapshot_observed_at":"2026-08-17T21:35:26.534948Z","submitted_at":"2025-05-11T12:05:14Z","title":"A Formally Verified Robustness Certifier for Neural Networks (Extended Version)","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-15T22:35:33.680628Z"},"links":{"citing_paper":"/paper/2505.06958"},"observation_digest":"sha256:3659c79bb4d641bdee7960ac99b134ccba319f5ece2f5f538cc3065573dd6a27","observation_id":"5aca69c7-e2dc-409d-bf50-6a9d9c137024","resolution":{"observed_at":"2026-08-15T22:35:33.680628Z","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-15T22:35:33.996014Z","title":"In: IEEE Symposium on Security and Privacy","venue":null,"work_id":"5ee296e1-63d9-47b5-aa13-3299daea0fdd","year":2019},"citing_paper":{"arxiv_id":"2505.06958","last_updated":"2025-05-11T12:05:14Z","snapshot_observed_at":"2026-08-17T21:35:26.534948Z","submitted_at":"2025-05-11T12:05:14Z","title":"A Formally Verified Robustness Certifier for Neural Networks (Extended Version)","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-15T22:35:33.685092Z"},"links":{"citing_paper":"/paper/2505.06958"},"observation_digest":"sha256:7bda6e5e06ba6d8bb5d9a4595b3789edc37c27019578f88c337d37b9379033bb","observation_id":"df468a2d-1d60-499c-b806-4406389f3d3a","resolution":{"observed_at":"2026-08-15T22:35:34.002477Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T22:35:33.979958Z","title":"Advances in Neural Information Processing Systems (NeurIPS)33, 16891–16902 (2020)","venue":null,"work_id":"49300254-05f7-42c1-9013-f019b34022f1","year":2020},"citing_paper":{"arxiv_id":"2505.06958","last_updated":"2025-05-11T12:05:14Z","snapshot_observed_at":"2026-08-17T21:35:26.534948Z","submitted_at":"2025-05-11T12:05:14Z","title":"A Formally Verified Robustness Certifier for Neural Networks (Extended Version)","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-15T22:35:33.689563Z"},"links":{"citing_paper":"/paper/2505.06958"},"observation_digest":"sha256:bce87a7960defcb055819e246d748e098575b364dea62a849c14c522d177e43f","observation_id":"d857c6a7-f21f-4854-8160-717242fbd85b","resolution":{"observed_at":"2026-08-15T22:35:33.985161Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T22:35:33.963875Z","title":"In: International Conference on Logic for Programming, Artificial Intelligence and Reasoning","venue":null,"work_id":"43f7aba1-750f-433e-a39b-bda20b953261","year":2010},"citing_paper":{"arxiv_id":"2505.06958","last_updated":"2025-05-11T12:05:14Z","snapshot_observed_at":"2026-08-17T21:35:26.534948Z","submitted_at":"2025-05-11T12:05:14Z","title":"A Formally Verified Robustness Certifier for Neural Networks (Extended Version)","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-15T22:35:33.695408Z"},"links":{"citing_paper":"/paper/2505.06958"},"observation_digest":"sha256:48737e74cff6801dfa7ad4183768c35cab7d98226b7f8aafd054daa5692488be","observation_id":"cbaa2230-60cb-492e-bacf-d7d46783debe","resolution":{"observed_at":"2026-08-15T22:35:33.968622Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T22:35:33.947315Z","title":"In: International Conference on Machine Learning (ICML)","venue":null,"work_id":"c76eae2b-bcdd-42ac-b855-00130f77c4c4","year":2021},"citing_paper":{"arxiv_id":"2505.06958","last_updated":"2025-05-11T12:05:14Z","snapshot_observed_at":"2026-08-17T21:35:26.534948Z","submitted_at":"2025-05-11T12:05:14Z","title":"A Formally Verified Robustness Certifier for Neural Networks (Extended Version)","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-15T22:35:33.699998Z"},"links":{"citing_paper":"/paper/2505.06958"},"observation_digest":"sha256:520f724364211e8e64f0630c6348c4af0114a136954de7816d99da686fb7cb40","observation_id":"2afba2fc-08b0-46c9-a85b-c69a8294efb1","resolution":{"observed_at":"2026-08-15T22:35:33.952121Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T22:35:33.704830Z","title":"In: International Conference on Learning Representations (ICLR) (2018)","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2505.06958","last_updated":"2025-05-11T12:05:14Z","snapshot_observed_at":"2026-08-17T21:35:26.534948Z","submitted_at":"2025-05-11T12:05:14Z","title":"A Formally Verified Robustness Certifier for Neural Networks (Extended Version)","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-15T22:35:33.704830Z"},"links":{"citing_paper":"/paper/2505.06958"},"observation_digest":"sha256:0a7db9021e9a47341c578b6b2738e7a1829270055bf2afe9ca163f8519fa2542","observation_id":"ae6e44c7-bc93-4590-b567-5cde91af10ac","resolution":{"observed_at":"2026-08-15T22:35:33.704830Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.09361","last_updated":"2023-10-13T19:08:21Z","snapshot_observed_at":"2026-08-16T14:52:14.743251Z","submitted_at":"2023-10-13T19:08:21Z","title":"Is Certifying $\\ell_p$ Robustness Still Worthwhile?","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.09361","snapshot_observed_at":"2026-08-15T22:35:33.709730Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.06958","last_updated":"2025-05-11T12:05:14Z","snapshot_observed_at":"2026-08-17T21:35:26.534948Z","submitted_at":"2025-05-11T12:05:14Z","title":"A Formally Verified Robustness Certifier for Neural Networks (Extended Version)","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-15T22:35:33.709730Z"},"links":{"cited_paper":"/paper/2310.09361","citing_paper":"/paper/2505.06958"},"observation_digest":"sha256:b85b46e8d63fdd33f4ef8800d60a830c01bd392bcadac9450f579ad75b03b29a","observation_id":"9aef8c3b-5219-46c2-922d-a1790643f88b","resolution":{"observed_at":"2026-08-15T22:35:33.709730Z","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-15T22:35:33.920360Z","title":"IEEE Transactions on Dependable and Secure Computing (2022)","venue":null,"work_id":"b1cc7d82-13dc-4fa6-bb49-f75c996ca0f9","year":2022},"citing_paper":{"arxiv_id":"2505.06958","last_updated":"2025-05-11T12:05:14Z","snapshot_observed_at":"2026-08-17T21:35:26.534948Z","submitted_at":"2025-05-11T12:05:14Z","title":"A Formally Verified Robustness Certifier for Neural Networks (Extended Version)","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-15T22:35:33.714866Z"},"links":{"citing_paper":"/paper/2505.06958"},"observation_digest":"sha256:e5317ed6f02cbec9faef22bc0dec532c1b0ca97fbc5cb6a060e7c13f50618f60","observation_id":"fd82a324-c402-4495-830e-e91f565c0895","resolution":{"observed_at":"2026-08-15T22:35:33.927045Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T22:35:33.904260Z","title":"In: IEEE Symposium on Security and Privacy","venue":null,"work_id":"690972dc-6d45-4edb-b95f-48bc65c1721f","year":2013},"citing_paper":{"arxiv_id":"2505.06958","last_updated":"2025-05-11T12:05:14Z","snapshot_observed_at":"2026-08-17T21:35:26.534948Z","submitted_at":"2025-05-11T12:05:14Z","title":"A Formally Verified Robustness Certifier for Neural Networks (Extended Version)","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-15T22:35:33.719581Z"},"links":{"citing_paper":"/paper/2505.06958"},"observation_digest":"sha256:2d95fc9815c54a57130f40be8ff69e9925fb2ea4259ac03563f2a911522fe6b8","observation_id":"f2d38a77-3ab1-4724-a2fe-fabbd77f2ae7","resolution":{"observed_at":"2026-08-15T22:35:33.909985Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1807.01069","last_updated":"2019-11-15T15:05:57Z","snapshot_observed_at":"2026-08-14T18:56:17.124955Z","submitted_at":"2018-07-03T10:25:26Z","title":"Adversarial Robustness Toolbox v1.0.0","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1807.01069","snapshot_observed_at":"2026-08-15T22:35:33.725871Z","title":"arXiv preprint arXiv:1807.01069 (2018)","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2505.06958","last_updated":"2025-05-11T12:05:14Z","snapshot_observed_at":"2026-08-17T21:35:26.534948Z","submitted_at":"2025-05-11T12:05:14Z","title":"A Formally Verified Robustness Certifier for Neural Networks (Extended Version)","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-15T22:35:33.725871Z"},"links":{"cited_paper":"/paper/1807.01069","citing_paper":"/paper/2505.06958"},"observation_digest":"sha256:aebaddd16683d98039894a1564b5a1542abb6fe87191354c6674cb61bdeff7e3","observation_id":"5be281d7-7f6c-4ba6-ac28-61de3f0152bc","resolution":{"observed_at":"2026-08-15T22:35:33.725871Z","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-15T22:35:33.887286Z","title":null,"venue":null,"work_id":"646069e9-54cf-4994-8194-90137e43c246","year":2015},"citing_paper":{"arxiv_id":"2505.06958","last_updated":"2025-05-11T12:05:14Z","snapshot_observed_at":"2026-08-17T21:35:26.534948Z","submitted_at":"2025-05-11T12:05:14Z","title":"A Formally Verified Robustness Certifier for Neural Networks (Extended Version)","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-15T22:35:33.731338Z"},"links":{"citing_paper":"/paper/2505.06958"},"observation_digest":"sha256:3687fdbf800cfd395ad422104cfb6ed40ec544c158c27f2323378a5a6aef481f","observation_id":"525d8511-41ba-430a-8b1c-50a2a8e49f03","resolution":{"observed_at":"2026-08-15T22:35:33.892939Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T22:35:33.867485Z","title":"Proceedings of the ACM on Programming Languages3(POPL), 1–30 (2019)","venue":null,"work_id":"837996b2-526c-4c36-b618-2fd86d72ffca","year":2019},"citing_paper":{"arxiv_id":"2505.06958","last_updated":"2025-05-11T12:05:14Z","snapshot_observed_at":"2026-08-17T21:35:26.534948Z","submitted_at":"2025-05-11T12:05:14Z","title":"A Formally Verified Robustness Certifier for Neural Networks (Extended Version)","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-15T22:35:33.736863Z"},"links":{"citing_paper":"/paper/2505.06958"},"observation_digest":"sha256:e2a4406817bb5b83f0aff7cbe10f23e0b453eeca182441a513ee2658f40f745b","observation_id":"9dc0f760-1dba-418e-87c7-1992d5a67bfe","resolution":{"observed_at":"2026-08-15T22:35:33.875422Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1312.6199","last_updated":"2014-02-19T16:33:14Z","snapshot_observed_at":"2026-08-15T16:41:15.505782Z","submitted_at":"2013-12-21T03:36:08Z","title":"Intriguing properties of neural networks","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1312.6199","snapshot_observed_at":"2026-08-15T22:35:33.742397Z","title":"arXiv preprint arXiv:1312.6199 (2013)","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2505.06958","last_updated":"2025-05-11T12:05:14Z","snapshot_observed_at":"2026-08-17T21:35:26.534948Z","submitted_at":"2025-05-11T12:05:14Z","title":"A Formally Verified Robustness Certifier for Neural Networks (Extended Version)","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-15T22:35:33.742397Z"},"links":{"cited_paper":"/paper/1312.6199","citing_paper":"/paper/2505.06958"},"observation_digest":"sha256:7b16503bac3d860c75d506a7f551b5e8d66e50d33ed8d2362482645d0a5b7d25","observation_id":"454da1f3-3e9f-45c0-ac51-499fdbbd6a82","resolution":{"observed_at":"2026-08-15T22:35:33.742397Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1708.07747","last_updated":"2017-09-15T21:29:49Z","snapshot_observed_at":"2026-08-13T15:13:33.081929Z","submitted_at":"2017-08-25T14:01:29Z","title":"Fashion-MNIST: a Novel Image Dataset for Benchmarking Machine Learning Algorithms","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1708.07747","snapshot_observed_at":"2026-08-15T22:35:33.748147Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2505.06958","last_updated":"2025-05-11T12:05:14Z","snapshot_observed_at":"2026-08-17T21:35:26.534948Z","submitted_at":"2025-05-11T12:05:14Z","title":"A Formally Verified Robustness Certifier for Neural Networks (Extended Version)","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-15T22:35:33.748147Z"},"links":{"cited_paper":"/paper/1708.07747","citing_paper":"/paper/2505.06958"},"observation_digest":"sha256:29383a1a83f088bfa7d380dcb16df2ec06f66d6fd10cfa98166a6ee56c46c20b","observation_id":"8fd26699-a11d-4005-a94a-624d77e93d1a","resolution":{"observed_at":"2026-08-15T22:35:33.748147Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2505.06958","last_updated":"2025-05-11T12:05:14Z","latest_version":1,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-17T21:35:26.534948Z","submitted_at":"2025-05-11T12:05:14Z","title":"A Formally Verified Robustness Certifier for Neural Networks (Extended Version)"},"reference_resolution":{"displayed":32,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":10,"verified_exact":0,"verified_fuzzy":22},"total_outbound_references":32},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"thesis":"As of 19 August 2026, this Paper Citation Record lists 32 of 32 outbound references and 2 inbound Pith citation observations for arXiv:2505.06958."}