{"as_of":"2026-08-23T16:26:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:08225d7785d106cc306f525c0238db9585898a5bac311a126892a4d6cf767fff","coverage":[{"denominator":79,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":79,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T16:31:30.379190Z","state":"measured"},{"denominator":79,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":79,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-23T06:30:58.430688+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/2507.13494/citation-record","integrity":"/paper/2507.13494/integrity","json":"/paper/2507.13494/citation-record.json","paper":"/paper/2507.13494"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T16:31:23.341059Z","title":"Abowd et al","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:23.341059Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:389877dc2f74afb528c7cace8d0327f9a60749e3c7ab1d212d26b617ebdab247","observation_id":"a94021fc-0821-4aab-8fa2-ae5c40d045c9","resolution":{"observed_at":"2026-08-06T16:31:23.341059Z","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-06T16:31:23.457819Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:23.457819Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:f91f5f8c8ae0d1a11d5973d3bfdda352ea9c221468bda87a08fca4b4c4599e97","observation_id":"7883009b-1e08-4f24-850a-4f470ea9ef04","resolution":{"observed_at":"2026-08-06T16:31:23.457819Z","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-06T16:31:23.522221Z","title":"2020.Foundations of Probabilistic Programming","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:23.522221Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:2812976172b453e0962bcecf5e4679c170815670717f8f142a13741f742e36af","observation_id":"e921e0a6-2e09-4a1d-ab20-cfc36a6f242e","resolution":{"observed_at":"2026-08-06T16:31:23.522221Z","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-06T16:31:40.204463Z","title":null,"venue":null,"work_id":"8c41891d-61f5-4e30-a285-610453d827b9","year":2015},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:23.586628Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:b279774abf452d80911ab1d8e5d389ca41fbd4a75bdfc9a7a0c1762d2c6fe799","observation_id":"79e72d42-e227-4ed5-9be2-edbc9d725902","resolution":{"observed_at":"2026-08-06T16:31:40.281302Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-06T16:31:40.019392Z","title":"1986.Probability and Measure(2nd ed.)","venue":null,"work_id":"0de1811a-803d-4387-afd4-feaf4fc230a4","year":1986},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:23.645619Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:f5db5313ef5e725f1bf83d3093700d1e351c870029694087439331ca895bcca2","observation_id":"5f9e6587-eb00-49c4-a637-0ac0905976e9","resolution":{"observed_at":"2026-08-06T16:31:40.114523Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-06T16:31:23.707239Z","title":"Bogachev","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:23.707239Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:afabca7b7f284b75b001f56568c8fb3fe3eaa6d30a8dd70fbeaa39a59dc3ca5e","observation_id":"448ba786-7e33-4a3e-9aa2-ad996a020f84","resolution":{"observed_at":"2026-08-06T16:31:23.707239Z","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-06T16:31:23.795215Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:23.795215Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:bec9f32cf08c517b1aae36ef20777fc546db56ce88abca6071a065ccb819a0f4","observation_id":"2b913a89-870c-4d2d-9619-3ef7252b7ec1","resolution":{"observed_at":"2026-08-06T16:31:23.795215Z","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-06T16:31:39.861582Z","title":"Campbell","venue":null,"work_id":"779137d9-9d66-4d8a-ab4e-b745f7c4cdd5","year":2014},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:23.841775Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:a3a515380e3d0dfb632ba0417698f93ded67be2fc56ecd103e4703b0c724cc3f","observation_id":"ab5b56e7-8672-4170-aae8-0f94344f13d6","resolution":{"observed_at":"2026-08-06T16:31:39.935209Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-06T16:31:23.893948Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:23.893948Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:0712a7656fe3eafd06d3ab24ae6e5568a1ffa2328c015f05fadfcdfcbb75943e","observation_id":"65dadb94-da71-40a8-beb6-06faeb42f3ba","resolution":{"observed_at":"2026-08-06T16:31:23.893948Z","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-06T16:31:39.702856Z","title":"2006.CR-LIBM: A Library of Correctly Rounded Elementary Functions in Double-Precision","venue":null,"work_id":"d439c998-a151-4961-9aec-6d0398720763","year":2006},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:23.941767Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:e07b8b09057da4484a23b468316170204f9a237f2126c5a73799b0310a2c7472","observation_id":"14948895-67e0-4d5e-ba8f-aaf6e2400e00","resolution":{"observed_at":"2026-08-06T16:31:39.779658Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1155/2012/675130","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":null,"venue":"International Journal of Reconfigurable Computing","work_id":"e95e81f9-c2a1-4518-900b-4e32d2a9f19e","year":2012},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:24.003730Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:c5e076c06036b065a85e2fc1ba64607f48632204a3fab46ba09beb6fccdbc51c","observation_id":"7ff06c7f-5f53-4949-b186-12f64f0c6b4b","resolution":{"observed_at":"2026-08-06T16:31:32.445422Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2722.18427","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T16:31:34.082199Z","title":null,"venue":null,"work_id":"bb36eeb0-820d-4856-9e9c-9dd3dcee6330","year":2010},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:24.099928Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:5a6464a0bc472844d43abefd3fa815e780a666eb964bf7c9d480b3dc8cbd6ad0","observation_id":"6009d45b-0d41-4c4b-8523-cf1b59c269e5","resolution":{"observed_at":"2026-08-06T16:31:34.125907Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-06T16:31:39.548939Z","title":"1986.Non-Uniform Random Variate Generation","venue":null,"work_id":"5e24f44b-90e2-4515-93fd-37d5c3f77828","year":1986},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:24.232006Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:09e1ca772ca7c39bc71585400e0a3c366e5102624eac62aaf3e6479ee84fc328","observation_id":"723c53b3-3f5f-49ca-ab22-a8bab9d2c101","resolution":{"observed_at":"2026-08-06T16:31:39.621825Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1502.02539","last_updated":"2020-11-11T03:42:32Z","snapshot_observed_at":"2026-08-19T11:34:00.674801Z","submitted_at":"2015-02-09T16:22:42Z","title":"Random variate generation using only finitely many unbiased, independently and identically distributed random bits","version":6},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1502.02539","snapshot_observed_at":"2026-08-06T16:31:24.332178Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:24.332178Z"},"links":{"cited_paper":"/paper/1502.02539","citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:f5b7ad7778eeb6cf28d619847a6feb39b807aed4f1f7f8cfc38697bd58358991","observation_id":"d9e2664b-47ad-4d41-ae03-2eb6a7300bc7","resolution":{"observed_at":"2026-08-06T16:31:24.332178Z","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-06T16:31:39.414615Z","title":null,"venue":null,"work_id":"8fcd56e7-edee-4064-b83c-153a50e11863","year":2007},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:24.420702Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:635adb161cb63bdb00b1336b956f1bcefb7de357f7bdd516a9dd119c01044bab","observation_id":"57fa8b39-32cc-4320-a4c4-fc2ee8491b00","resolution":{"observed_at":"2026-08-06T16:31:39.483368Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2504.04267","last_updated":"2026-04-24T20:57:20Z","snapshot_observed_at":"2026-08-18T06:30:19.246408Z","submitted_at":"2025-04-05T19:45:44Z","title":"Efficient Rejection Sampling in the Entropy-Optimal Range","version":2},"cited_work":{"arxiv_id":"2504.04267","doi":null,"metadata_source":"pith","pith_arxiv_id":"2504.04267","snapshot_observed_at":"2026-08-06T16:31:33.907678Z","title":"Efficient Rejection Sampling in the Entropy-Optimal Range","venue":"cs.DS","work_id":"a8f4853a-5df6-46f6-96a1-70d38449e916","year":2025},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:24.477133Z"},"links":{"cited_paper":"/paper/2504.04267","citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:a75a6e8a3f2f1f8a23de1e9a5c75af62056aa56f78e07b516e2f005ceef5b48a","observation_id":"db675b2f-b357-4512-9037-34b2bcd3b872","resolution":{"observed_at":"2026-08-06T16:31:33.957265Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2015.72939","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T16:31:33.776469Z","title":null,"venue":null,"work_id":"11072be9-5d83-4d9d-b58f-beeb52b533d4","year":2015},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:24.532861Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:ab04b5339de40c018724e25b67b53f8d2a021e39bf9df48f92d4516eb35bdba4","observation_id":"08358e01-7bfb-4bb8-a71b-f56181557b54","resolution":{"observed_at":"2026-08-06T16:31:33.830068Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s00180-021-01136-w","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T00:03:45.533247Z","title":null,"venue":"Computational Statistics","work_id":"6611466a-7243-44d6-9633-f127e19a30ab","year":2022},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:24.619681Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:de5262ba28f4558a3208971bdf299f19dbdb2c40d223d31e3f3313b813d565c1","observation_id":"0b43fb65-f14f-4389-bca7-9169e16740bf","resolution":{"observed_at":"2026-08-06T16:31:32.316924Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-34961-","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T16:31:32.080826Z","title":null,"venue":null,"work_id":"3a68481e-0f83-4876-8451-7d06b7f8b57d","year":2012},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:24.703412Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:b63951afcba78a42de06fcfdd715fe0d522daa8d005ec4e0ffb06d97cbc6e2e0","observation_id":"fca2e42b-79bb-404f-97d1-7dc4fd9754f6","resolution":{"observed_at":"2026-08-06T16:31:32.131362Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-06T16:31:24.752359Z","title":"Dwarakanath and Steven D","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:24.752359Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:aafcc23c98a019cdfe374be612f9fa43142e6bacbb28b51edec47c52aaa81cd5","observation_id":"360ed89f-1feb-4105-8a2c-42f68fbe1e2f","resolution":{"observed_at":"2026-08-06T16:31:24.752359Z","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-06T16:31:24.821364Z","title":null,"venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:24.821364Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:0cd5a20cb381b1888b19d8163aaac2f737e1268f73a6a7ccfdf6f53aa5b98cae","observation_id":"34e30ea1-4196-4ace-bd60-1f2f53aa74f4","resolution":{"observed_at":"2026-08-06T16:31:24.821364Z","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-06T16:31:24.873716Z","title":null,"venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:24.873716Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:7906a3a0e901c7bb6f774c8f40b4426bc1a38d1bd7164bbd97fc4c44b5b83b9e","observation_id":"0252a130-c91e-4960-80e4-76860f6a9784","resolution":{"observed_at":"2026-08-06T16:31:24.873716Z","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-06T16:31:24.941054Z","title":null,"venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:24.941054Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:63811aa0b4ac794dff92c97e9c6fbc1537d4c917ec15251d25a1c1418e732285","observation_id":"c79b7750-a259-4637-b828-607e7a02132b","resolution":{"observed_at":"2026-08-06T16:31:24.941054Z","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-06T16:31:39.263928Z","title":"2009.GNU Scientific Library Reference Manual(3rd ed.)","venue":null,"work_id":"0d3a0f88-4dbb-4f1c-9515-5bea5e6c9404","year":2009},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:25.027695Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:60bacdf2c2003ae38124480e79e9d28b80c19cc920ca5165576a59037aee614c","observation_id":"f1fbcfce-0e76-41e6-9acb-c76a46b14101","resolution":{"observed_at":"2026-08-06T16:31:39.332705Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-06T16:31:25.158545Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:25.158545Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:bbf3ec56e0e28cab9d1e0f3756da4ad7082e2b2245b9175bb19c66a5bf4d8bb7","observation_id":"d4432d02-f3ef-4cf2-a88a-d7733d33effa","resolution":{"observed_at":"2026-08-06T16:31:25.158545Z","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":"10.1016/j.tcs.2016.01.015","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":null,"venue":"Theoretical Computer Science","work_id":"77faeddd-b51a-42cc-95c9-85efbfc16a68","year":2016},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:25.289969Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:92f141a53e830bca6008c17689993c12a036769356abcaef72f488c0395509b6","observation_id":"dab3fe5a-4151-4b55-a37e-102760f150ff","resolution":{"observed_at":"2026-08-06T16:31:31.937547Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3604935","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":null,"venue":"ACM Transactions on Mathematical Software","work_id":"267537bc-8f1f-4b07-bbc8-530ba73e2fff","year":2023},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:25.408122Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:8d21572588e95f73747a2711af827f1b349c558b1519bf4d3ceff8a59b477936","observation_id":"f2f43800-39e3-4063-8186-89c0d204d50d","resolution":{"observed_at":"2026-08-06T16:31:31.772922Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-50417-5_2","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":null,"venue":"Lecture notes in computer science","work_id":"a2aa7fc7-041e-47ab-8e6a-58b7e27fcbf4","year":2020},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:25.528901Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:49cc7ffbaaad0d6b047f742b0ae9ff530db4f8dbe103c387c6b499f0cc3b04f6","observation_id":"5705741e-c0c9-4a1c-b1f1-1bde15e6dd51","resolution":{"observed_at":"2026-08-06T16:31:31.609834Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3503512","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":null,"venue":"ACM Transactions on Modeling and Computer Simulation","work_id":"66b627ce-f85a-4607-bb50-509784bd6cc7","year":2022},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:25.599206Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:8734e81ac73952979ac2593339d3c72b5286a5755707bcf85e35cfad34623afb","observation_id":"b691950e-55b8-4588-a6fa-3a8ec20bfb5c","resolution":{"observed_at":"2026-08-06T16:31:31.424656Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-06T16:31:39.095139Z","title":null,"venue":null,"work_id":"f5053be3-7228-48c6-955b-b030edffc3ab","year":2015},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:25.698697Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:91722f867b2e27b76a085ce6619e6ef64cb7814fa92f86d8936fed814188b473","observation_id":"28753fef-fc1b-457b-a221-2689bb7ca0f6","resolution":{"observed_at":"2026-08-06T16:31:39.174234Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-06T16:31:38.940802Z","title":"2023.GNU MP: The GNU Multiple Precision Arithmetic Library(6.3.0 ed.)","venue":null,"work_id":"896eb429-ecfa-419e-86cc-2a5bfedbbdea","year":2023},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:25.826121Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:7eb04cd2ef3e8d0b060a6ee3ea6c8259d1e08ae85c3aa697b2f09de07f69b513","observation_id":"de8eb4ed-5ee5-445b-a64a-6c7a0d1f0cc0","resolution":{"observed_at":"2026-08-06T16:31:39.009754Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-06T16:31:25.933473Z","title":null,"venue":null,"work_id":null,"year":1997},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:25.933473Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:a42cfaf5f72e3f985cfed7959a4bff04b5949777da51323d48aab704c794b8c0","observation_id":"89892af3-044d-46f5-9b93-9f6835f6c0ba","resolution":{"observed_at":"2026-08-06T16:31:25.933473Z","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-06T16:31:38.788515Z","title":null,"venue":null,"work_id":"e38dfd44-e12d-4944-a2af-d1d4621e8b76","year":2020},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:26.044990Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:31dbc9eb9d5d0aa2716f838217fc8ad2b0071bfbc9844bbf89a6ade5c7628329","observation_id":"5ec69618-4606-431c-a5d3-b23820d32982","resolution":{"observed_at":"2026-08-06T16:31:38.857772Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-06T16:31:26.105704Z","title":"2019.IEEE Standard for Floating-Point Arithmetic (IEEE Std 754-2019)","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:26.105704Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:7cafe846d48778990db56339512a44c83bd24ec575105b21caa703f611860ea1","observation_id":"cda4b82e-698d-4eec-bdf1-375b754d2f05","resolution":{"observed_at":"2026-08-06T16:31:26.105704Z","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":"10.1109/tc.2018","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T16:31:31.162282Z","title":null,"venue":null,"work_id":"7af6e5e0-e125-433a-af6a-483c7c188841","year":2018},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:26.248967Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:075ad1f6230da06226678a5b7af843151f06792f23bd973c6edbf9db14fed408","observation_id":"d55ef691-8ed4-4205-b750-d6c06d7a794c","resolution":{"observed_at":"2026-08-06T16:31:31.242920Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-06T16:31:26.333372Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:26.333372Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:46708b5622d9cb6cd4e176e0137fb722e7402f551b013a6954f18efe732ff5f8","observation_id":"a81cc129-2584-4363-8cbb-998b863e16da","resolution":{"observed_at":"2026-08-06T16:31:26.333372Z","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-06T16:31:38.655461Z","title":"Knuth and Andrew C","venue":null,"work_id":"3ccebc4b-eec6-41fb-9cd9-c01722a01c2c","year":1976},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:26.452779Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:3b9987d66afb2728ada24e8d69b0f3e5e44192827065a54e44c62be194912f28","observation_id":"98924023-ca4a-4fcd-9a11-8e858408884d","resolution":{"observed_at":"2026-08-06T16:31:38.726657Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-06T16:31:26.535838Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:26.535838Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:48fcfd4f546801a306a5e51b48167f045ed41eacf2ad9ac8689a82a33aac86aa","observation_id":"840f9807-5690-4ed3-a427-01e55e9ea493","resolution":{"observed_at":"2026-08-06T16:31:26.535838Z","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-06T16:31:26.648367Z","title":"Lim and Santosh Nagarakatte","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:26.648367Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:956a464fb079738159195b3671843d6a59b2e43ec02e3138dc43bf876f81b571","observation_id":"e35f0d67-1473-4b47-bcdd-cb8c337ba18f","resolution":{"observed_at":"2026-08-06T16:31:26.648367Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1304.1916","last_updated":"2013-04-06T17:38:04Z","snapshot_observed_at":"2026-08-15T00:22:23.926570Z","submitted_at":"2013-04-06T17:38:04Z","title":"Optimal Discrete Uniform Generation from Coin Flips, and Applications","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1304.1916","snapshot_observed_at":"2026-08-06T16:31:26.750561Z","title":null,"venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:26.750561Z"},"links":{"cited_paper":"/paper/1304.1916","citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:f5dcd137d9d1d46dce3b56c4121a5978f25ee8308af8df587a8d45025dab288e","observation_id":"1070252f-192d-4cff-bf4c-5beb193e1aec","resolution":{"observed_at":"2026-08-06T16:31:26.750561Z","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-06T16:31:26.806968Z","title":null,"venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:26.806968Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:31da725d9c65c9e3d5f4dea74a6e91ead86cf148ff60f90ca262c29f34cb80fe","observation_id":"b083c793-0f62-4a0e-8081-2b44713ac23e","resolution":{"observed_at":"2026-08-06T16:31:26.806968Z","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-06T16:31:38.475404Z","title":"2017.Probability and Computing: Randomization and Probabilistic Techniques in Algorithms and Data Analysis(second ed.)","venue":null,"work_id":"638391f7-ed71-43db-9115-35afc912ab99","year":2017},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:26.869859Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:ecead80a60155ef91790f740ee53bd032f4f91eced764bbd4e268bfeb6a4ddbe","observation_id":"06f1b987-7431-43af-851d-0733e0b9a51e","resolution":{"observed_at":"2026-08-06T16:31:38.562610Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/bf01975722","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T00:03:45.533247Z","title":null,"venue":"BIT Numerical Mathematics","work_id":"2c578292-fac1-402d-93da-8c1487b2321e","year":1965},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:26.925357Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:ae5a8bb3f61abce70c2b9d94e766ccdedd1ff488556b713e0f5c22eb5ffd0894","observation_id":"4b7b01b7-ecc4-487c-aec3-0db21264231d","resolution":{"observed_at":"2026-08-06T16:31:30.982345Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-06T16:31:38.322585Z","title":null,"venue":null,"work_id":"c6d24e1f-0304-4175-8b83-15c66ef80fc6","year":2023},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:26.979617Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:0fae236cd4ef45f8a84492a76328487227d3539ee0990c191e09caf69b17d05a","observation_id":"636ec8e2-4067-4917-bb19-6758e0852b13","resolution":{"observed_at":"2026-08-06T16:31:38.414894Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-06T16:31:38.192770Z","title":null,"venue":null,"work_id":"c5d4b103-32fa-4a73-8cb8-109a1536f97a","year":2023},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:27.074212Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:e81f65301fd11c15155d6bcb0abd0f61ae5e973ef4be48cfaf12bb7ad1c85a7c","observation_id":"88588651-81de-4a51-aa2d-7f83cabf23a7","resolution":{"observed_at":"2026-08-06T16:31:38.258018Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-06T16:31:38.081023Z","title":null,"venue":null,"work_id":"7cfbea6d-c605-49e3-9392-b74a85404060","year":2024},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:27.114429Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:557102dfd0eaed43a7ac5a68532af3de88645dda0ff6c6154cdabb573d2d7e37","observation_id":"0693bb3a-6ed9-4b4d-a0c1-37955d19118f","resolution":{"observed_at":"2026-08-06T16:31:38.126190Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-06T16:31:27.206594Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:27.206594Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:da6f5d6ed134edb1a2227441644de01a930b9bb00662c80747f11bf9b3a532af","observation_id":"e1821c59-fd7d-4a9d-9862-2d4ae0d02870","resolution":{"observed_at":"2026-08-06T16:31:27.206594Z","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-06T16:31:37.956101Z","title":"2022.Standard for Posit ™ Arithmetic","venue":null,"work_id":"547ed401-de55-49ef-88f6-b489f555fd08","year":2022},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:27.304292Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:e49d89e041693a9385ea5a0ff89578748a32d576dad05d48fc56e82c39ed93bb","observation_id":"8ca792cf-58ac-459d-a4a3-15cb6096de66","resolution":{"observed_at":"2026-08-06T16:31:38.003195Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-06T16:31:37.870061Z","title":"Press, Saul A","venue":null,"work_id":"93dd1261-e889-4898-b27f-807ab6b52312","year":1992},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:27.393022Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:d18ef817fe2668473530842a966e6744f1b5da3379bcd7c9bd1820e4e9a0a647","observation_id":"de7f54fb-2cf1-41ac-826a-177a24fad3a7","resolution":{"observed_at":"2026-08-06T16:31:37.904516Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-06T16:31:27.491406Z","title":"Roy, Frederik Vercauteren, and Ingrid Verbauwhede","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:27.491406Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:335d7ca59b3d236d9ccf662b0069991a0844cafad1c1bbcc5a62e800ffa57ee2","observation_id":"1cf8a2e0-39f1-4aaa-9bc1-adf9190573c4","resolution":{"observed_at":"2026-08-06T16:31:27.491406Z","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":"10.5281/zenodo.15243770","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"2025.librvg: C Library for Random Variate Generation with Formal Guarantees","venue":"Zenodo (CERN European Organization for Nuclear Research)","work_id":"2b49573f-b989-473d-bf54-404655c940bd","year":2025},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:27.592834Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:8982c9f67a11d3f6109deefc33705c060a6af9bff5eafc18eb7745bce061acff","observation_id":"0202cea8-58f4-4a70-af3b-cdc0dfc5cc9f","resolution":{"observed_at":"2026-08-06T16:31:30.784245Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-06T16:31:37.786100Z","title":"Saad, Cameron E","venue":null,"work_id":"fdb38545-a4d7-40a5-a2ff-37538005c714","year":2020},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:27.755755Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:ff20f5eb5c47302eff12f64439391aed17827cfe3a48d4c5efb772a21f111058","observation_id":"71a6b2bd-497b-425c-93b1-ba0ea4c848de","resolution":{"observed_at":"2026-08-06T16:31:37.827320Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-06T16:31:27.867252Z","title":"Saad, Cameron E","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:27.867252Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:d7fb898bfdea04458d95f22e61b7f03a68f78d7f30fcc5b80afe37204dba8156","observation_id":"aeeecb40-1275-4f64-8b59-636b085d6fac","resolution":{"observed_at":"2026-08-06T16:31:27.867252Z","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-06T16:31:28.011291Z","title":"Saad, Martin C","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:28.011291Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:98664613664fc7fdeec841cd7cad39f2bb9eacf283407719d3baa70b75264b80","observation_id":"8553bc99-8720-441f-a51b-5448dd481df5","resolution":{"observed_at":"2026-08-06T16:31:28.011291Z","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-06T16:31:37.706759Z","title":"1978.Computational Geometry","venue":null,"work_id":"6f74193d-74af-4ce1-85ae-cfd58674568a","year":1978},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:28.111333Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:3f67f6c4c648aa798b2f6853a84aaabdcefdea2d2cb24e62956e8cb28f173c66","observation_id":"d2002c0a-8f8f-4133-a551-f95f4210108e","resolution":{"observed_at":"2026-08-06T16:31:37.739828Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2022.00014","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T16:31:33.118072Z","title":null,"venue":null,"work_id":"bd29f070-25f4-434f-b523-e615805a2660","year":2022},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:28.228476Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:aba50227b46e249cbe8d662a2ae8e8a9f0cde2c62fadc7d661493cce5446c159","observation_id":"24a3461f-a448-422a-971a-f15981398f60","resolution":{"observed_at":"2026-08-06T16:31:33.183272Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1972.50089","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T16:31:32.904966Z","title":"Sobolewski and W","venue":null,"work_id":"8e30da93-012a-43a1-a9a9-98d4b47bba59","year":1972},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:28.308271Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:e71e335061df018c1e3b7c2676a0f32974e2abae23cecd97c898ca396bf009c3","observation_id":"14d281c4-58c7-4eb8-a0ee-74644e1e256c","resolution":{"observed_at":"2026-08-06T16:31:32.958860Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-06T16:31:37.622199Z","title":null,"venue":null,"work_id":"c0eb7247-f843-415e-85a6-6ce054ef54e7","year":2003},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:28.381346Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:1222ef540ad7ac0f0b1450934b35bb1dbbdef2d649860133e95c72d9b506916d","observation_id":"4b087667-9af1-435b-9369-77bdc6b0a832","resolution":{"observed_at":"2026-08-06T16:31:37.662926Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-06T16:31:37.481065Z","title":null,"venue":null,"work_id":"91782d1f-4885-4dd4-b6df-0df4785b5b43","year":2024},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:28.463201Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:d5eb1d73625188563f3e38f267ab71e6ac821a788e4871c28076d9bc38232203","observation_id":"30546488-3f67-48b7-8bca-e7609af59896","resolution":{"observed_at":"2026-08-06T16:31:37.522554Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-06T16:31:37.323915Z","title":null,"venue":null,"work_id":"8ac665c2-b7cb-467e-9898-62cabc31d0f3","year":2007},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:28.562701Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:266a98c351974870f1f79d9efc6d432b3ab685be696b9b93091b59ff06bceb53","observation_id":"ce47a151-6ca8-4f4c-96da-ff69b0e19142","resolution":{"observed_at":"2026-08-06T16:31:37.395324Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2008.46299","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T16:31:32.661006Z","title":"Thomas and Wayne Luk","venue":null,"work_id":"b75211f7-4ff0-4723-8f79-5fc9616e9587","year":2008},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:28.676588Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:c1db63ad967a54d3645e865898dfe45051cb4ab1e230e7e044a7e9f304a4c1fd","observation_id":"e8152b85-c606-4507-aedd-b4d7dd303124","resolution":{"observed_at":"2026-08-06T16:31:32.743383Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-06T16:31:37.110928Z","title":null,"venue":null,"work_id":"d7b2c7de-eae3-407c-a878-28b71eef527f","year":2003},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:28.790453Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:5091a8ef229eee17a96eb2caa1f824f666071a61a5d744caed7fca32a90079f9","observation_id":"d0583158-6140-4f49-b6d2-631a89d26548","resolution":{"observed_at":"2026-08-06T16:31:37.235039Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-06T16:31:28.888959Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:28.888959Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:52fc039a0ba3ae9125e3f5d9a0aca06f412fb394d809d8a995c6df817538f6a3","observation_id":"3149333a-dd83-407d-a5f5-29f49805f778","resolution":{"observed_at":"2026-08-06T16:31:28.888959Z","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-06T16:31:36.903584Z","title":null,"venue":null,"work_id":"b3547da7-3c0a-4b75-ad57-7b353b08e36d","year":1951},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:28.977672Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:e021a2d1f20653d1f77aaff8c7a0c7f964775e699416aeba46e0d9e44dfdec69","observation_id":"c39d1b00-0080-45bd-935d-e3df9cb38808","resolution":{"observed_at":"2026-08-06T16:31:36.979705Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1049/el:19740423","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":null,"venue":"Electronics Letters","work_id":"b752be6a-f3d2-4390-a2d7-01155db6d095","year":1974},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:29.123135Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:8fadd6d959b3c2dc12509c3a138f559c84991e22090b5bb7914a53c45953d053","observation_id":"90efaf6f-f04b-4432-bddd-815ae87e9bc2","resolution":{"observed_at":"2026-08-06T16:31:30.580135Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-06T16:31:36.685586Z","title":null,"venue":null,"work_id":"d928c5f8-14d5-4ecc-a08e-6fb51e750413","year":2019},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:29.207671Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:4bdd5ef1950b6ed43998262a61c55f45ce34dbe9e48035f12953b66a95eb6b3d","observation_id":"50b30f43-e2a2-4aae-9986-bf8bb39318ff","resolution":{"observed_at":"2026-08-06T16:31:36.795355Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-06T16:31:36.353114Z","title":null,"venue":null,"work_id":"de44ba58-7fda-469b-951f-882ec02e6e75","year":2001},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:29.294512Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:ac4fad9246900a77a0e821805b0bbe8eeeedeb309e8e21a7d02eeb7ebe2bec2e","observation_id":"76902180-9561-44cf-9e66-ab3fa7052992","resolution":{"observed_at":"2026-08-06T16:31:36.552863Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-06T16:31:29.380163Z","title":"midpoint","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:29.380163Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:cd2a9deb90193ac9416696ad5dd66e075425029b00bf99c1174e43de0f81244f","observation_id":"b616d62d-5c4f-4afa-9f36-63b5c4287e65","resolution":{"observed_at":"2026-08-06T16:31:29.380163Z","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-06T16:31:36.020325Z","title":"Since 𝑧𝑗 = 0for all ℓ<𝑗<ℓ ′, we can apply Theorem 4.2 to ( ˆ𝑧, ˆ𝑥, ˆ𝑦,ℓ)","venue":null,"work_id":"b37daca3-30b0-4f5c-b48f-0f7f780afb1a","year":null},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:29.495245Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:c9618a1be284adbbc6fc74b0da73351ee82c86ad57e8153a5bd6c0b7b550e1d6","observation_id":"25664d2c-b397-4dfc-9fde-2db7778c0e4a","resolution":{"observed_at":"2026-08-06T16:31:36.155794Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-06T16:31:35.696909Z","title":"Also, all intermediate values appearing in both algorithms are representable as(1+𝐸+𝑚)-bit signed integers.« Proof.We prove the claims for𝑥<1and𝑥=1separately","venue":null,"work_id":"a8de3f6a-4b92-42e7-8075-adc05da077b1","year":2025},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:29.560581Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:5adae4d139ebdabb354849739ac227d97fb6ec1931f69ca81cbeb5a6a88b22ce","observation_id":"d5a893cd-4f25-4254-9e97-17134711b136","resolution":{"observed_at":"2026-08-06T16:31:35.863110Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-06T16:31:35.259719Z","title":null,"venue":null,"work_id":"80ba4ad9-2393-40a8-bf7b-46bfcaac7895","year":null},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:29.607760Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:e311b67d9056d2ea95c3c1db1b9bfdaed4184f9d49b67994c5d978d2348f22fd","observation_id":"e6fce32b-8913-4ef1-b257-2a96554f4795","resolution":{"observed_at":"2026-08-06T16:31:35.464495Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-06T16:31:35.007757Z","title":null,"venue":null,"work_id":"33ec1621-506a-4727-8c17-6f92af05f021","year":2025},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":73,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:29.676636Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:fbefd7f9492761f3437d2d3bcc18ae76759c9a715f55533fa8fabf12344fb8b6","observation_id":"28b38c3b-3651-48ad-9688-1fe397f4f91c","resolution":{"observed_at":"2026-08-06T16:31:35.089182Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-06T16:31:34.909529Z","title":null,"venue":null,"work_id":"b8409eb9-a6e0-46b5-ad1a-34956f749545","year":2025},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":74,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:29.782651Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:87ae55be22993c131d6115afa2c1503cf86eba7532666d55ddf01fa23f4a63f3","observation_id":"8565d6b2-cf90-46c9-8b56-1ea7adc4530e","resolution":{"observed_at":"2026-08-06T16:31:34.970974Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-06T16:31:34.770984Z","title":"Also, all intermediate values appearing in both algorithms are representable as(1+𝐸+𝑚)-bit (signed or unsigned) integers.« Proof","venue":null,"work_id":"b7d67b6c-3e3a-4b36-8659-151b3d9c3e66","year":null},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":75,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:29.892015Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:368447cf15b702e0225dbddd1010e79c89f78d2eb75457d7c9a1fb14e1b07d41","observation_id":"191604ba-61e2-48d6-8d2b-13d2e3b777c9","resolution":{"observed_at":"2026-08-06T16:31:34.844184Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-06T16:31:34.653552Z","title":"Here, the first inequality is by𝑥,𝑥′∈[ 0, 1 2), and we have the remaining equalities as in the proof of Theorem 5.16","venue":null,"work_id":"bc369dfc-78b4-4a17-b8b4-e52bad40a363","year":null},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":76,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:29.979349Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:e2199226b30dc09fa7963f7404fd708fe9f42d86cf08b75eb74a05a5802bd4a9","observation_id":"97a795c0-7e07-44e0-ac12-c36680553bd2","resolution":{"observed_at":"2026-08-06T16:31:34.712430Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-06T16:31:34.543929Z","title":"1 1 𝑥+𝑥 ′ 𝑓+𝑓 ′ hi 𝑓′ lo 1−(𝑥+𝑥 ′) = 2𝑚+2−(𝑓+𝑓 ′ hi) 0 if𝑓 ′ lo =0 2𝑚+2−(𝑓+𝑓 ′ hi)−1 2 ˆ𝑒− ˆ𝑒′ −𝑓 ′ lo if𝑓 ′ lo >0 | {z } − ˆ𝑒−2bits | {z } 𝑚+2bits | {z } ˆ𝑒− ˆ𝑒′ bits (E.12) Proc","venue":null,"work_id":"a7eed82b-647b-4175-aef3-c4cd9722ae7d","year":2025},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":77,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:30.111856Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:1b79ee7c402575c92d72a88eb14fb3e3ad34bb10d12e3b652c346bcd5ca99bf9","observation_id":"40e67776-85fc-4f5e-954c-2a885a959559","resolution":{"observed_at":"2026-08-06T16:31:34.596675Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-06T16:31:34.426612Z","title":null,"venue":null,"work_id":"cd0609f0-6325-434e-8810-8b48d6cd7b61","year":null},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":78,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:30.211227Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:c840bed1e735d1052ae2fc500c3feb13682a14d158fd10b9af66f57f0c1b2a13","observation_id":"78cf9acf-946e-4a9a-978c-99c526436f68","resolution":{"observed_at":"2026-08-06T16:31:34.490032Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-06T16:31:34.303323Z","title":"Thus, 1−(𝑥+𝑥 ′)=0","venue":null,"work_id":"732aa2b4-da2f-4a3c-b262-ee26ed74c4f4","year":null},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":79,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:30.315742Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:8c7703b85de06c7e4b1ec9fbe2ddd6a547072758f702c0eec6f2ada320fe474e","observation_id":"3d1d618b-cd0f-433c-be79-184bbbba4edc","resolution":{"observed_at":"2026-08-06T16:31:34.356015Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-06T16:31:34.174232Z","title":"ACM Program","venue":null,"work_id":"39eb3fd3-a5fa-46e1-91b1-35551ff7afdc","year":2025},"citing_paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees","version":1},"reference_index":80,"source":"pdf_text","source_observed_at":"2026-08-06T16:31:30.379190Z"},"links":{"citing_paper":"/paper/2507.13494"},"observation_digest":"sha256:216d2852998e9a38579179f765463f3e19749d86e19f66a4961015380f0952b7","observation_id":"78dd418b-39a3-460f-a75c-af8851141c82","resolution":{"observed_at":"2026-08-06T16:31:34.232955Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2507.13494","last_updated":"2025-07-17T19:05:07Z","latest_version":1,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-07T20:47:47.570844Z","submitted_at":"2025-07-17T19:05:07Z","title":"Random Variate Generation with Formal Guarantees"},"reference_resolution":{"displayed":79,"state_counts":{"malformed_identifier":2,"metadata_mismatch":4,"parse_uncertain":0,"unresolved":43,"verified_exact":12,"verified_fuzzy":18},"total_outbound_references":79},"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-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"thesis":"As of 23 August 2026, this Paper Citation Record lists 79 of 79 outbound references and 0 inbound Pith citation observations for arXiv:2507.13494."}