{"as_of":"2026-08-06T13:19:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:fb0c8eb80f4f4887806ebdc26fec76b0367a01dff076778e059ee90a8f203e60","coverage":[{"denominator":24,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":24,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-07T22:02:21.493977Z","state":"measured"},{"denominator":24,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":24,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-06T06:34:29.942622+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/2607.05251/citation-record","integrity":"/paper/2607.05251/integrity","json":"/paper/2607.05251/citation-record.json","paper":"/paper/2607.05251"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T22:04:07.546983Z","title":"Function se- cret sharing","venue":null,"work_id":"de79bb7d-0518-4dee-add3-22f9501a0e2f","year":2015},"citing_paper":{"arxiv_id":"2607.05251","last_updated":"2026-07-06T15:59:17Z","snapshot_observed_at":"2026-08-06T02:20:30.023675Z","submitted_at":"2026-07-06T15:59:17Z","title":"Privacy-Preserving Robustness Verification for Neural Networks","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-07-07T22:02:21.493977Z"},"links":{"citing_paper":"/paper/2607.05251"},"observation_digest":"sha256:89b10f615013ddf8a0edd87781d56fe59541f255bfe1f47702506bdb72f19d65","observation_id":"23c5c5d2-6e19-4fd5-b1a4-75616dfb8111","resolution":{"observed_at":"2026-07-07T22:04:07.549612Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2307.10266","last_updated":"2024-01-19T23:51:05Z","snapshot_observed_at":"2026-08-06T02:20:29.006019Z","submitted_at":"2023-07-17T18:49:46Z","title":"A DPLL(T) Framework for Verifying Deep Neural Networks","version":3},"cited_work":{"arxiv_id":"2307.10266","doi":null,"metadata_source":"pith","pith_arxiv_id":"2307.10266","snapshot_observed_at":"2026-07-07T22:04:07.464941Z","title":"A dpll(t) framework for verifying deep neural networks","venue":"cs.LG","work_id":"d980f7fe-f0f3-4f6a-8a67-52a2f6fb9b93","year":2023},"citing_paper":{"arxiv_id":"2607.05251","last_updated":"2026-07-06T15:59:17Z","snapshot_observed_at":"2026-08-06T02:20:30.023675Z","submitted_at":"2026-07-06T15:59:17Z","title":"Privacy-Preserving Robustness Verification for Neural Networks","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-07-07T22:02:21.493977Z"},"links":{"cited_paper":"/paper/2307.10266","citing_paper":"/paper/2607.05251"},"observation_digest":"sha256:c4115e908b87405764e41c060fb11b57180d85237539d574f66572cfd33aa022","observation_id":"09d9749e-2592-447e-8731-cd3da644d5db","resolution":{"observed_at":"2026-07-07T22:04:07.488336Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-07-07T22:04:07.562551Z","title":null,"venue":null,"work_id":"61552688-3883-418e-9624-71891ac5dd45","year":2025},"citing_paper":{"arxiv_id":"2607.05251","last_updated":"2026-07-06T15:59:17Z","snapshot_observed_at":"2026-08-06T02:20:30.023675Z","submitted_at":"2026-07-06T15:59:17Z","title":"Privacy-Preserving Robustness Verification for Neural Networks","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-07-07T22:02:21.493977Z"},"links":{"citing_paper":"/paper/2607.05251"},"observation_digest":"sha256:18aa4657c4c3e1ef8859eaea95d9c603fee4446ceb3f5e3e45943f60172d4b3e","observation_id":"b3e6de22-f09b-4e5a-800a-864fe8e22f10","resolution":{"observed_at":"2026-07-07T22:04:07.566060Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-07-07T22:04:07.572396Z","title":"Goldreich, S","venue":null,"work_id":"4f318f70-b617-434c-a16c-d77ceb4f1612","year":1987},"citing_paper":{"arxiv_id":"2607.05251","last_updated":"2026-07-06T15:59:17Z","snapshot_observed_at":"2026-08-06T02:20:30.023675Z","submitted_at":"2026-07-06T15:59:17Z","title":"Privacy-Preserving Robustness Verification for Neural Networks","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-07-07T22:02:21.493977Z"},"links":{"citing_paper":"/paper/2607.05251"},"observation_digest":"sha256:b3c284fc364a4a269a60a6ad307d5c80c82930dc4a682663016d6efbb7ae4c35","observation_id":"e13043d0-ddc6-4e86-95c9-9d2768d97ed0","resolution":{"observed_at":"2026-07-07T22:04:07.574566Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-07-07T22:04:07.550780Z","title":"Goodfellow, Jonathon Shlens, and Christian Szegedy","venue":null,"work_id":"e3733a47-fd9d-4295-b5f2-aa7e5a30ef43","year":2015},"citing_paper":{"arxiv_id":"2607.05251","last_updated":"2026-07-06T15:59:17Z","snapshot_observed_at":"2026-08-06T02:20:30.023675Z","submitted_at":"2026-07-06T15:59:17Z","title":"Privacy-Preserving Robustness Verification for Neural Networks","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-07-07T22:02:21.493977Z"},"links":{"citing_paper":"/paper/2607.05251"},"observation_digest":"sha256:0008f170a7bb43b2576cbd55855d453e69fc89814893c6cdae4f3c361a882893","observation_id":"52e027d1-164e-4cba-a762-0f9b24086ea2","resolution":{"observed_at":"2026-07-07T22:04:07.553080Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-07-07T22:04:07.554084Z","title":"SHARK: actively secure in- ference using function secret sharing","venue":null,"work_id":"fb1d2cdf-82f4-4c8d-b33a-a400f112a7ad","year":2025},"citing_paper":{"arxiv_id":"2607.05251","last_updated":"2026-07-06T15:59:17Z","snapshot_observed_at":"2026-08-06T02:20:30.023675Z","submitted_at":"2026-07-06T15:59:17Z","title":"Privacy-Preserving Robustness Verification for Neural Networks","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-07-07T22:02:21.493977Z"},"links":{"citing_paper":"/paper/2607.05251"},"observation_digest":"sha256:281f3437dfcd7a92f8715adfe3452077a72d119ab27bc694d53039521dca4e7a","observation_id":"13c4828b-710b-4cdd-90fb-19caab5c0e09","resolution":{"observed_at":"2026-07-07T22:04:07.557695Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-07-07T22:04:07.533458Z","title":"Dietterich","venue":null,"work_id":"8bd09ba4-31ed-4c53-98a6-de06db23ea94","year":2019},"citing_paper":{"arxiv_id":"2607.05251","last_updated":"2026-07-06T15:59:17Z","snapshot_observed_at":"2026-08-06T02:20:30.023675Z","submitted_at":"2026-07-06T15:59:17Z","title":"Privacy-Preserving Robustness Verification for Neural Networks","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-07-07T22:02:21.493977Z"},"links":{"citing_paper":"/paper/2607.05251"},"observation_digest":"sha256:bf5a88c64569369910bc3499bcae44bab6f8d13c253fe931e32d8b50b7337530","observation_id":"472ce925-accc-4164-b1a4-66397dc71bda","resolution":{"observed_at":"2026-07-07T22:04:07.536695Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-07-07T22:04:07.592837Z","title":"Dill, Kyle Julian, and Mykel J","venue":null,"work_id":"778aa78f-1416-42cb-b993-471318f81fbd","year":2017},"citing_paper":{"arxiv_id":"2607.05251","last_updated":"2026-07-06T15:59:17Z","snapshot_observed_at":"2026-08-06T02:20:30.023675Z","submitted_at":"2026-07-06T15:59:17Z","title":"Privacy-Preserving Robustness Verification for Neural Networks","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-07-07T22:02:21.493977Z"},"links":{"citing_paper":"/paper/2607.05251"},"observation_digest":"sha256:0ef4c84f780ba5c5989f36c2d84e20f49bab7d8ca4532860ffd7d96a95a606af","observation_id":"d5c2d9e3-0268-4e81-89d5-2c64b0d888a0","resolution":{"observed_at":"2026-07-07T22:04:07.595162Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-07-07T22:04:07.580132Z","title":"Huang, Duligur Ibeling, Kyle Julian, Christopher Lazarus, Rachel Lim, Parth Shah, Shan- tanu Thakoor, Haoze Wu, Aleksandar Zeljic, David L","venue":null,"work_id":"c4a601da-e823-4cfe-abc8-efe9f4df7ad6","year":2019},"citing_paper":{"arxiv_id":"2607.05251","last_updated":"2026-07-06T15:59:17Z","snapshot_observed_at":"2026-08-06T02:20:30.023675Z","submitted_at":"2026-07-06T15:59:17Z","title":"Privacy-Preserving Robustness Verification for Neural Networks","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-07-07T22:02:21.493977Z"},"links":{"citing_paper":"/paper/2607.05251"},"observation_digest":"sha256:2187264b0ea42ac920c1ccf26cb96a15baf3f04b3793a05f3b9d8a2611f33a57","observation_id":"31834ba4-9b23-45c4-8f7d-77013e07c411","resolution":{"observed_at":"2026-07-07T22:04:07.583286Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-07-07T22:04:07.567775Z","title":"Learning multiple layers of features from tiny images","venue":null,"work_id":"95de5e73-96de-46c9-8a4a-9c857bc91efa","year":2009},"citing_paper":{"arxiv_id":"2607.05251","last_updated":"2026-07-06T15:59:17Z","snapshot_observed_at":"2026-08-06T02:20:30.023675Z","submitted_at":"2026-07-06T15:59:17Z","title":"Privacy-Preserving Robustness Verification for Neural Networks","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-07-07T22:02:21.493977Z"},"links":{"citing_paper":"/paper/2607.05251"},"observation_digest":"sha256:515022e27f03998b199a4d839e82cf3a1165110814cd2466aca2d7af5efd0135","observation_id":"e521f4d2-e30a-4547-875d-0d8cabfd4305","resolution":{"observed_at":"2026-07-07T22:04:07.570941Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-07-07T22:04:07.524863Z","title":"CrypTFlow: Secure TensorFlow inference","venue":null,"work_id":"fe307f61-9371-4d6b-a5c4-261a6ed93d21","year":2020},"citing_paper":{"arxiv_id":"2607.05251","last_updated":"2026-07-06T15:59:17Z","snapshot_observed_at":"2026-08-06T02:20:30.023675Z","submitted_at":"2026-07-06T15:59:17Z","title":"Privacy-Preserving Robustness Verification for Neural Networks","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-07-07T22:02:21.493977Z"},"links":{"citing_paper":"/paper/2607.05251"},"observation_digest":"sha256:eeac30cee7d7edc1b6bb6a507bffe982fd416fd71c6988b2eaacc195c85f2c2f","observation_id":"4d0b3607-2e59-4d55-85ed-45966a18b968","resolution":{"observed_at":"2026-07-07T22:04:07.528118Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-07-07T22:04:07.588441Z","title":"Low-complexity deep convolutional neural networks on fully homomorphic encryption using multiplexed parallel convolutions","venue":null,"work_id":"9227eced-4f0f-4d07-9962-6e862fa12745","year":2022},"citing_paper":{"arxiv_id":"2607.05251","last_updated":"2026-07-06T15:59:17Z","snapshot_observed_at":"2026-08-06T02:20:30.023675Z","submitted_at":"2026-07-06T15:59:17Z","title":"Privacy-Preserving Robustness Verification for Neural Networks","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-07-07T22:02:21.493977Z"},"links":{"citing_paper":"/paper/2607.05251"},"observation_digest":"sha256:b7ed410a217c6ccb6bb159d91719c4c30e04223fbb5ded181ba2161002f5bdb1","observation_id":"6783288a-7719-4803-bb27-2cc392e707f0","resolution":{"observed_at":"2026-07-07T22:04:07.591700Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-07-07T22:04:07.558858Z","title":"HEMET: A homomorphic- encryption-friendly privacy-preserving mobile neural net- work architecture","venue":null,"work_id":"ddcebbe1-ba8c-40eb-bff3-dcf088e69b81","year":2021},"citing_paper":{"arxiv_id":"2607.05251","last_updated":"2026-07-06T15:59:17Z","snapshot_observed_at":"2026-08-06T02:20:30.023675Z","submitted_at":"2026-07-06T15:59:17Z","title":"Privacy-Preserving Robustness Verification for Neural Networks","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-07-07T22:02:21.493977Z"},"links":{"citing_paper":"/paper/2607.05251"},"observation_digest":"sha256:abea3951a5a66f2f730e8069d3ceeded64308de8187819a9e0c05ac120b0fcbd","observation_id":"3abb7322-cf8c-4096-80af-3e304e679c17","resolution":{"observed_at":"2026-07-07T22:04:07.561353Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-07-07T22:04:07.537924Z","title":"TeleSparse: Practical privacy-preserving veri- fication of deep neural networks.Proc","venue":null,"work_id":"590692c4-417f-4fe0-a1f7-030408e95668","year":2025},"citing_paper":{"arxiv_id":"2607.05251","last_updated":"2026-07-06T15:59:17Z","snapshot_observed_at":"2026-08-06T02:20:30.023675Z","submitted_at":"2026-07-06T15:59:17Z","title":"Privacy-Preserving Robustness Verification for Neural Networks","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-07-07T22:02:21.493977Z"},"links":{"citing_paper":"/paper/2607.05251"},"observation_digest":"sha256:4cf11395a7f0dd69c430318d929cfe56ea8500ae0f8e885b2a06570e3b07a873","observation_id":"10ddcc91-eb87-42f0-9b7f-c26526145637","resolution":{"observed_at":"2026-07-07T22:04:07.540943Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-07-07T22:04:07.575774Z","title":"ABY3: A mixed pro- tocol framework for machine learning","venue":null,"work_id":"c3af83bf-3f6f-4e8d-be9c-43c441f4a07c","year":2018},"citing_paper":{"arxiv_id":"2607.05251","last_updated":"2026-07-06T15:59:17Z","snapshot_observed_at":"2026-08-06T02:20:30.023675Z","submitted_at":"2026-07-06T15:59:17Z","title":"Privacy-Preserving Robustness Verification for Neural Networks","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-07-07T22:02:21.493977Z"},"links":{"citing_paper":"/paper/2607.05251"},"observation_digest":"sha256:d1af6f68dd40cdc8d119911c34bdad518152fc7ef158130f2f5b085a23d22fb4","observation_id":"aabb99cc-0932-4f52-be3d-53805da62720","resolution":{"observed_at":"2026-07-07T22:04:07.578906Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-07-07T22:04:07.600892Z","title":"Neural network verification with branch-and-bound for general nonlinearities","venue":null,"work_id":"0cbd7117-686c-4b0e-b842-9b12f35c84be","year":2025},"citing_paper":{"arxiv_id":"2607.05251","last_updated":"2026-07-06T15:59:17Z","snapshot_observed_at":"2026-08-06T02:20:30.023675Z","submitted_at":"2026-07-06T15:59:17Z","title":"Privacy-Preserving Robustness Verification for Neural Networks","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-07-07T22:02:21.493977Z"},"links":{"citing_paper":"/paper/2607.05251"},"observation_digest":"sha256:a77ef22f9d71fb4e9f32afaf3e75807ec0af47e82abfd8cb4d73b3d49fddc1ec","observation_id":"72bb3799-6dc6-46e1-95ad-a980429955ed","resolution":{"observed_at":"2026-07-07T22:04:07.605385Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-07-07T22:04:07.584340Z","title":"Goodfellow, and Rob Fer- gus","venue":null,"work_id":"e2469316-46dd-4c1e-a048-985da9b99826","year":2014},"citing_paper":{"arxiv_id":"2607.05251","last_updated":"2026-07-06T15:59:17Z","snapshot_observed_at":"2026-08-06T02:20:30.023675Z","submitted_at":"2026-07-06T15:59:17Z","title":"Privacy-Preserving Robustness Verification for Neural Networks","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-07-07T22:02:21.493977Z"},"links":{"citing_paper":"/paper/2607.05251"},"observation_digest":"sha256:ad8083d92b01281c03339b5ca88d463c79ed7ff10183f024586d48b1443ded02","observation_id":"702100fe-4f17-487c-b391-cadea526b36f","resolution":{"observed_at":"2026-07-07T22:04:07.586875Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-07-07T22:04:07.542590Z","title":null,"venue":null,"work_id":"9640c0a4-95ef-4b95-aea5-a1bb3dbfaad8","year":2021},"citing_paper":{"arxiv_id":"2607.05251","last_updated":"2026-07-06T15:59:17Z","snapshot_observed_at":"2026-08-06T02:20:30.023675Z","submitted_at":"2026-07-06T15:59:17Z","title":"Privacy-Preserving Robustness Verification for Neural Networks","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-07-07T22:02:21.493977Z"},"links":{"citing_paper":"/paper/2607.05251"},"observation_digest":"sha256:ed25ad15a7408e04d6fa959f2328cbd838d10c0de209b800d73b7817b7eff9c4","observation_id":"61fa40f7-28e6-4dca-893f-db8abe881ca7","resolution":{"observed_at":"2026-07-07T22:04:07.545804Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-07-07T22:04:07.529182Z","title":"Se- cureNN: 3-party secure computation for neural network training.Proc","venue":null,"work_id":"df779479-eaa6-40c6-8cb7-9868fbc1d491","year":2019},"citing_paper":{"arxiv_id":"2607.05251","last_updated":"2026-07-06T15:59:17Z","snapshot_observed_at":"2026-08-06T02:20:30.023675Z","submitted_at":"2026-07-06T15:59:17Z","title":"Privacy-Preserving Robustness Verification for Neural Networks","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-07-07T22:02:21.493977Z"},"links":{"citing_paper":"/paper/2607.05251"},"observation_digest":"sha256:bceb0dc12555d81b2f404480701e3237175447021a6159ec983e935d6fe0eeb2","observation_id":"5aee58c9-a994-43c8-aa1a-fa58b95cf914","resolution":{"observed_at":"2026-07-07T22:04:07.532252Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-07-07T22:04:07.520584Z","title":"Falcon: Honest-majority maliciously secure framework for pri- vate deep learning.Proc","venue":null,"work_id":"7f428003-3866-46b6-8185-427b068980da","year":2021},"citing_paper":{"arxiv_id":"2607.05251","last_updated":"2026-07-06T15:59:17Z","snapshot_observed_at":"2026-08-06T02:20:30.023675Z","submitted_at":"2026-07-06T15:59:17Z","title":"Privacy-Preserving Robustness Verification for Neural Networks","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-07-07T22:02:21.493977Z"},"links":{"citing_paper":"/paper/2607.05251"},"observation_digest":"sha256:154a3c48d52366e36ff58af5fe082a7763f05ce9e081e11a0f764ce004c1c3ae","observation_id":"bc241c80-2039-4e7b-95c4-5bc94fb5a87c","resolution":{"observed_at":"2026-07-07T22:04:07.523616Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-07-07T22:04:07.596756Z","title":"Daggitt, Wen Kokke, Idan Refaeli, Guy Amir, Kyle Julian, Shahaf Bassan, Pei Huang, Ori Lahav, Min Wu, Min Zhang, Ekaterina Komendantskaya, Guy Katz, and Clark W","venue":null,"work_id":"8687381d-91a0-4f32-8d7b-cf5a892ad71a","year":2024},"citing_paper":{"arxiv_id":"2607.05251","last_updated":"2026-07-06T15:59:17Z","snapshot_observed_at":"2026-08-06T02:20:30.023675Z","submitted_at":"2026-07-06T15:59:17Z","title":"Privacy-Preserving Robustness Verification for Neural Networks","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-07-07T22:02:21.493977Z"},"links":{"citing_paper":"/paper/2607.05251"},"observation_digest":"sha256:4008787ab7c0fe0611e7873dc415771802c860783e89bf3e820a133980865d4a","observation_id":"2c6d4358-a227-432c-8884-3ab9be6f33f6","resolution":{"observed_at":"2026-07-07T22:04:07.599809Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-07-07T22:04:07.506137Z","title":"Fast and Complete: Enabling complete neural network verification with rapid and massively parallel incomplete verifiers","venue":null,"work_id":"6b317fa4-9776-437a-8ae5-409ae6f33eb3","year":2021},"citing_paper":{"arxiv_id":"2607.05251","last_updated":"2026-07-06T15:59:17Z","snapshot_observed_at":"2026-08-06T02:20:30.023675Z","submitted_at":"2026-07-06T15:59:17Z","title":"Privacy-Preserving Robustness Verification for Neural Networks","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-07-07T22:02:21.493977Z"},"links":{"citing_paper":"/paper/2607.05251"},"observation_digest":"sha256:871626fcdb47813d98c5aed30f8f05b06212e425bcdff0a6285b458d8d8413c7","observation_id":"bcb8e763-4777-4aa0-bb9b-92a1a5ac2eab","resolution":{"observed_at":"2026-07-07T22:04:07.514211Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-07-07T22:04:07.515600Z","title":"Protocols for secure computations","venue":null,"work_id":"3c55f721-58f4-411b-89a5-5c200a9b53a9","year":1982},"citing_paper":{"arxiv_id":"2607.05251","last_updated":"2026-07-06T15:59:17Z","snapshot_observed_at":"2026-08-06T02:20:30.023675Z","submitted_at":"2026-07-06T15:59:17Z","title":"Privacy-Preserving Robustness Verification for Neural Networks","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-07-07T22:02:21.493977Z"},"links":{"citing_paper":"/paper/2607.05251"},"observation_digest":"sha256:0daebb06d8753dffac63e6fd2977a5fe2dbaaa61b042d2486d8bab4a37c8dc80","observation_id":"c7014c43-6446-4a48-b35b-69a9b0cd72e6","resolution":{"observed_at":"2026-07-07T22:04:07.519240Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-07-07T22:04:07.607138Z","title":"For a target layer l, Algorithm 1 iteratesl−1 times","venue":null,"work_id":"da6b652a-b271-49c5-8efe-a4b9b1020577","year":2021},"citing_paper":{"arxiv_id":"2607.05251","last_updated":"2026-07-06T15:59:17Z","snapshot_observed_at":"2026-08-06T02:20:30.023675Z","submitted_at":"2026-07-06T15:59:17Z","title":"Privacy-Preserving Robustness Verification for Neural Networks","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-07-07T22:02:21.493977Z"},"links":{"citing_paper":"/paper/2607.05251"},"observation_digest":"sha256:88cdebc8e9826cef1d159d039ede1089f476fc4962900137fd78bb1769eef8d4","observation_id":"2c7f3cce-bcc9-4bb2-8c43-b978de9424f2","resolution":{"observed_at":"2026-07-07T22:04:07.610257Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2607.05251","last_updated":"2026-07-06T15:59:17Z","latest_version":1,"primary_category":"cs.CR","snapshot_observed_at":"2026-08-06T02:20:30.023675Z","submitted_at":"2026-07-06T15:59:17Z","title":"Privacy-Preserving Robustness Verification for Neural Networks"},"reference_resolution":{"displayed":24,"state_counts":{"malformed_identifier":1,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":2,"verified_exact":1,"verified_fuzzy":20},"total_outbound_references":24},"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-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"thesis":"As of 6 August 2026, this Paper Citation Record lists 24 of 24 outbound references and 0 inbound Pith citation observations for arXiv:2607.05251."}