{"as_of":"2026-08-16T10:42:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:f10e87b92cc7d12bbd78b6a4646576214bc62d5ce2783fd4e1cc6ff411220e41","coverage":[{"denominator":66,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":66,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-15T14:35:55.984134Z","state":"measured"},{"denominator":66,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":66,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-16T06:30:59.297886+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/2608.10521/citation-record","integrity":"/paper/2608.10521/integrity","json":"/paper/2608.10521/citation-record.json","paper":"/paper/2608.10521"},"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-15T14:35:57.348686Z","title":"In: Weippl, E.R., Katzenbeisser, S., Kruegel, C., Myers, A.C., Halevi, S","venue":null,"work_id":"022d37b5-6002-497e-95bb-268303b4e277","year":2016},"citing_paper":{"arxiv_id":"2608.10521","last_updated":"2026-08-11T05:51:27Z","snapshot_observed_at":"2026-08-15T14:16:37.192698Z","submitted_at":"2026-08-11T05:51:27Z","title":"Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-15T14:35:55.673372Z"},"links":{"citing_paper":"/paper/2608.10521"},"observation_digest":"sha256:3c37824261759ab13a169c7965300039f711133ebfe701ec8c879cee0f6d14d3","observation_id":"f4e74052-e180-4547-91ff-909dc5d3d58b","resolution":{"observed_at":"2026-08-15T14:35:57.353461Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-15T14:35:57.332755Z","title":"In: Weippl, E.R., Katzenbeisser, S., Kruegel, C., Myers, A.C., Halevi, S","venue":null,"work_id":"a1e7acf9-7a3e-465d-96a8-45d97b69ebe6","year":2016},"citing_paper":{"arxiv_id":"2608.10521","last_updated":"2026-08-11T05:51:27Z","snapshot_observed_at":"2026-08-15T14:16:37.192698Z","submitted_at":"2026-08-11T05:51:27Z","title":"Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-15T14:35:55.679544Z"},"links":{"citing_paper":"/paper/2608.10521"},"observation_digest":"sha256:c312691dcfef78510bc308a4e99ba8a5db35a6ede3e0eeffb22090570db55c9d","observation_id":"2d39c9f6-8651-4d9e-b545-f771ed9be216","resolution":{"observed_at":"2026-08-15T14:35:57.337473Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-15T14:35:57.316777Z","title":"In: Rajamani, S.K., Walker, D","venue":null,"work_id":"cb59a429-3d67-4863-aa90-20b848905210","year":2015},"citing_paper":{"arxiv_id":"2608.10521","last_updated":"2026-08-11T05:51:27Z","snapshot_observed_at":"2026-08-15T14:16:37.192698Z","submitted_at":"2026-08-11T05:51:27Z","title":"Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-15T14:35:55.684402Z"},"links":{"citing_paper":"/paper/2608.10521"},"observation_digest":"sha256:7292e786bd2d80b8550fabc0e1ed0fbf34efb9994e78a0e606a2628851dfe6f5","observation_id":"e9edf02d-52fe-4100-bcdf-ca142c25c9f8","resolution":{"observed_at":"2026-08-15T14:35:57.322085Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-15T14:35:57.300290Z","title":"ACM Trans","venue":null,"work_id":"3c4d60a0-b4c8-4501-a9c3-fb0923b02584","year":2013},"citing_paper":{"arxiv_id":"2608.10521","last_updated":"2026-08-11T05:51:27Z","snapshot_observed_at":"2026-08-15T14:16:37.192698Z","submitted_at":"2026-08-11T05:51:27Z","title":"Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-15T14:35:55.689464Z"},"links":{"citing_paper":"/paper/2608.10521"},"observation_digest":"sha256:fa24febf0f328589b624dfd5475482d1e52bc4f01ef9a9eb2c4fb4d749d03d50","observation_id":"690b2142-f48a-417d-96d7-6c57c7118bdc","resolution":{"observed_at":"2026-08-15T14:35:57.304941Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-15T14:35:57.283342Z","title":"ACM SIGARCH computer architecture news39(2), 1–7 (2011)","venue":null,"work_id":"d9de0e0c-d73b-4809-9eff-ef87859effa0","year":2011},"citing_paper":{"arxiv_id":"2608.10521","last_updated":"2026-08-11T05:51:27Z","snapshot_observed_at":"2026-08-15T14:16:37.192698Z","submitted_at":"2026-08-11T05:51:27Z","title":"Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-15T14:35:55.694403Z"},"links":{"citing_paper":"/paper/2608.10521"},"observation_digest":"sha256:4cc42f4ea87621183534d857d7982a78c8777852e3d325314d002c47f798e671","observation_id":"472914a7-39d1-4cde-83c0-34f3ca9f6536","resolution":{"observed_at":"2026-08-15T14:35:57.288826Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-15T14:35:57.268818Z","title":"In: Enck, W., Mulliner, C","venue":null,"work_id":"0963d34e-9985-4305-9f7e-8e1355d76325","year":2017},"citing_paper":{"arxiv_id":"2608.10521","last_updated":"2026-08-11T05:51:27Z","snapshot_observed_at":"2026-08-15T14:16:37.192698Z","submitted_at":"2026-08-11T05:51:27Z","title":"Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-15T14:35:55.699095Z"},"links":{"citing_paper":"/paper/2608.10521"},"observation_digest":"sha256:b752f1ad19c85bce06dbef0ff1e85320aecf461cb727f8d6b0059fabd9866c41","observation_id":"978abe0d-cc14-4bca-9da4-027395d4631e","resolution":{"observed_at":"2026-08-15T14:35:57.273428Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1911.11607","last_updated":"2020-07-22T16:09:13Z","snapshot_observed_at":"2026-08-11T01:49:45.976527Z","submitted_at":"2019-11-26T15:08:58Z","title":"Deep Learning with Gaussian Differential Privacy","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1911.11607","snapshot_observed_at":"2026-08-15T14:35:55.704285Z","title":"CoRRabs/1911.11607(2019)","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2608.10521","last_updated":"2026-08-11T05:51:27Z","snapshot_observed_at":"2026-08-15T14:16:37.192698Z","submitted_at":"2026-08-11T05:51:27Z","title":"Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-15T14:35:55.704285Z"},"links":{"cited_paper":"/paper/1911.11607","citing_paper":"/paper/2608.10521"},"observation_digest":"sha256:74cf784ea8e8c0e03fb9cade8fb48ec44cc1e3baae245f2c873926d3b964d383","observation_id":"5900aaa6-fdaa-499c-aef2-6c347e8aae40","resolution":{"observed_at":"2026-08-15T14:35:55.704285Z","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-15T14:35:57.254572Z","title":"Kistowski, J.: Spec cpu2017: Next-generation compute benchmark","venue":null,"work_id":"d75643b0-ba1e-4636-9cac-d2171d679d33","year":2018},"citing_paper":{"arxiv_id":"2608.10521","last_updated":"2026-08-11T05:51:27Z","snapshot_observed_at":"2026-08-15T14:16:37.192698Z","submitted_at":"2026-08-11T05:51:27Z","title":"Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-15T14:35:55.712697Z"},"links":{"citing_paper":"/paper/2608.10521"},"observation_digest":"sha256:40a8a5f3f3d50c82761055af2be9f2dcd1a98ce4b528aa381f8a25dc1eaa405d","observation_id":"7792a241-1680-4d1e-b7ec-25f3bcb46100","resolution":{"observed_at":"2026-08-15T14:35:57.259097Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-15T14:35:57.240079Z","title":"In: Kirda, E., Ristenpart, T","venue":null,"work_id":"2b167e7d-4014-44fe-bbd7-4c26a8a2b24a","year":2017},"citing_paper":{"arxiv_id":"2608.10521","last_updated":"2026-08-11T05:51:27Z","snapshot_observed_at":"2026-08-15T14:16:37.192698Z","submitted_at":"2026-08-11T05:51:27Z","title":"Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-15T14:35:55.716901Z"},"links":{"citing_paper":"/paper/2608.10521"},"observation_digest":"sha256:45c9a113aaa4bc394563b9abaf2a53a384f60c0c0e5e5403727aa15bb07c3ac0","observation_id":"20159507-d3b2-47ed-b12e-a85c8152a21f","resolution":{"observed_at":"2026-08-15T14:35:57.244606Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-15T14:35:57.213838Z","title":"IEEE Secur","venue":null,"work_id":"9ddd3965-4de4-4575-815d-d682e7dcf1f9","year":2020},"citing_paper":{"arxiv_id":"2608.10521","last_updated":"2026-08-11T05:51:27Z","snapshot_observed_at":"2026-08-15T14:16:37.192698Z","submitted_at":"2026-08-11T05:51:27Z","title":"Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-15T14:35:55.726366Z"},"links":{"citing_paper":"/paper/2608.10521"},"observation_digest":"sha256:6a741389d7e2dc7a0bdb30946f6d5610128a96d27436d7662e884d481139cb69","observation_id":"fe95d063-7d24-4655-9677-b9b709a5e3c1","resolution":{"observed_at":"2026-08-15T14:35:57.217717Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-15T14:35:57.200053Z","title":null,"venue":null,"work_id":"7dd42a8c-89b2-4228-9a0a-a0122b3d14f1","year":2022},"citing_paper":{"arxiv_id":"2608.10521","last_updated":"2026-08-11T05:51:27Z","snapshot_observed_at":"2026-08-15T14:16:37.192698Z","submitted_at":"2026-08-11T05:51:27Z","title":"Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-15T14:35:55.733023Z"},"links":{"citing_paper":"/paper/2608.10521"},"observation_digest":"sha256:3bfd57e0af89b4b5ff121a0a183964577b0ab135c928532d88975be13a8580f0","observation_id":"d9a6bbbe-cf58-4dce-927c-16f03729f24d","resolution":{"observed_at":"2026-08-15T14:35:57.204070Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-15T14:35:57.186793Z","title":"In: Silva, D.D., Wang, Q., Zhang, L","venue":null,"work_id":"0c662b71-c58b-439b-a4be-5a782fca76d4","year":2019},"citing_paper":{"arxiv_id":"2608.10521","last_updated":"2026-08-11T05:51:27Z","snapshot_observed_at":"2026-08-15T14:16:37.192698Z","submitted_at":"2026-08-11T05:51:27Z","title":"Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-15T14:35:55.738611Z"},"links":{"citing_paper":"/paper/2608.10521"},"observation_digest":"sha256:a8a4768aa8532ba09568ff71b71c1da6a2071de2a612f252760ff1f7b9d5ee7b","observation_id":"37bdee29-7a1f-4704-8f75-f0ab2c9a0870","resolution":{"observed_at":"2026-08-15T14:35:57.190793Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1910.02578","last_updated":"2020-02-27T15:59:56Z","snapshot_observed_at":"2026-08-16T10:11:29.807053Z","submitted_at":"2019-10-07T02:10:30Z","title":"Differential Privacy-enabled Federated Learning for Sensitive Health Data","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1910.02578","snapshot_observed_at":"2026-08-15T14:35:55.743548Z","title":"CoRRabs/1910.02578(2019) 19","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2608.10521","last_updated":"2026-08-11T05:51:27Z","snapshot_observed_at":"2026-08-15T14:16:37.192698Z","submitted_at":"2026-08-11T05:51:27Z","title":"Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-15T14:35:55.743548Z"},"links":{"cited_paper":"/paper/1910.02578","citing_paper":"/paper/2608.10521"},"observation_digest":"sha256:7fe0283d732cb614ecb8e85e4cc79a8ee6175318706b0e0fa5e7abf493861f52","observation_id":"388310e5-d35d-483f-b756-f77988c46df2","resolution":{"observed_at":"2026-08-15T14:35:55.743548Z","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-15T14:35:55.748500Z","title":"In: Proceedings of the 2018 International Conference on Manage- ment of Data","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2608.10521","last_updated":"2026-08-11T05:51:27Z","snapshot_observed_at":"2026-08-15T14:16:37.192698Z","submitted_at":"2026-08-11T05:51:27Z","title":"Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-15T14:35:55.748500Z"},"links":{"citing_paper":"/paper/2608.10521"},"observation_digest":"sha256:849a55abcd730c85e6c475c9e521f7b3020c22295eb7bedd5ab63efca38164bf","observation_id":"b095c3bb-2798-4e34-bbd6-fb1eed0caa45","resolution":{"observed_at":"2026-08-15T14:35:55.748500Z","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-15T14:35:57.173207Z","title":"In: Srivastava, D., Ari, I","venue":null,"work_id":"10b432cf-300f-4cd6-8820-8814bfef577b","year":2012},"citing_paper":{"arxiv_id":"2608.10521","last_updated":"2026-08-11T05:51:27Z","snapshot_observed_at":"2026-08-15T14:16:37.192698Z","submitted_at":"2026-08-11T05:51:27Z","title":"Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-15T14:35:55.754146Z"},"links":{"citing_paper":"/paper/2608.10521"},"observation_digest":"sha256:06a577a0772f8a8a23369f6b5cfcc89612a85f8081ec7cd1e011b0c377e5cbb1","observation_id":"2b00aa59-6847-4817-afff-bb73cba421df","resolution":{"observed_at":"2026-08-15T14:35:57.178347Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-15T14:35:57.160719Z","title":"In: Kirda, E., Ristenpart, T","venue":null,"work_id":"1cd608eb-91ee-4809-8f8b-d9ef77614b8b","year":2017},"citing_paper":{"arxiv_id":"2608.10521","last_updated":"2026-08-11T05:51:27Z","snapshot_observed_at":"2026-08-15T14:16:37.192698Z","submitted_at":"2026-08-11T05:51:27Z","title":"Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-15T14:35:55.759278Z"},"links":{"citing_paper":"/paper/2608.10521"},"observation_digest":"sha256:ba39763acbca4855a4bd77e919f730f2c039c0b6bd93ce111c88500797fd4e67","observation_id":"f0974793-ba1d-4b91-a923-6c55dccead03","resolution":{"observed_at":"2026-08-15T14:35:57.164966Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-15T14:35:57.148149Z","title":"Founda- tions and Trends in Theoretical Computer Science9(3–4), 211–407 (2014)","venue":null,"work_id":"32895e25-934a-4a04-9a5f-8d40cbc60473","year":2014},"citing_paper":{"arxiv_id":"2608.10521","last_updated":"2026-08-11T05:51:27Z","snapshot_observed_at":"2026-08-15T14:16:37.192698Z","submitted_at":"2026-08-11T05:51:27Z","title":"Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-15T14:35:55.764755Z"},"links":{"citing_paper":"/paper/2608.10521"},"observation_digest":"sha256:a895aff71c691eb253fa8d1c18c3b08cd8f6e9d95fefdb07f7a39492c6360a58","observation_id":"74b0a943-286a-4291-86a6-f98ff8c995a7","resolution":{"observed_at":"2026-08-15T14:35:57.152123Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-15T14:35:55.769231Z","title":"In: Bugliesi, M., Preneel, B., Sassone, V., Wegener, I","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2608.10521","last_updated":"2026-08-11T05:51:27Z","snapshot_observed_at":"2026-08-15T14:16:37.192698Z","submitted_at":"2026-08-11T05:51:27Z","title":"Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-15T14:35:55.769231Z"},"links":{"citing_paper":"/paper/2608.10521"},"observation_digest":"sha256:9c942f4c63f08b4e5d378b2afe4aafd7fbcb54d2026b26ddf8e205efe7a10052","observation_id":"d7c3fab0-c995-458c-a717-3659ec21515b","resolution":{"observed_at":"2026-08-15T14:35:55.769231Z","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-15T14:35:57.133151Z","title":"In: Bugliesi, M., Preneel, B., Sassone, V., Wegener, I","venue":null,"work_id":"d8ccc6eb-5cd9-4d4d-b484-543c7fd2c635","year":2006},"citing_paper":{"arxiv_id":"2608.10521","last_updated":"2026-08-11T05:51:27Z","snapshot_observed_at":"2026-08-15T14:16:37.192698Z","submitted_at":"2026-08-11T05:51:27Z","title":"Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-15T14:35:55.775130Z"},"links":{"citing_paper":"/paper/2608.10521"},"observation_digest":"sha256:d93014852d73899da72da4f2980bf483d11c7be3bad27821f61532993a331a95","observation_id":"1a5efd2a-a5dd-4cef-9cde-6502c7d9a4d6","resolution":{"observed_at":"2026-08-15T14:35:57.139234Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-15T14:35:57.117638Z","title":"Patterns2(12), 100366 (2021)","venue":null,"work_id":"58c27937-be60-4ef2-b2ae-78de5459df87","year":2021},"citing_paper":{"arxiv_id":"2608.10521","last_updated":"2026-08-11T05:51:27Z","snapshot_observed_at":"2026-08-15T14:16:37.192698Z","submitted_at":"2026-08-11T05:51:27Z","title":"Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-15T14:35:55.780489Z"},"links":{"citing_paper":"/paper/2608.10521"},"observation_digest":"sha256:255ced29f0c6d0e50dafa991ea32df3026cb5e133a0ceece21b3495085577bfb","observation_id":"6a343ac4-31bd-44a1-a580-7e3b7e1ae97a","resolution":{"observed_at":"2026-08-15T14:35:57.121970Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-15T14:35:57.103494Z","title":"Procedia Computer Science62, 650–653 (2015)","venue":null,"work_id":"f2040458-7f04-477e-84e0-c43b9d3a5118","year":2015},"citing_paper":{"arxiv_id":"2608.10521","last_updated":"2026-08-11T05:51:27Z","snapshot_observed_at":"2026-08-15T14:16:37.192698Z","submitted_at":"2026-08-11T05:51:27Z","title":"Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-15T14:35:55.786092Z"},"links":{"citing_paper":"/paper/2608.10521"},"observation_digest":"sha256:1ef2d2c81d4f4dda827d99d0693bc64cf2f9fc3a636b22db01b52f02ad4d789f","observation_id":"db4d8ece-02e7-412b-a660-1ec64f121fda","resolution":{"observed_at":"2026-08-15T14:35:57.108415Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-15T14:35:55.789956Z","title":"In: Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2608.10521","last_updated":"2026-08-11T05:51:27Z","snapshot_observed_at":"2026-08-15T14:16:37.192698Z","submitted_at":"2026-08-11T05:51:27Z","title":"Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-15T14:35:55.789956Z"},"links":{"citing_paper":"/paper/2608.10521"},"observation_digest":"sha256:8aa55504bc81518393ba5637acf65209ec2cd8ac6f2b2183294eba843acd370c","observation_id":"4c90ff72-2dc0-42f0-a575-ca6e9ed4cc8e","resolution":{"observed_at":"2026-08-15T14:35:55.789956Z","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-15T14:35:57.086177Z","title":"In: Proceedings of the Twenty-Third International Conference on Architectural Support for Pro- gramming Languages and Operating Systems (ASPLOS ’18)","venue":null,"work_id":"15a43ace-7cb5-4c1e-8a73-c6ef5d9df383","year":2018},"citing_paper":{"arxiv_id":"2608.10521","last_updated":"2026-08-11T05:51:27Z","snapshot_observed_at":"2026-08-15T14:16:37.192698Z","submitted_at":"2026-08-11T05:51:27Z","title":"Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-15T14:35:55.793926Z"},"links":{"citing_paper":"/paper/2608.10521"},"observation_digest":"sha256:ef909cfa63f5683cdfcfe334c449da7df926900221920f655c73e8a9a1fc4818","observation_id":"46b33192-a259-4b11-984e-e84f28cae173","resolution":{"observed_at":"2026-08-15T14:35:57.093422Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-15T14:35:55.798105Z","title":"IEEE Transactions on Information Theory62(2), 925–951 (2016).https: //doi.org/10.1109/TIT.2015.2504967","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2608.10521","last_updated":"2026-08-11T05:51:27Z","snapshot_observed_at":"2026-08-15T14:16:37.192698Z","submitted_at":"2026-08-11T05:51:27Z","title":"Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-15T14:35:55.798105Z"},"links":{"citing_paper":"/paper/2608.10521"},"observation_digest":"sha256:72680d250ddf7744dde0076af4a28cbe613f678dd3131d4d7742b3f9693d51d1","observation_id":"b8fc0760-26e5-4eaf-b14d-396b51b5accb","resolution":{"observed_at":"2026-08-15T14:35:55.798105Z","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-15T14:35:57.070038Z","title":"In: Ranzato, M., Beygelzimer, A., Dauphin, Y.N., Liang, P., Vaughan, J.W","venue":null,"work_id":"a03c55d8-dd96-4179-b4f7-f37af60e49b8","year":2021},"citing_paper":{"arxiv_id":"2608.10521","last_updated":"2026-08-11T05:51:27Z","snapshot_observed_at":"2026-08-15T14:16:37.192698Z","submitted_at":"2026-08-11T05:51:27Z","title":"Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-15T14:35:55.802696Z"},"links":{"citing_paper":"/paper/2608.10521"},"observation_digest":"sha256:b70d9a9f8111a2910d76dcda5cb69903e6c10ae59bc6bebdf6e2208711280141","observation_id":"f25185ff-685a-4bd6-a4ca-e98f61269d33","resolution":{"observed_at":"2026-08-15T14:35:57.075764Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-15T14:35:55.807363Z","title":"In: Proceedings of the Forty-First Annual ACM Symposium on Theory of Computing","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2608.10521","last_updated":"2026-08-11T05:51:27Z","snapshot_observed_at":"2026-08-15T14:16:37.192698Z","submitted_at":"2026-08-11T05:51:27Z","title":"Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-15T14:35:55.807363Z"},"links":{"citing_paper":"/paper/2608.10521"},"observation_digest":"sha256:28a11043855cf612752ddd7cf8894e77ec10ad4c84abe6f34fc5e49b767076e4","observation_id":"2c5bd8b8-4ab5-4fd7-b2da-19d50125c4a1","resolution":{"observed_at":"2026-08-15T14:35:55.807363Z","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-15T14:35:57.053864Z","title":"In: Giuffrida, C., Stavrou, A","venue":null,"work_id":"1395787b-2c7d-45a3-bff1-8ac6bc0cebf5","year":2017},"citing_paper":{"arxiv_id":"2608.10521","last_updated":"2026-08-11T05:51:27Z","snapshot_observed_at":"2026-08-15T14:16:37.192698Z","submitted_at":"2026-08-11T05:51:27Z","title":"Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-15T14:35:55.812919Z"},"links":{"citing_paper":"/paper/2608.10521"},"observation_digest":"sha256:f29b9a05c31fd9b92043bc018f09de6e76654f6536c818b7fb73b1c9ff9fe250","observation_id":"d1f5dcfa-ffc5-4966-acad-30ac363c08a8","resolution":{"observed_at":"2026-08-15T14:35:57.059141Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-15T14:35:57.040204Z","title":"In: 2020 ACM/IEEE 47th Annual Inter- national Symposium on Computer Architecture (ISCA)","venue":null,"work_id":"9832c3c1-a065-41b5-896e-daa347446085","year":2020},"citing_paper":{"arxiv_id":"2608.10521","last_updated":"2026-08-11T05:51:27Z","snapshot_observed_at":"2026-08-15T14:16:37.192698Z","submitted_at":"2026-08-11T05:51:27Z","title":"Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-15T14:35:55.816634Z"},"links":{"citing_paper":"/paper/2608.10521"},"observation_digest":"sha256:c3429bc24588118f4deb6d69e17f3c955096404f42a831e0489248854c217688","observation_id":"465dde24-6762-4fac-9a81-f4999f153576","resolution":{"observed_at":"2026-08-15T14:35:57.044717Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-15T14:35:57.027814Z","title":"In: Caballero, J., Zurutuza, U., Rodr´ ıguez, R.J","venue":null,"work_id":"443f5521-a7e8-4630-ac4b-ad5a47d224ae","year":2016},"citing_paper":{"arxiv_id":"2608.10521","last_updated":"2026-08-11T05:51:27Z","snapshot_observed_at":"2026-08-15T14:16:37.192698Z","submitted_at":"2026-08-11T05:51:27Z","title":"Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-15T14:35:55.821325Z"},"links":{"citing_paper":"/paper/2608.10521"},"observation_digest":"sha256:8aef84e9d939e87fa36b8166d615625902f8f1ccb063e4df71fd4f8847ab012e","observation_id":"1f90ab13-6525-42aa-9fd6-9b126e4a53d6","resolution":{"observed_at":"2026-08-15T14:35:57.032033Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-15T14:35:57.014353Z","title":"In: Silva, D.D., Ford, B","venue":null,"work_id":"06cee221-7c9d-4bee-b4c2-a98320e77d6f","year":2017},"citing_paper":{"arxiv_id":"2608.10521","last_updated":"2026-08-11T05:51:27Z","snapshot_observed_at":"2026-08-15T14:16:37.192698Z","submitted_at":"2026-08-11T05:51:27Z","title":"Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-15T14:35:55.825816Z"},"links":{"citing_paper":"/paper/2608.10521"},"observation_digest":"sha256:9c7941412dd11e67cd24cea3a21bbb276b50df7b5f7c6371a44f42dc994f98de","observation_id":"87226c67-171b-4725-abd4-1b03409413c0","resolution":{"observed_at":"2026-08-15T14:35:57.018828Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-15T14:35:56.999379Z","title":"IACR Trans","venue":null,"work_id":"a4095798-68b9-4eec-a84c-b8d3142e9f2d","year":2020},"citing_paper":{"arxiv_id":"2608.10521","last_updated":"2026-08-11T05:51:27Z","snapshot_observed_at":"2026-08-15T14:16:37.192698Z","submitted_at":"2026-08-11T05:51:27Z","title":"Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-15T14:35:55.830100Z"},"links":{"citing_paper":"/paper/2608.10521"},"observation_digest":"sha256:5e8fda6f6991ceb76c355c1f66d699c51266cd3da22a9453d924ec1f08d10ac0","observation_id":"aad7a678-36a4-4a1a-8f7d-6605443781d0","resolution":{"observed_at":"2026-08-15T14:35:57.004096Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-15T14:35:56.984553Z","title":"In: Bach, F., Blei, D","venue":null,"work_id":"a91234cd-a5d5-4bfe-afc7-a42692c0a768","year":2015},"citing_paper":{"arxiv_id":"2608.10521","last_updated":"2026-08-11T05:51:27Z","snapshot_observed_at":"2026-08-15T14:16:37.192698Z","submitted_at":"2026-08-11T05:51:27Z","title":"Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-15T14:35:55.834954Z"},"links":{"citing_paper":"/paper/2608.10521"},"observation_digest":"sha256:93149b4e67693e61a89c154c894a32dac79048ff570402347f9fbf0554dea145","observation_id":"f9cd371c-878c-45e3-ac1c-89c94633f81e","resolution":{"observed_at":"2026-08-15T14:35:56.989353Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-15T14:35:56.972029Z","title":"In: Proceedings of the 53rd Annual Design Automation Conference, DAC 2016, Austin, TX, USA, June 5-9, 2016","venue":null,"work_id":"7cae4090-6858-4c91-a2ef-94641b5500b1","year":2016},"citing_paper":{"arxiv_id":"2608.10521","last_updated":"2026-08-11T05:51:27Z","snapshot_observed_at":"2026-08-15T14:16:37.192698Z","submitted_at":"2026-08-11T05:51:27Z","title":"Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-15T14:35:55.838794Z"},"links":{"citing_paper":"/paper/2608.10521"},"observation_digest":"sha256:1c4514f6e4479821a682dc06713040bab319450bd3c085d407a756a8c4f7c66a","observation_id":"bc59a932-6075-46db-a4be-c09bbab2c732","resolution":{"observed_at":"2026-08-15T14:35:56.976218Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-15T14:35:56.957041Z","title":"international symposium on mi- croarchitecture19(2), 24–36 (1999)","venue":null,"work_id":"30b48feb-9441-4dfc-8c30-6afe7a16c7ad","year":1999},"citing_paper":{"arxiv_id":"2608.10521","last_updated":"2026-08-11T05:51:27Z","snapshot_observed_at":"2026-08-15T14:16:37.192698Z","submitted_at":"2026-08-11T05:51:27Z","title":"Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-15T14:35:55.844834Z"},"links":{"citing_paper":"/paper/2608.10521"},"observation_digest":"sha256:ccbeae238cf02202064684fd508f66e94ce70711147ca3ac1c3b868e604d12d9","observation_id":"757535ab-2deb-491c-a86c-22cb47f21c65","resolution":{"observed_at":"2026-08-15T14:35:56.961181Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-15T14:35:56.943477Z","title":null,"venue":null,"work_id":"490a2625-e760-4a4a-ae1a-118010046b81","year":2020},"citing_paper":{"arxiv_id":"2608.10521","last_updated":"2026-08-11T05:51:27Z","snapshot_observed_at":"2026-08-15T14:16:37.192698Z","submitted_at":"2026-08-11T05:51:27Z","title":"Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-15T14:35:55.849051Z"},"links":{"citing_paper":"/paper/2608.10521"},"observation_digest":"sha256:da37d5cbdf20bdf58afadeea3aacf5ea51bcac1bbe3a77c5ea6601466852b5c6","observation_id":"30043405-2957-484e-b2d1-9a7691fad2cc","resolution":{"observed_at":"2026-08-15T14:35:56.947850Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-15T14:35:56.927470Z","title":"In: Gopalakrishnan, G., Qadeer, S","venue":null,"work_id":"8e156723-f7e0-470a-b30b-b1616fa3871a","year":2011},"citing_paper":{"arxiv_id":"2608.10521","last_updated":"2026-08-11T05:51:27Z","snapshot_observed_at":"2026-08-15T14:16:37.192698Z","submitted_at":"2026-08-11T05:51:27Z","title":"Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-15T14:35:55.853282Z"},"links":{"citing_paper":"/paper/2608.10521"},"observation_digest":"sha256:f3808bdc465119782539fe6f5421e315e6a6f03c75cd01c4c6e6e6f4785c08c5","observation_id":"fcf49ba7-c32c-408e-bd11-68f0bca0a7df","resolution":{"observed_at":"2026-08-15T14:35:56.932674Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-15T14:35:56.913320Z","title":"In: 26th{USENIX} Security Symposium ({USENIX}Security 17)","venue":null,"work_id":"a8a79319-fd53-4881-a9f7-2a6d1f7c7954","year":2017},"citing_paper":{"arxiv_id":"2608.10521","last_updated":"2026-08-11T05:51:27Z","snapshot_observed_at":"2026-08-15T14:16:37.192698Z","submitted_at":"2026-08-11T05:51:27Z","title":"Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-15T14:35:55.857307Z"},"links":{"citing_paper":"/paper/2608.10521"},"observation_digest":"sha256:79bf4e23c3d32a72e62a5308501eff0bfbfa4bfe00785f11479f30838094251f","observation_id":"d99237ce-35e8-4519-879c-88185f55e77d","resolution":{"observed_at":"2026-08-15T14:35:56.918869Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-15T14:35:56.899166Z","title":"In: Kirda, E., Ristenpart, T","venue":null,"work_id":"0f3b1ba8-2521-46f6-9e9c-fea57f223881","year":2017},"citing_paper":{"arxiv_id":"2608.10521","last_updated":"2026-08-11T05:51:27Z","snapshot_observed_at":"2026-08-15T14:16:37.192698Z","submitted_at":"2026-08-11T05:51:27Z","title":"Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-15T14:35:55.862514Z"},"links":{"citing_paper":"/paper/2608.10521"},"observation_digest":"sha256:201c1a838155f3cd02364ef29e0706e9c7783062bcd2918326bd7f84e32b317b","observation_id":"5a9e4fb2-8678-4db1-9625-5a95d3f7b203","resolution":{"observed_at":"2026-08-15T14:35:56.903614Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-15T14:35:56.885142Z","title":null,"venue":null,"work_id":"e1efaed9-5e63-400b-b575-698689ac0b07","year":2023},"citing_paper":{"arxiv_id":"2608.10521","last_updated":"2026-08-11T05:51:27Z","snapshot_observed_at":"2026-08-15T14:16:37.192698Z","submitted_at":"2026-08-11T05:51:27Z","title":"Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-15T14:35:55.867819Z"},"links":{"citing_paper":"/paper/2608.10521"},"observation_digest":"sha256:13ec9149c4d718169bc6dbe68095733b121eec4ffc7b6c1b038e5a18822da783","observation_id":"a361f69a-fd1c-4f40-a57c-e528fd917cd9","resolution":{"observed_at":"2026-08-15T14:35:56.890291Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-15T14:35:56.870857Z","title":"In: Finkbeiner, B., Wies, T","venue":null,"work_id":"fbce9e90-bac6-4896-93b4-0c9d886b11a0","year":2022},"citing_paper":{"arxiv_id":"2608.10521","last_updated":"2026-08-11T05:51:27Z","snapshot_observed_at":"2026-08-15T14:16:37.192698Z","submitted_at":"2026-08-11T05:51:27Z","title":"Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-15T14:35:55.871991Z"},"links":{"citing_paper":"/paper/2608.10521"},"observation_digest":"sha256:d03e91cb9ceca786df4e1cedf98359c6d6ded586b1f462c03ff063d828eadfa0","observation_id":"fe3d9d9e-a149-46c2-bff2-294b9e19ea98","resolution":{"observed_at":"2026-08-15T14:35:56.875146Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-15T14:35:56.854122Z","title":"Journal of computer science and technology36(5), 1022 (2021)","venue":null,"work_id":"3d35ed49-7abf-48b5-aa1d-5daa31c0b18e","year":2021},"citing_paper":{"arxiv_id":"2608.10521","last_updated":"2026-08-11T05:51:27Z","snapshot_observed_at":"2026-08-15T14:16:37.192698Z","submitted_at":"2026-08-11T05:51:27Z","title":"Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-15T14:35:55.876225Z"},"links":{"citing_paper":"/paper/2608.10521"},"observation_digest":"sha256:cdc6f799d2b84fca26a058f01d9a4612060389ff01dda27399af0f9580eb631a","observation_id":"a9c2d2c9-5095-4343-bfb5-eeaf5e446a32","resolution":{"observed_at":"2026-08-15T14:35:56.860689Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-15T14:35:56.841476Z","title":"In: Lie, D., Mannan, M., Backes, M., Wang, X","venue":null,"work_id":"1803d2ef-d977-40bb-83ff-6247a8ad4718","year":2018},"citing_paper":{"arxiv_id":"2608.10521","last_updated":"2026-08-11T05:51:27Z","snapshot_observed_at":"2026-08-15T14:16:37.192698Z","submitted_at":"2026-08-11T05:51:27Z","title":"Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-15T14:35:55.880146Z"},"links":{"citing_paper":"/paper/2608.10521"},"observation_digest":"sha256:cb8f6a3a13897d3511930abdb2ddf9b52346ac96fb6b09bacf3565420697888f","observation_id":"6eb9357a-e1d0-4cfc-9ea3-770d5cdde99c","resolution":{"observed_at":"2026-08-15T14:35:56.845726Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-15T14:35:56.827345Z","title":null,"venue":null,"work_id":"27ab0114-ebcf-4270-b452-18ca93a6c1b4","year":1993},"citing_paper":{"arxiv_id":"2608.10521","last_updated":"2026-08-11T05:51:27Z","snapshot_observed_at":"2026-08-15T14:16:37.192698Z","submitted_at":"2026-08-11T05:51:27Z","title":"Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-15T14:35:55.884128Z"},"links":{"citing_paper":"/paper/2608.10521"},"observation_digest":"sha256:a5ca4dd4325182a33c98df260acc2e94632b1cdcc8a482c3d74bcb4b6b9f553c","observation_id":"4fe0636d-9f38-461e-98bc-25555f9b2f2e","resolution":{"observed_at":"2026-08-15T14:35:56.831795Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-15T14:35:56.815796Z","title":"In: 48th An- nual IEEE Symposium on Foundations of Computer Science (FOCS 2007), Octo- ber 20-23, 2007, Providence, RI, USA, Proceedings","venue":null,"work_id":"eb926750-feed-4d76-b5ab-d3729e1c4f66","year":2007},"citing_paper":{"arxiv_id":"2608.10521","last_updated":"2026-08-11T05:51:27Z","snapshot_observed_at":"2026-08-15T14:16:37.192698Z","submitted_at":"2026-08-11T05:51:27Z","title":"Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-15T14:35:55.888082Z"},"links":{"citing_paper":"/paper/2608.10521"},"observation_digest":"sha256:31f1121ede466fc038c88d74ae61702b533320c16971e10bd2e667a0e0db5b24","observation_id":"ffbb5767-bbeb-4e10-aafb-72ddb3ae54d4","resolution":{"observed_at":"2026-08-15T14:35:56.819487Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2007.11524","last_updated":"2020-07-22T16:33:14Z","snapshot_observed_at":"2026-08-04T15:18:26.501887Z","submitted_at":"2020-07-22T16:33:14Z","title":"Improving Deep Learning with Differential Privacy using Gradient Encoding and Denoising","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2007.11524","snapshot_observed_at":"2026-08-15T14:35:55.892407Z","title":"CoRRabs/2007.11524(2020)","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2608.10521","last_updated":"2026-08-11T05:51:27Z","snapshot_observed_at":"2026-08-15T14:16:37.192698Z","submitted_at":"2026-08-11T05:51:27Z","title":"Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-15T14:35:55.892407Z"},"links":{"cited_paper":"/paper/2007.11524","citing_paper":"/paper/2608.10521"},"observation_digest":"sha256:d65b7ba658027e46af4b60db47ebc83f257270175d84c0002b1aef6512606290","observation_id":"91ec8d66-3ac6-4864-8d43-61e93e703dd3","resolution":{"observed_at":"2026-08-15T14:35:55.892407Z","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-15T14:35:56.803388Z","title":"In: Proceedings of the Thirty-Ninth Annual ACM Symposium on Theory of Computing","venue":null,"work_id":"f8be9a71-2e4e-48f1-9a8e-0e6c8043ea48","year":2007},"citing_paper":{"arxiv_id":"2608.10521","last_updated":"2026-08-11T05:51:27Z","snapshot_observed_at":"2026-08-15T14:16:37.192698Z","submitted_at":"2026-08-11T05:51:27Z","title":"Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-15T14:35:55.897007Z"},"links":{"citing_paper":"/paper/2608.10521"},"observation_digest":"sha256:2163d1df14d578a4194c53712ca44d0bbf89f4a3e5368309c23902872f526572","observation_id":"82be9be1-5be6-464f-b98e-78cc41a3bb61","resolution":{"observed_at":"2026-08-15T14:35:56.807322Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-15T14:35:56.791139Z","title":"In: Goldwasser, S","venue":null,"work_id":"c81fd8a5-7d40-4b69-ae20-9af7a68554f6","year":2012},"citing_paper":{"arxiv_id":"2608.10521","last_updated":"2026-08-11T05:51:27Z","snapshot_observed_at":"2026-08-15T14:16:37.192698Z","submitted_at":"2026-08-11T05:51:27Z","title":"Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-15T14:35:55.901674Z"},"links":{"citing_paper":"/paper/2608.10521"},"observation_digest":"sha256:afc977d71aae5a5e9f6adc012b8633c177c2de392d45c97262862255a577b7f0","observation_id":"27e0af9c-ea70-4ede-b11f-0e52e9b7b284","resolution":{"observed_at":"2026-08-15T14:35:56.795077Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-15T14:35:56.778622Z","title":"Information and control6(3), 230–245 (1963)","venue":null,"work_id":"58fb665b-d544-48b2-b800-84035773e28a","year":1963},"citing_paper":{"arxiv_id":"2608.10521","last_updated":"2026-08-11T05:51:27Z","snapshot_observed_at":"2026-08-15T14:16:37.192698Z","submitted_at":"2026-08-11T05:51:27Z","title":"Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-15T14:35:55.905885Z"},"links":{"citing_paper":"/paper/2608.10521"},"observation_digest":"sha256:d60d148c005831c518f4d77847c10282800b159607b138655bb12657216fd6cd","observation_id":"5327301d-682b-46bd-b3c2-673ac9c7735e","resolution":{"observed_at":"2026-08-15T14:35:56.782924Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-15T14:35:56.764878Z","title":"In: Polychronakis, M., Meier, M","venue":null,"work_id":"d290176d-5934-4c27-ac0a-1456cb3e1977","year":2017},"citing_paper":{"arxiv_id":"2608.10521","last_updated":"2026-08-11T05:51:27Z","snapshot_observed_at":"2026-08-15T14:16:37.192698Z","submitted_at":"2026-08-11T05:51:27Z","title":"Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-15T14:35:55.909733Z"},"links":{"citing_paper":"/paper/2608.10521"},"observation_digest":"sha256:246026ce62060f6702afc626f176c69c49b2973d6057ab0cd49ae34849af2046","observation_id":"adc7cb1e-34dc-4208-b8b4-8bbea6888287","resolution":{"observed_at":"2026-08-15T14:35:56.769130Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-15T14:35:56.750092Z","title":"In: 5th JILP Workshop on Computer Architecture Competitions (JWAC-5): Championship Branch Predic- tion (CBP-5)","venue":null,"work_id":"cdedd94e-7999-44dd-bd82-37617e8fec57","year":2016},"citing_paper":{"arxiv_id":"2608.10521","last_updated":"2026-08-11T05:51:27Z","snapshot_observed_at":"2026-08-15T14:16:37.192698Z","submitted_at":"2026-08-11T05:51:27Z","title":"Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-15T14:35:55.913576Z"},"links":{"citing_paper":"/paper/2608.10521"},"observation_digest":"sha256:0aa6c68fab0adbb4f41bb114e22d216aba6af47dae301d2ea8cb704019d6ee33","observation_id":"3118c42b-13ea-430b-9d78-6f2782b82c83","resolution":{"observed_at":"2026-08-15T14:35:56.754829Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-15T14:35:56.736723Z","title":"IBM Journal of Research and Development59(1), 2:1–2:21 (2015)","venue":null,"work_id":"c2da3498-76c4-4aac-acf3-f7b1527d5508","year":2015},"citing_paper":{"arxiv_id":"2608.10521","last_updated":"2026-08-11T05:51:27Z","snapshot_observed_at":"2026-08-15T14:16:37.192698Z","submitted_at":"2026-08-11T05:51:27Z","title":"Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-15T14:35:55.918539Z"},"links":{"citing_paper":"/paper/2608.10521"},"observation_digest":"sha256:f5cae06b6a80b9c68b6ebe17b93480a250bf2ed0067f90c95c915525ce336905","observation_id":"f7938098-3b49-4476-a287-6a8526a7dd7f","resolution":{"observed_at":"2026-08-15T14:35:56.741009Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-15T14:35:56.723469Z","title":"In: de Alfaro, L","venue":null,"work_id":"5bff4b1f-df2b-4185-82ac-277fe9a248dc","year":2009},"citing_paper":{"arxiv_id":"2608.10521","last_updated":"2026-08-11T05:51:27Z","snapshot_observed_at":"2026-08-15T14:16:37.192698Z","submitted_at":"2026-08-11T05:51:27Z","title":"Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-15T14:35:55.923349Z"},"links":{"citing_paper":"/paper/2608.10521"},"observation_digest":"sha256:b1f96fa41c1e7a3f14ea43e5e461150d2d5f1069c471ba5e3ad6aaa95c7cf924","observation_id":"e34477e3-5164-402e-8340-050fdca8e4a4","resolution":{"observed_at":"2026-08-15T14:35:56.728038Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2202.05089","last_updated":"2022-02-17T22:11:49Z","snapshot_observed_at":"2026-07-06T12:36:27.255388Z","submitted_at":"2022-02-10T15:19:46Z","title":"Backpropagation Clipping for Deep Learning with Differential Privacy","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2202.05089","snapshot_observed_at":"2026-08-15T14:35:55.928349Z","title":"CoRRabs/2202.05089 (2022)","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2608.10521","last_updated":"2026-08-11T05:51:27Z","snapshot_observed_at":"2026-08-15T14:16:37.192698Z","submitted_at":"2026-08-11T05:51:27Z","title":"Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-15T14:35:55.928349Z"},"links":{"cited_paper":"/paper/2202.05089","citing_paper":"/paper/2608.10521"},"observation_digest":"sha256:6ba3e04eb3167a40ba729c6c6154835bed37aaf0ab6ec0e764be7daf1628b041","observation_id":"c44c4386-fe65-4aa6-b910-a4d0315d3606","resolution":{"observed_at":"2026-08-15T14:35:55.928349Z","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-15T14:35:56.709546Z","title":"IEEE Micro 40(2), 45–52 (2020)","venue":null,"work_id":"c9267366-40ac-4641-b554-4c20bc4e4390","year":2020},"citing_paper":{"arxiv_id":"2608.10521","last_updated":"2026-08-11T05:51:27Z","snapshot_observed_at":"2026-08-15T14:16:37.192698Z","submitted_at":"2026-08-11T05:51:27Z","title":"Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-15T14:35:55.933357Z"},"links":{"citing_paper":"/paper/2608.10521"},"observation_digest":"sha256:54d0c1e1e7f069fe6c4d6aec319038052642d82d3e267385896d468687119a62","observation_id":"50a78d3d-18cb-483b-b3c8-98a9f58502a8","resolution":{"observed_at":"2026-08-15T14:35:56.714277Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1709.02753","last_updated":"2017-09-11T05:18:29Z","snapshot_observed_at":"2026-08-14T20:34:55.180844Z","submitted_at":"2017-09-08T16:00:14Z","title":"Privacy Loss in Apple's Implementation of Differential Privacy on MacOS 10.12","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1709.02753","snapshot_observed_at":"2026-08-15T14:35:55.937904Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2608.10521","last_updated":"2026-08-11T05:51:27Z","snapshot_observed_at":"2026-08-15T14:16:37.192698Z","submitted_at":"2026-08-11T05:51:27Z","title":"Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-15T14:35:55.937904Z"},"links":{"cited_paper":"/paper/1709.02753","citing_paper":"/paper/2608.10521"},"observation_digest":"sha256:9f26bea47c47d835cdec53079f78c7ec51f104af26f97e0d94476389776c6c26","observation_id":"66ed872d-e4bc-4a39-9e8e-f5981c0c6f77","resolution":{"observed_at":"2026-08-15T14:35:55.937904Z","resolver_source":null,"status":"malformed_identifier"},"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-15T14:35:55.942594Z","title":"In: IEEE International Symposium on High-Performance Computer Architecture, HPCA 2024, Edinburgh, United Kingdom, March 2-6, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.10521","last_updated":"2026-08-11T05:51:27Z","snapshot_observed_at":"2026-08-15T14:16:37.192698Z","submitted_at":"2026-08-11T05:51:27Z","title":"Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-15T14:35:55.942594Z"},"links":{"citing_paper":"/paper/2608.10521"},"observation_digest":"sha256:ce0326ccf272ae7b6f3f276bd06da88356aa2556413253fdabaf5463f2c19b40","observation_id":"d863a35c-a4bb-40bf-a77e-b7270611641e","resolution":{"observed_at":"2026-08-15T14:35:55.942594Z","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-15T14:35:56.696279Z","title":"In: Ligatti, J., Ou, X., Katz, J., Vigna, G","venue":null,"work_id":"763532ff-f788-441d-81e0-03808383b3e7","year":2020},"citing_paper":{"arxiv_id":"2608.10521","last_updated":"2026-08-11T05:51:27Z","snapshot_observed_at":"2026-08-15T14:16:37.192698Z","submitted_at":"2026-08-11T05:51:27Z","title":"Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-15T14:35:55.947622Z"},"links":{"citing_paper":"/paper/2608.10521"},"observation_digest":"sha256:df9e1d3a92a7c3ab36c4b44bc7dd63c17191dc81956fada908652f96296aadfc","observation_id":"9fa0cb4c-630a-4a5d-9c0b-69a3acac8802","resolution":{"observed_at":"2026-08-15T14:35:56.701059Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-15T14:35:56.675328Z","title":"In: McKinley, K.S., Fisher, K","venue":null,"work_id":"091131e3-737e-4ed4-b599-dac8521425ec","year":2019},"citing_paper":{"arxiv_id":"2608.10521","last_updated":"2026-08-11T05:51:27Z","snapshot_observed_at":"2026-08-15T14:16:37.192698Z","submitted_at":"2026-08-11T05:51:27Z","title":"Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-15T14:35:55.951779Z"},"links":{"citing_paper":"/paper/2608.10521"},"observation_digest":"sha256:486cd98fce6624f8ffe1e0b8bfc2a641aa6a5868b903e5ffdbaddaf09496f548","observation_id":"74c9cb6a-ac7d-47f5-9271-fc5d42d15a6f","resolution":{"observed_at":"2026-08-15T14:35:56.681885Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-15T14:35:55.956093Z","title":"Journal of the American Statistical Association60(309), 63–69 (1965), http://www.jstor.org/stable/2283137","venue":null,"work_id":null,"year":1965},"citing_paper":{"arxiv_id":"2608.10521","last_updated":"2026-08-11T05:51:27Z","snapshot_observed_at":"2026-08-15T14:16:37.192698Z","submitted_at":"2026-08-11T05:51:27Z","title":"Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-15T14:35:55.956093Z"},"links":{"citing_paper":"/paper/2608.10521"},"observation_digest":"sha256:928b0573cf3416c49b351a7036e00069061d7c58bf002106a689c0f660ba0eed","observation_id":"185bebec-8cbd-4880-94c6-23f771a08562","resolution":{"observed_at":"2026-08-15T14:35:55.956093Z","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-15T14:35:55.960154Z","title":"Journal of the American Statistical Association105(489), 375–389 (2010).https://doi","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2608.10521","last_updated":"2026-08-11T05:51:27Z","snapshot_observed_at":"2026-08-15T14:16:37.192698Z","submitted_at":"2026-08-11T05:51:27Z","title":"Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-15T14:35:55.960154Z"},"links":{"citing_paper":"/paper/2608.10521"},"observation_digest":"sha256:86ded149d3e5969b49664457f361d41fc0ee7526194270d2cd8cb42e4ea2fd3d","observation_id":"8181add7-d6c8-4933-ae19-3bc6364be885","resolution":{"observed_at":"2026-08-15T14:35:55.960154Z","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-15T14:35:56.660421Z","title":null,"venue":null,"work_id":"aedd0996-1acd-46f9-9247-ab53916a608e","year":2019},"citing_paper":{"arxiv_id":"2608.10521","last_updated":"2026-08-11T05:51:27Z","snapshot_observed_at":"2026-08-15T14:16:37.192698Z","submitted_at":"2026-08-11T05:51:27Z","title":"Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-15T14:35:55.964746Z"},"links":{"citing_paper":"/paper/2608.10521"},"observation_digest":"sha256:fd5678a6757b8b3aabc4ec18dca9dbec75d3509e7e2de2eae728f56ca1202204","observation_id":"0420c95a-831b-4a26-a203-b8070f5a665d","resolution":{"observed_at":"2026-08-15T14:35:56.664792Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-15T14:35:56.645702Z","title":"In: 2015 IEEE Symposium on Security and Privacy, SP 2015, San Jose, CA, USA, May 17-21, 2015","venue":null,"work_id":"2d320858-e1d7-4ec8-866b-664b9e32c090","year":2015},"citing_paper":{"arxiv_id":"2608.10521","last_updated":"2026-08-11T05:51:27Z","snapshot_observed_at":"2026-08-15T14:16:37.192698Z","submitted_at":"2026-08-11T05:51:27Z","title":"Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-15T14:35:55.968590Z"},"links":{"citing_paper":"/paper/2608.10521"},"observation_digest":"sha256:30768cdd36e36f9fb7657cb26baf4581095471cc5f63dbcabda6ae3a27a7aafa","observation_id":"de6c8e90-32b1-4562-8e5d-ea7ef267d625","resolution":{"observed_at":"2026-08-15T14:35:56.650119Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-15T14:35:56.631850Z","title":"In: Castagna, G., Gordon, A.D","venue":null,"work_id":"0a9c2326-cb17-4741-a142-5b791894dd85","year":2017},"citing_paper":{"arxiv_id":"2608.10521","last_updated":"2026-08-11T05:51:27Z","snapshot_observed_at":"2026-08-15T14:16:37.192698Z","submitted_at":"2026-08-11T05:51:27Z","title":"Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-15T14:35:55.972725Z"},"links":{"citing_paper":"/paper/2608.10521"},"observation_digest":"sha256:b7714ef43a4bc6b1d478afbf687a03899cfc4dd4a0920b8dad1e6e0460f2f545","observation_id":"4e98fb66-c7a1-4970-b68a-e8b6c07d8e0d","resolution":{"observed_at":"2026-08-15T14:35:56.636505Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-15T14:35:56.613235Z","title":"ACM Comput","venue":null,"work_id":"c99a0277-b395-4a7c-8ffa-a0d60ba66b74","year":2022},"citing_paper":{"arxiv_id":"2608.10521","last_updated":"2026-08-11T05:51:27Z","snapshot_observed_at":"2026-08-15T14:16:37.192698Z","submitted_at":"2026-08-11T05:51:27Z","title":"Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-15T14:35:55.978984Z"},"links":{"citing_paper":"/paper/2608.10521"},"observation_digest":"sha256:dc9f2eae7516316bc68223fc1addab4693622eee758e6ccaffaf25bf453817c3","observation_id":"1c351964-f807-4195-bd37-ee6b0d30b35b","resolution":{"observed_at":"2026-08-15T14:35:56.621628Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-15T14:35:56.595677Z","title":"SIAM (2018) 23 A Calculation of the Misprediction Rate in the Stationary Distribution Lets= 1−tandq= 1−p; we write the transition matrixMof the PSC in Fig","venue":null,"work_id":"0ba91091-f758-43a2-813d-6b40da05d4c9","year":2018},"citing_paper":{"arxiv_id":"2608.10521","last_updated":"2026-08-11T05:51:27Z","snapshot_observed_at":"2026-08-15T14:16:37.192698Z","submitted_at":"2026-08-11T05:51:27Z","title":"Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees","version":1},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-15T14:35:55.984134Z"},"links":{"citing_paper":"/paper/2608.10521"},"observation_digest":"sha256:1176e59d24c4c38c6fe8b334b0eba2191069a923fff9e74f49022bf5307645f4","observation_id":"b6a69839-e00a-4400-a0e6-9536e22ccfd0","resolution":{"observed_at":"2026-08-15T14:35:56.602936Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-15T14:35:57.226418Z","title":null,"venue":null,"work_id":"505ec8e4-49ec-4f1e-8950-a9a5743579ba","year":2017},"citing_paper":{"arxiv_id":"2608.10521","last_updated":"2026-08-11T05:51:27Z","snapshot_observed_at":"2026-08-15T14:16:37.192698Z","submitted_at":"2026-08-11T05:51:27Z","title":"Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees","version":1},"reference_index":1056,"source":"pdf_text","source_observed_at":"2026-08-15T14:35:55.721286Z"},"links":{"citing_paper":"/paper/2608.10521"},"observation_digest":"sha256:ad64506bcd8d1f50a2015ebe9da945ce0a2f3aa6ec2d26cfe5b17409ec37d02d","observation_id":"ccdf69a9-59ef-4e36-8c43-a8615ae99ee5","resolution":{"observed_at":"2026-08-15T14:35:57.231433Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2608.10521","last_updated":"2026-08-11T05:51:27Z","latest_version":1,"primary_category":"cs.CR","snapshot_observed_at":"2026-08-15T14:16:37.192698Z","submitted_at":"2026-08-11T05:51:27Z","title":"Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees"},"reference_resolution":{"displayed":66,"state_counts":{"malformed_identifier":2,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":18,"verified_exact":0,"verified_fuzzy":46},"total_outbound_references":66},"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-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"thesis":"As of 16 August 2026, this Paper Citation Record lists 66 of 66 outbound references and 0 inbound Pith citation observations for arXiv:2608.10521."}