{"as_of":"2026-08-16T16:05:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:467d70d6bf80acaa3b65c36136aa958b739c0e10556064b6efeab80e4ae43592","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-16T11:39:46.744360Z","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:8bcdd2b65e66baeab62d790feb9a88aea2e1cd0c5dec5473c0f3a74093bcaf20","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-16T11:39:46.744360Z","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:cd5692ae6aa93516ced1564d3828cc9b45069d5032f242f8b51f236e645cb4d8","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-16T11:39:46.744360Z","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:f4b340c700dedffb6212c292d8cea20dbf86ce3004d061730be73cd353797db6","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-16T11:39:46.744360Z","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:18dd1e152d09fbdd713a5d71660f86fc1437935ff902b3f00ced7830ce632471","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-16T11:39:46.744360Z","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:7d76d1cb1383dced6233d38bb3350531b037c6a1bb1cc9cd2ba0b4e565dddb5e","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-16T11:39:46.744360Z","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:9dea68c341eec950ffb222d7024b6556800f160f0aed61ad758afca01d7efd11","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-16T11:39:46.744360Z","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:2ff7ba1b0999b414eaa192044a31e31241d9340a08f55d9968eba1892102da5f","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-16T11:39:46.744360Z","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:bb58f9ea8c3bcca83e2daa4e342695d0cc3ed30e020c366f9a2c2039c8a8c67e","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-16T11:39:46.744360Z","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:5e34868dcf061f9aa3240f5e5401288b030e85a8c8640f0894ac10ad92c8124c","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-16T11:39:46.744360Z","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:91ba80caf7d1b3d8da337f6178536cd813fbe26c5cca0f169bea04227e3e6c1e","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-16T11:39:46.744360Z","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:5c060e844e1c7ea429f4fbd792aab88ec24706948f363daf4ad31a8c0621d21a","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-16T11:39:46.744360Z","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:870fd4b0eee6585b8b375f5e874e0a878c2014f209fecb5a5d54393f81b94900","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-16T11:39:46.744360Z","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:de33d19f2ba70f760fea17882eb3bcd41e673ff9ad9efd7e155504092a74993c","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-16T11:39:46.744360Z","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:006b89247ef670e64ca81f059b2cbcf33e3bb6dd7bdcdd0ef4d6cb12a488d6cc","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-16T11:39:46.744360Z","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:e60e86443b7e43ae1ab5f1cb8f8021fbe7fc1d6aba9653fefd99610a00f8352c","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-16T11:39:46.744360Z","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:a3ea16887b6cdae9954f8d21e57851fc896db955361e50d0f1ed4785a9536a69","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-16T11:39:46.744360Z","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:44cc979da22fe17d65fd863392cbe4d4a1e5c9c64d5e001c607e00e93ac0aba1","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-16T11:39:46.744360Z","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:2e69d761bca464f19fa789c6a76f113a4178c1114aa72ebeeea744b52e8c096a","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-16T11:39:46.744360Z","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:1048441c7346cef92e480a7e3fd201d3918d904c923340dfd91844fdf0f12bb0","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-16T11:39:46.744360Z","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:f384d0959d76a6f9b7fc380bfb0522279a34472fc2f10e75581a160aac45611d","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-16T11:39:46.744360Z","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:59fffccd5dcc18c2097a10255226e5d14adb881ebfc2171c1d895c27b5eea5cc","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-16T11:39:46.744360Z","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:fadf6d56d56707f65537bdd237d278e8a5e3a7fb64a4a1b83e8bf1e414f7b10b","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-16T11:39:46.744360Z","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:7de27be6dce80273f5082b077fc1f357d94f2c9d55730cbb79ccc3f06e3a48ac","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-16T11:39:46.744360Z","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:4a0a4dc511ee16591330d1e5e0ddfa48b26affabe6440e1d8cc16f73e502f687","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-16T11:39:46.744360Z","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:6cfb4fe3a11f00f819a744672a35c34840457cd70ea4569b41593ce6680245b4","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-16T11:39:46.744360Z","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:159a679fad719f3ab92ab8f98706ec7b46fc36eb817d56979dfd09802cf9f8bd","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-16T11:39:46.744360Z","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:ea6bf211ee455652a3df4b49d31441bb4e07d8feba8ca9053e247c0dafa4d885","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-16T11:39:46.744360Z","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:0f82000b4943629e9cc1a48d846113a69b641dd683932f69aa28a00b391144af","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-16T11:39:46.744360Z","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:78fb7f15b993692d9ddc7da60658459892e5fa8d49ca4480914b475cefd40e33","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-16T11:39:46.744360Z","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:c23b16c76a1ceacea2f18bbe36e949018f9c4487a8c9bd7f65ace26c7f71d15d","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-16T11:39:46.744360Z","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:966f4795a518ee47dee1c032e2febeed8b0433c76a5a44a60c8aee320b4b5ece","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-16T11:39:46.744360Z","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:e6b8d385293707802310ef9177f5daab95d80aa406498ba873c611e9670f363a","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-16T11:39:46.744360Z","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:8698db5bfa1c471008418f9abba0f3b361e25d1ef3c609e2f2ee717a6781de1f","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-16T11:39:46.744360Z","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:bbe37e0d3c3d44fdd713e3c4c0a0551c63fcc57eca2a4da619067cb45f08b0cf","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-16T11:39:46.744360Z","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:002b2843c4bea857c285c27df1e4731077ce6a47d5e0313840320d79c4b2ed9a","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-16T11:39:46.744360Z","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:71cb585b0664f171c21bca825b2fb96da9b46fc7470f98cbde1b1592f328ceb0","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-16T11:39:46.744360Z","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:d524875438f48fe14b0de53a488292894ccd5dbae2f99dab91fcdfba89cddffd","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-16T11:39:46.744360Z","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:2ca3b2f0cba0a370d63c6c94ab8bd589168d758d07ceb189ef6d50c4bc4d1966","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-16T11:39:46.744360Z","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:7c2320b3558ccfd13839f557a08511b656d147974e6624f835bd9a3d1593b02c","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-16T11:39:46.744360Z","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:a348c027c4e115f2605c449344aee209f131af26735ff179d76d852d48ae009b","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-16T11:39:46.744360Z","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:2f9d06af7beceeb43f0b100ad3af12e4a1dbe64aac370b7b8a886e55161928fb","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-16T11:39:46.744360Z","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:6b73606ea078a99895ef38c287ae411235a850d25dadbd1864b9e47183436ce5","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-16T11:39:46.744360Z","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:66b0dd4a8ac5f4ac13c23e1fe7a4aab61817d1d3b5070090c2705a1a2dca2bef","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-16T11:39:46.744360Z","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:be51bfe30593490e405ec4528e4a6462514164ba5dda1e5a9bd8046c0a9f4087","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-16T11:39:46.744360Z","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:110becac2f8a99a22ccb4c712753ef605910cc648a13f7bfc87c8f4f57d835fe","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-16T11:39:46.744360Z","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:fe5383afdc2a33c79d93637bea012302c7a970346da50347efaf2ea267e66623","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-16T11:39:46.744360Z","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:ba19c58060fae5014fb69a8ad30f27272254237e2f4c0ee8cda81fd9b6c8297d","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-16T11:39:46.744360Z","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:469da7e9c17545c48239eb3067f4a943694e38e613878d28b7089e1abf2e0f12","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-16T11:39:46.744360Z","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:64a39ca92b3376ca4451c4ede34b1ac0593be4dce2be90bceb08e7434f02137f","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-16T11:39:46.744360Z","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:0b9ff31cfac7c6e14cc775ca477015ec531a180896c1f93fb405217700caa2ac","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-16T11:39:46.744360Z","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:61a41ebbc99b2b0a09bbce40dd152136717e4b25172ae988fbd620926107a03c","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-16T11:39:46.744360Z","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:80b018e22d2555695ea273349da0edf0809b1b7b3b65afc580086b03f5bdd1e3","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-16T11:39:46.744360Z","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:288a685f9e607254068e7d20b9d3b0e4484f4a0f8aa46f71b811d8f2cf16f6c2","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-16T11:39:46.744360Z","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:e9e56dd88c846949d262951778ca360874bae9f34950b69d25e556d532683b8b","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-16T11:39:46.744360Z","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:3696a3545a13afe47c267823c2b6e62ed70da353540e3950727d4932aa35a71a","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-16T11:39:46.744360Z","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:99f33572ad26d7bebfe64a3e9deaef5cae0ce3ce237204ababcdd76e687ab832","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-16T11:39:46.744360Z","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:98fdd874d4e7af29defe3bf1a278e3319d29a4fa14c652c1ead861ffa1da5de3","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-16T11:39:46.744360Z","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:0c52e31dcb40d9a6fc90d0733822ea69848932e59fffc3d24c482f4326b4364c","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-16T11:39:46.744360Z","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:e66d17722c296dca2e2897a6b1e14d358712a767dfdb67422fcc03757a99abdc","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-16T11:39:46.744360Z","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:61771ea7b6c4927f9540db77e833175c2386aafdcbf6730cbfb763d6251adf0f","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-16T11:39:46.744360Z","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:b149be1b1581f1d73c18f31f3047434b7b59958485bcdb0e78d791f8c6a3145e","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-16T11:39:46.744360Z","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:568a1364dc1cd2908276908fa6a6168919d5c7268690ed1defea20aa05adc9d7","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-16T11:39:46.744360Z","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:e29aad3dd992d77aa8588a75368d5f31294a14156ca55337506d35512014ceab","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-16T11:39:46.744360Z","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:cd6a763052067804584fd1a6e509b1594a5cfea6af5eca18ff894eb829950f30","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-16T11:39:46.744360Z","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:e2bc38b6033fea6762fe9d88fdf0d7485c83cc9fb6b4a71bd2865838c3df8b84","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-16T11:39:46.744360Z","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:3720598bd47ba9bc713a89c9eb318be2fb9849051e7c7cc80184cc90472411c3","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-16T11:39:46.744360Z","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."}