Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-06T16:31:30.379190Z
Paper Citation Record · LEDGER
Random Variate Generation with Formal Guarantees
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.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-23T06:30:58.430688+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
79 of 79 outbound references displayed
- verified exact12
- verified fuzzy18
- unresolved43
- parse uncertain0
- malformed identifier2
- metadata mismatch4
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation a94021fc-0821-4aab-8fa2-ae5c40d045c9 · outbound
This paper cites Abowd et al.
Random Variate Generation with Formal Guarantees Abowd et al
Reference 1
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T16:31:23.341059Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7883009b-1e08-4f24-850a-4f470ea9ef04 · outbound
This paper cites an unresolved cited work.
Random Variate Generation with Formal Guarantees Unresolved cited work
Reference 2
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T16:31:23.457819Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e921e0a6-2e09-4a1d-ab20-cfc36a6f242e · outbound
This paper cites 2020.Foundations of Probabilistic Programming.
Random Variate Generation with Formal Guarantees 2020.Foundations of Probabilistic Programming
Reference 3
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T16:31:23.522221Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 79e72d42-e227-4ed5-9be2-edbc9d725902 · outbound
This paper cites an unresolved cited work.
Random Variate Generation with Formal Guarantees Unresolved cited work
Reference 4
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T16:31:40.281302Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 5f9e6587-eb00-49c4-a637-0ac0905976e9 · outbound
This paper cites 1986.Probability and Measure(2nd ed.).
Random Variate Generation with Formal Guarantees 1986.Probability and Measure(2nd ed.)
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T16:31:40.114523Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 448ba786-7e33-4a3e-9aa2-ad996a020f84 · outbound
This paper cites Bogachev.
Reference 6
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T16:31:23.707239Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2b913a89-870c-4d2d-9619-3ef7252b7ec1 · outbound
This paper cites an unresolved cited work.
Random Variate Generation with Formal Guarantees Unresolved cited work
Reference 7
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T16:31:23.795215Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ab5b56e7-8672-4170-aae8-0f94344f13d6 · outbound
This paper cites Campbell.
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T16:31:39.935209Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 65dadb94-da71-40a8-beb6-06faeb42f3ba · outbound
This paper cites an unresolved cited work.
Random Variate Generation with Formal Guarantees Unresolved cited work
Reference 9
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T16:31:23.893948Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 14948895-67e0-4d5e-ba8f-aaf6e2400e00 · outbound
This paper cites 2006.CR-LIBM: A Library of Correctly Rounded Elementary Functions in Double-Precision.
Random Variate Generation with Formal Guarantees 2006.CR-LIBM: A Library of Correctly Rounded Elementary Functions in Double-Precision
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T16:31:39.779658Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 7ff06c7f-5f53-4949-b186-12f64f0c6b4b · outbound
This paper cites an unresolved cited work.
Random Variate Generation with Formal Guarantees Unresolved cited work
Reference 11
- Resolution
- verified exact
- doi, observed 2026-08-06T16:31:32.445422Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 6009d45b-0d41-4c4b-8523-cf1b59c269e5 · outbound
This paper cites an unresolved cited work.
Random Variate Generation with Formal Guarantees Unresolved cited work
Reference 12
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-06T16:31:34.125907Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 723c53b3-3f5f-49ca-ab22-a8bab9d2c101 · outbound
This paper cites 1986.Non-Uniform Random Variate Generation.
Random Variate Generation with Formal Guarantees 1986.Non-Uniform Random Variate Generation
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T16:31:39.621825Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation d9e2664b-47ad-4d41-ae03-2eb6a7300bc7 · outbound
This paper cites Random variate generation using only finitely many unbiased, independently and identically distributed random bits.
Random Variate Generation with Formal Guarantees Random variate generation using only finitely many unbiased, independently and identically distributed random bits
Reference 14
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T16:31:24.332178Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 57fa8b39-32cc-4320-a4c4-fc2ee8491b00 · outbound
This paper cites an unresolved cited work.
Random Variate Generation with Formal Guarantees Unresolved cited work
Reference 15
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T16:31:39.483368Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation db675b2f-b357-4512-9037-34b2bcd3b872 · outbound
This paper cites Efficient Rejection Sampling in the Entropy-Optimal Range.
Random Variate Generation with Formal Guarantees Efficient Rejection Sampling in the Entropy-Optimal Range
Reference 16
- Resolution
- verified exact
- local_arxiv, observed 2026-08-06T16:31:33.957265Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 08358e01-7bfb-4bb8-a71b-f56181557b54 · outbound
This paper cites an unresolved cited work.
Random Variate Generation with Formal Guarantees Unresolved cited work
Reference 17
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-06T16:31:33.830068Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 0b43fb65-f14f-4389-bca7-9169e16740bf · outbound
This paper cites an unresolved cited work.
Random Variate Generation with Formal Guarantees Unresolved cited work
Reference 18
- Resolution
- verified exact
- doi, observed 2026-08-06T16:31:32.316924Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation fca2e42b-79bb-404f-97d1-7dc4fd9754f6 · outbound
This paper cites an unresolved cited work.
Random Variate Generation with Formal Guarantees Unresolved cited work
Reference 19
- Resolution
- malformed identifier
- doi_truncated, observed 2026-08-06T16:31:32.131362Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 360ed89f-1feb-4105-8a2c-42f68fbe1e2f · outbound
This paper cites Dwarakanath and Steven D.
Random Variate Generation with Formal Guarantees Dwarakanath and Steven D
Reference 20
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T16:31:24.752359Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 34e30ea1-4196-4ace-bd60-1f2f53aa74f4 · outbound
This paper cites an unresolved cited work.
Random Variate Generation with Formal Guarantees Unresolved cited work
Reference 21
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T16:31:24.821364Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0252a130-c91e-4960-80e4-76860f6a9784 · outbound
This paper cites an unresolved cited work.
Random Variate Generation with Formal Guarantees Unresolved cited work
Reference 22
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T16:31:24.873716Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c79b7750-a259-4637-b828-607e7a02132b · outbound
This paper cites an unresolved cited work.
Random Variate Generation with Formal Guarantees Unresolved cited work
Reference 23
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T16:31:24.941054Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f1fbcfce-0e76-41e6-9acb-c76a46b14101 · outbound
This paper cites 2009.GNU Scientific Library Reference Manual(3rd ed.).
Random Variate Generation with Formal Guarantees 2009.GNU Scientific Library Reference Manual(3rd ed.)
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T16:31:39.332705Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation d4432d02-f3ef-4cf2-a88a-d7733d33effa · outbound
This paper cites an unresolved cited work.
Random Variate Generation with Formal Guarantees Unresolved cited work
Reference 25
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T16:31:25.158545Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation dab3fe5a-4151-4b55-a37e-102760f150ff · outbound
This paper cites an unresolved cited work.
Random Variate Generation with Formal Guarantees Unresolved cited work
Reference 26
- Resolution
- verified exact
- doi, observed 2026-08-06T16:31:31.937547Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation f2f43800-39e3-4063-8186-89c0d204d50d · outbound
This paper cites an unresolved cited work.
Random Variate Generation with Formal Guarantees Unresolved cited work
Reference 27
- Resolution
- verified exact
- doi, observed 2026-08-06T16:31:31.772922Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 5705741e-c0c9-4a1c-b1f1-1bde15e6dd51 · outbound
This paper cites an unresolved cited work.
Random Variate Generation with Formal Guarantees Unresolved cited work
Reference 28
- Resolution
- verified exact
- doi, observed 2026-08-06T16:31:31.609834Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation b691950e-55b8-4588-a6fa-3a8ec20bfb5c · outbound
This paper cites an unresolved cited work.
Random Variate Generation with Formal Guarantees Unresolved cited work
Reference 29
- Resolution
- verified exact
- doi, observed 2026-08-06T16:31:31.424656Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 28753fef-fc1b-457b-a221-2689bb7ca0f6 · outbound
This paper cites an unresolved cited work.
Random Variate Generation with Formal Guarantees Unresolved cited work
Reference 30
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T16:31:39.174234Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation de8eb4ed-5ee5-445b-a64a-6c7a0d1f0cc0 · outbound
This paper cites 2023.GNU MP: The GNU Multiple Precision Arithmetic Library(6.3.0 ed.).
Random Variate Generation with Formal Guarantees 2023.GNU MP: The GNU Multiple Precision Arithmetic Library(6.3.0 ed.)
Reference 31
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T16:31:39.009754Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 89892af3-044d-46f5-9b93-9f6835f6c0ba · outbound
This paper cites an unresolved cited work.
Random Variate Generation with Formal Guarantees Unresolved cited work
Reference 32
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T16:31:25.933473Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5ec69618-4606-431c-a5d3-b23820d32982 · outbound
This paper cites an unresolved cited work.
Random Variate Generation with Formal Guarantees Unresolved cited work
Reference 33
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T16:31:38.857772Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation cda4b82e-698d-4eec-bdf1-375b754d2f05 · outbound
This paper cites 2019.IEEE Standard for Floating-Point Arithmetic (IEEE Std 754-2019).
Random Variate Generation with Formal Guarantees 2019.IEEE Standard for Floating-Point Arithmetic (IEEE Std 754-2019)
Reference 34
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T16:31:26.105704Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d55ef691-8ed4-4205-b750-d6c06d7a794c · outbound
This paper cites an unresolved cited work.
Random Variate Generation with Formal Guarantees Unresolved cited work
Reference 35
- Resolution
- verified exact
- doi, observed 2026-08-06T16:31:31.242920Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation a81cc129-2584-4363-8cbb-998b863e16da · outbound
This paper cites an unresolved cited work.
Random Variate Generation with Formal Guarantees Unresolved cited work
Reference 36
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T16:31:26.333372Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 98924023-ca4a-4fcd-9a11-8e858408884d · outbound
This paper cites Knuth and Andrew C.
Random Variate Generation with Formal Guarantees Knuth and Andrew C
Reference 37
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T16:31:38.726657Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 840f9807-5690-4ed3-a427-01e55e9ea493 · outbound
This paper cites an unresolved cited work.
Random Variate Generation with Formal Guarantees Unresolved cited work
Reference 38
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T16:31:26.535838Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e35f0d67-1473-4b47-bcdd-cb8c337ba18f · outbound
This paper cites Lim and Santosh Nagarakatte.
Random Variate Generation with Formal Guarantees Lim and Santosh Nagarakatte
Reference 40
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T16:31:26.648367Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1070252f-192d-4cff-bf4c-5beb193e1aec · outbound
This paper cites Optimal Discrete Uniform Generation from Coin Flips, and Applications.
Random Variate Generation with Formal Guarantees Optimal Discrete Uniform Generation from Coin Flips, and Applications
Reference 41
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T16:31:26.750561Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b083c793-0f62-4a0e-8081-2b44713ac23e · outbound
This paper cites an unresolved cited work.
Random Variate Generation with Formal Guarantees Unresolved cited work
Reference 42
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T16:31:26.806968Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 06f1b987-7431-43af-851d-0733e0b9a51e · outbound
This paper cites 2017.Probability and Computing: Randomization and Probabilistic Techniques in Algorithms and Data Analysis(second ed.).
Random Variate Generation with Formal Guarantees 2017.Probability and Computing: Randomization and Probabilistic Techniques in Algorithms and Data Analysis(second ed.)
Reference 43
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T16:31:38.562610Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 4b7b01b7-ecc4-487c-aec3-0db21264231d · outbound
This paper cites an unresolved cited work.
Random Variate Generation with Formal Guarantees Unresolved cited work
Reference 44
- Resolution
- verified exact
- doi, observed 2026-08-06T16:31:30.982345Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 636ec8e2-4067-4917-bb19-6758e0852b13 · outbound
This paper cites an unresolved cited work.
Random Variate Generation with Formal Guarantees Unresolved cited work
Reference 45
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T16:31:38.414894Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 88588651-81de-4a51-aa2d-7f83cabf23a7 · outbound
This paper cites an unresolved cited work.
Random Variate Generation with Formal Guarantees Unresolved cited work
Reference 46
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T16:31:38.258018Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 0693bb3a-6ed9-4b4d-a0c1-37955d19118f · outbound
This paper cites an unresolved cited work.
Random Variate Generation with Formal Guarantees Unresolved cited work
Reference 47
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T16:31:38.126190Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation e1821c59-fd7d-4a9d-9862-2d4ae0d02870 · outbound
This paper cites an unresolved cited work.
Random Variate Generation with Formal Guarantees Unresolved cited work
Reference 48
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T16:31:27.206594Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8ca792cf-58ac-459d-a4a3-15cb6096de66 · outbound
This paper cites 2022.Standard for Posit ™ Arithmetic.
Random Variate Generation with Formal Guarantees 2022.Standard for Posit ™ Arithmetic
Reference 49
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T16:31:38.003195Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation de7f54fb-2cf1-41ac-826a-177a24fad3a7 · outbound
This paper cites Press, Saul A.
Random Variate Generation with Formal Guarantees Press, Saul A
Reference 50
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T16:31:37.904516Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 1cf8a2e0-39f1-4aaa-9bc1-adf9190573c4 · outbound
This paper cites Roy, Frederik Vercauteren, and Ingrid Verbauwhede.
Random Variate Generation with Formal Guarantees Roy, Frederik Vercauteren, and Ingrid Verbauwhede
Reference 51
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T16:31:27.491406Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0202cea8-58f4-4a70-af3b-cdc0dfc5cc9f · outbound
This paper cites 2025.librvg: C Library for Random Variate Generation with Formal Guarantees.
Random Variate Generation with Formal Guarantees 2025.librvg: C Library for Random Variate Generation with Formal Guarantees
Reference 52
- Resolution
- verified exact
- doi, observed 2026-08-06T16:31:30.784245Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 71a6b2bd-497b-425c-93b1-ba0ea4c848de · outbound
This paper cites Saad, Cameron E.
Random Variate Generation with Formal Guarantees Saad, Cameron E
Reference 53
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T16:31:37.827320Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation aeeecb40-1275-4f64-8b59-636b085d6fac · outbound
This paper cites Saad, Cameron E.
Random Variate Generation with Formal Guarantees Saad, Cameron E
Reference 54
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T16:31:27.867252Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8553bc99-8720-441f-a51b-5448dd481df5 · outbound
This paper cites Saad, Martin C.
Random Variate Generation with Formal Guarantees Saad, Martin C
Reference 55
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T16:31:28.011291Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d2002c0a-8f8f-4133-a551-f95f4210108e · outbound
This paper cites 1978.Computational Geometry.
Random Variate Generation with Formal Guarantees 1978.Computational Geometry
Reference 56
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T16:31:37.739828Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 24a3461f-a448-422a-971a-f15981398f60 · outbound
This paper cites an unresolved cited work.
Random Variate Generation with Formal Guarantees Unresolved cited work
Reference 57
- Resolution
- verified exact
- raw_fallback, observed 2026-08-06T16:31:33.183272Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 14d281c4-58c7-4eb8-a0ee-74644e1e256c · outbound
This paper cites Sobolewski and W.
Random Variate Generation with Formal Guarantees Sobolewski and W
Reference 58
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-06T16:31:32.958860Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 4b087667-9af1-435b-9369-77bdc6b0a832 · outbound
This paper cites an unresolved cited work.
Random Variate Generation with Formal Guarantees Unresolved cited work
Reference 59
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T16:31:37.662926Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 30546488-3f67-48b7-8bca-e7609af59896 · outbound
This paper cites an unresolved cited work.
Random Variate Generation with Formal Guarantees Unresolved cited work
Reference 60
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T16:31:37.522554Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation ce47a151-6ca8-4f4c-96da-ff69b0e19142 · outbound
This paper cites an unresolved cited work.
Random Variate Generation with Formal Guarantees Unresolved cited work
Reference 61
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T16:31:37.395324Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation e8152b85-c606-4507-aedd-b4d7dd303124 · outbound
This paper cites Thomas and Wayne Luk.
Random Variate Generation with Formal Guarantees Thomas and Wayne Luk
Reference 62
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-06T16:31:32.743383Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation d0583158-6140-4f49-b6d2-631a89d26548 · outbound
This paper cites an unresolved cited work.
Random Variate Generation with Formal Guarantees Unresolved cited work
Reference 63
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T16:31:37.235039Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 3149333a-dd83-407d-a5f5-29f49805f778 · outbound
This paper cites an unresolved cited work.
Random Variate Generation with Formal Guarantees Unresolved cited work
Reference 64
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T16:31:28.888959Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c39d1b00-0080-45bd-935d-e3df9cb38808 · outbound
This paper cites an unresolved cited work.
Random Variate Generation with Formal Guarantees Unresolved cited work
Reference 65
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T16:31:36.979705Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 90efaf6f-f04b-4432-bddd-815ae87e9bc2 · outbound
This paper cites an unresolved cited work.
Random Variate Generation with Formal Guarantees Unresolved cited work
Reference 66
- Resolution
- verified exact
- doi, observed 2026-08-06T16:31:30.580135Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 50b30f43-e2a2-4aae-9986-bf8bb39318ff · outbound
This paper cites an unresolved cited work.
Random Variate Generation with Formal Guarantees Unresolved cited work
Reference 67
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T16:31:36.795355Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 76902180-9561-44cf-9e66-ab3fa7052992 · outbound
This paper cites an unresolved cited work.
Random Variate Generation with Formal Guarantees Unresolved cited work
Reference 68
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T16:31:36.552863Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation b616d62d-5c4f-4afa-9f36-63b5c4287e65 · outbound
This paper cites midpoint.
Reference 69
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T16:31:29.380163Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 25664d2c-b397-4dfc-9fde-2db7778c0e4a · outbound
This paper cites Since 𝑧𝑗 = 0for all ℓ<𝑗<ℓ ′, we can apply Theorem 4.2 to ( ˆ𝑧, ˆ𝑥, ˆ𝑦,ℓ).
Random Variate Generation with Formal Guarantees Since 𝑧𝑗 = 0for all ℓ<𝑗<ℓ ′, we can apply Theorem 4.2 to ( ˆ𝑧, ˆ𝑥, ˆ𝑦,ℓ)
Reference 70
- Resolution
- malformed identifier
- raw_fallback, observed 2026-08-06T16:31:36.155794Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation d5a893cd-4f25-4254-9e97-17134711b136 · outbound
This paper cites Also, all intermediate values appearing in both algorithms are representable as(1+𝐸+𝑚)-bit signed integers.« Proof.We prove the claims for𝑥<1and𝑥=1separately.
Random Variate Generation with Formal Guarantees Also, all intermediate values appearing in both algorithms are representable as(1+𝐸+𝑚)-bit signed integers.« Proof.We prove the claims for𝑥<1and𝑥=1separately
Reference 71
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T16:31:35.863110Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation e6fce32b-8913-4ef1-b257-2a96554f4795 · outbound
This paper cites an unresolved cited work.
Random Variate Generation with Formal Guarantees Unresolved cited work
Reference 72
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T16:31:35.464495Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 28b38c3b-3651-48ad-9688-1fe397f4f91c · outbound
This paper cites an unresolved cited work.
Random Variate Generation with Formal Guarantees Unresolved cited work
Reference 73
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T16:31:35.089182Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 8565d6b2-cf90-46c9-8b56-1ea7adc4530e · outbound
This paper cites an unresolved cited work.
Random Variate Generation with Formal Guarantees Unresolved cited work
Reference 74
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T16:31:34.970974Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 191604ba-61e2-48d6-8d2b-13d2e3b777c9 · outbound
This paper cites Also, all intermediate values appearing in both algorithms are representable as(1+𝐸+𝑚)-bit (signed or unsigned) integers.« Proof.
Random Variate Generation with Formal Guarantees Also, all intermediate values appearing in both algorithms are representable as(1+𝐸+𝑚)-bit (signed or unsigned) integers.« Proof
Reference 75
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T16:31:34.844184Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 97a795c0-7e07-44e0-ac12-c36680553bd2 · outbound
This paper cites Here, the first inequality is by𝑥,𝑥′∈[ 0, 1 2), and we have the remaining equalities as in the proof of Theorem 5.16.
Random Variate Generation with Formal Guarantees Here, the first inequality is by𝑥,𝑥′∈[ 0, 1 2), and we have the remaining equalities as in the proof of Theorem 5.16
Reference 76
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T16:31:34.712430Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 40e67776-85fc-4f5e-954c-2a885a959559 · outbound
This paper cites 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.
Random Variate Generation with Formal Guarantees 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
Reference 77
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T16:31:34.596675Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 78cf9acf-946e-4a9a-978c-99c526436f68 · outbound
This paper cites an unresolved cited work.
Random Variate Generation with Formal Guarantees Unresolved cited work
Reference 78
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T16:31:34.490032Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 3d1d618b-cd0f-433c-be79-184bbbba4edc · outbound
This paper cites Thus, 1−(𝑥+𝑥 ′)=0.
Random Variate Generation with Formal Guarantees Thus, 1−(𝑥+𝑥 ′)=0
Reference 79
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T16:31:34.356015Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 78dd418b-39a3-460f-a75c-af8851141c82 · outbound
This paper cites ACM Program.
Random Variate Generation with Formal Guarantees ACM Program
Reference 80
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T16:31:34.232955Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Pith citing papers
No inbound Pith citation observations are available.