{"as_of":"2026-08-19T01:03:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:d3e9beb1e96a54e57cbcef157380caeda6489bdcd901711c6c457768d1a51255","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-18T06:34:40.430872+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-15T00:31:41.381791Z","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:4423b833bd4c7375de8b5084535bd9abcc92d6111a7e041eb87131e3cff96fb1","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-16T15:15:34.430479Z","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-15T00:31:41.381791Z","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:d04dcdb2265ab5235fd7b4c1ecccb13cc6ff2de8265b874e8e44606603867921","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T00:31:41.381791Z","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:691f28607fef5e38fac14999a52430705b7ba07b61b34ed43986d4cb5c316438","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T00:31:41.381791Z","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:82e1b5d224b28d9459c0060c0a14e6727ef4ac73be6996c32d7beaaad8c2c4c0","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T00:31:41.381791Z","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:31144ba3b9665ecc9c316c97b5666bbc365fbcb3f80dec6ee5e37e3628002e26","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T00:31:41.381791Z","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:8eaaf8e65ff342cfc841c06d0c1b3c46ace959fe6b508030b893a5931d2b082a","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T00:31:41.381791Z","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:6f5f19b6f86e0cf873e1bc0c7736aebea1686dbb05429b5ab23789d4a04e3e4f","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T00:31:41.381791Z","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:4cc732df26207cff46d33a62768def9d598b6f039b81637dc00683243f84c0a8","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T00:31:41.381791Z","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:24eb534b0543fb374399ee59f7e987a4f366e79a24c4f0fd9c285c4b181e2194","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T00:31:41.381791Z","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:3eccc8732fcf0da56e952cfb7364a77b372e7223b24d36f70a8406366a713e45","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T00:31:41.381791Z","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:0100e65be4d94a46a9969c59439c6d146232a0769e400748cd8fd13b3325e6b8","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T00:31:41.381791Z","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:ea6f6096e08ce3dc395f56cee3e8eab9ffe08d1f9a8ac5e74fbd0cc2d79c932d","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T00:31:41.381791Z","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:2aaba7268e964747d582dee91773a596b85f464c85a0eda49e28ceb936c3a39a","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T00:31:41.381791Z","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:ab3aaeed845abd63349d2dae89899e33381ef2ddbe3c54e26c220af483b3cec5","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T00:31:41.381791Z","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:a5215b026311e9b3fc2caa38a6847a69e7b05e3d2271fe1fa68624abb020a8a8","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T00:31:41.381791Z","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:e1ac5ebdfcb547c3be6eb86f242cfd1fc622f00c04e31261eaa15d7f7b11c897","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T00:31:41.381791Z","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:f6460c31b7de45fbc533fe2824be79ee8266c8f3bbe4b0e66dfe73b0727649ee","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T00:31:41.381791Z","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:74ff278a15c939f3cad14eac807e15c818255ee79ff689133993ee5ceaac29e1","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T00:31:41.381791Z","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:13a2ac281ae9251156f5acbda900884696bd55e134511c7d4a6de0a32c27b505","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T00:31:41.381791Z","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:ab76515d298a584807083254915c2a5c56b64664596efb99d38946905d2883fe","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T00:31:41.381791Z","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:b825a2f716441051019e9bcd61c5c6d332d3da2d4d86e086f5e94fff7e001f22","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T00:31:41.381791Z","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:61d4a62d44188bae35de701579fafead1751f6bba898593100f2fa5862f4091f","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T00:31:41.381791Z","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:fa270a31fc810c68da6f27a479023343e90d89e94111e578dbf408a2c4c6d855","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T00:31:41.381791Z","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:42c0f6464b0ce927bcd238d2e96da0092339c9d4394ae20b1e77369b1eb0a774","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T00:31:41.381791Z","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-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"thesis":"As of 19 August 2026, this Paper Citation Record lists 24 of 24 outbound references and 0 inbound Pith citation observations for arXiv:2607.05251."}