Paper Citation Record · LEDGER

Why3-py: A Tool for Formal Verification of Hypothesis Testing and Meta-Analysis in Python

As of 14 August 2026, this Paper Citation Record lists 23 of 23 outbound references and 0 inbound Pith citation observations for arXiv:2607.03951.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2607.03951 v1

Coverage vector

measured 23 of 23 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-07-11T22:48:02.568715Z

measured 23 of 23 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-13T06:32:02.005865+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

23 of 23 outbound references displayed

verified exact0
verified fuzzy0
unresolved23
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 4624771d-5589-4757-ae7c-e93ad6b07da7 · outbound

This paper cites an unresolved cited work.

Why3-py: A Tool for Formal Verification of Hypothesis Testing and Meta-Analysis in Python Unresolved cited work

Reference 1

Resolution: unresolved; no resolver link, observed 2026-07-11T22:48:02.568715Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eebd854c-dc09-40c2-9cf1-c4d44fe317a4 · outbound

This paper cites Philosophical Transactions of the Royal SocietyofLondon27(328),186–190(1710).https://doi.org/10.1098/rstl.1710.0011.

Why3-py: A Tool for Formal Verification of Hypothesis Testing and Meta-Analysis in Python Philosophical Transactions of the Royal SocietyofLondon27(328),186–190(1710).https://doi.org/10.1098/rstl.1710.0011

Reference 2

Resolution: unresolved; no resolver link, observed 2026-07-11T22:48:02.568715Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e8d29ae3-9e23-4e1f-8a31-ed697d5934ca · outbound

This paper cites an unresolved cited work.

Why3-py: A Tool for Formal Verification of Hypothesis Testing and Meta-Analysis in Python Unresolved cited work

Reference 3

Resolution: unresolved; no resolver link, observed 2026-07-11T22:48:02.568715Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f7b62223-90a0-45c7-a2e9-3fc6457f5873 · outbound

This paper cites GitHub repository (2020), https://github.com/arsalan0c/dafny-of-python.

Why3-py: A Tool for Formal Verification of Hypothesis Testing and Meta-Analysis in Python GitHub repository (2020), https://github.com/arsalan0c/dafny-of-python

Reference 4

Resolution: unresolved; no resolver link, observed 2026-07-11T22:48:02.568715Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e9d5f422-883a-4197-9c1a-bae15f4f815e · outbound

This paper cites In: SEFM’12.

Why3-py: A Tool for Formal Verification of Hypothesis Testing and Meta-Analysis in Python In: SEFM’12

Reference 5

Resolution: unresolved; no resolver link, observed 2026-07-11T22:48:02.568715Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d71d14db-fb07-4fb8-baf7-83631c762745 · outbound

This paper cites In: Proc.

Why3-py: A Tool for Formal Verification of Hypothesis Testing and Meta-Analysis in Python In: Proc

Reference 6

Resolution: unresolved; no resolver link, observed 2026-07-11T22:48:02.568715Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1e22621e-4945-42bc-975d-112a93795f99 · outbound

This paper cites In: ESOP’13.

Why3-py: A Tool for Formal Verification of Hypothesis Testing and Meta-Analysis in Python In: ESOP’13

Reference 7

Resolution: unresolved; no resolver link, observed 2026-07-11T22:48:02.568715Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3fc99759-42e0-45a3-a6e6-8ee8942e256c · outbound

This paper cites In: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy.

Why3-py: A Tool for Formal Verification of Hypothesis Testing and Meta-Analysis in Python In: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy

Reference 8

Resolution: unresolved; no resolver link, observed 2026-07-11T22:48:02.568715Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1a5989ab-4294-4005-9905-e98674237d1b · outbound

This paper cites In: Proc.

Why3-py: A Tool for Formal Verification of Hypothesis Testing and Meta-Analysis in Python In: Proc

Reference 9

Resolution: unresolved; no resolver link, observed 2026-07-11T22:48:02.568715Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 759cd1c6-1592-46dc-925a-b6c6b48b0f39 · outbound

This paper cites Software and Systems Modeling20(2), 293–310 (2020).

Why3-py: A Tool for Formal Verification of Hypothesis Testing and Meta-Analysis in Python Software and Systems Modeling20(2), 293–310 (2020)

Reference 10

Resolution: unresolved; no resolver link, observed 2026-07-11T22:48:02.568715Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 32b0ceb2-551a-4112-8027-23391d8f5e39 · outbound

This paper cites an unresolved cited work.

Why3-py: A Tool for Formal Verification of Hypothesis Testing and Meta-Analysis in Python Unresolved cited work

Reference 11

Resolution: unresolved; no resolver link, observed 2026-07-11T22:48:02.568715Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5cc64096-a18f-4526-88ea-0dfb68142d90 · outbound

This paper cites In: Proc.

Why3-py: A Tool for Formal Verification of Hypothesis Testing and Meta-Analysis in Python In: Proc

Reference 12

Resolution: unresolved; no resolver link, observed 2026-07-11T22:48:02.568715Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 02a74d03-87b8-4ae2-b204-1dfc3deb73d1 · outbound

This paper cites In: Proc.

Why3-py: A Tool for Formal Verification of Hypothesis Testing and Meta-Analysis in Python In: Proc

Reference 13

Resolution: unresolved; no resolver link, observed 2026-07-11T22:48:02.568715Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9b650c9c-063d-4e25-90d9-a28b91e56320 · outbound

This paper cites an unresolved cited work.

Why3-py: A Tool for Formal Verification of Hypothesis Testing and Meta-Analysis in Python Unresolved cited work

Reference 14

Resolution: unresolved; no resolver link, observed 2026-07-11T22:48:02.568715Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dee28b07-c5f1-44ce-8c8c-d28921ed44a7 · outbound

This paper cites an unresolved cited work.

Why3-py: A Tool for Formal Verification of Hypothesis Testing and Meta-Analysis in Python Unresolved cited work

Reference 15

Resolution: unresolved; no resolver link, observed 2026-07-11T22:48:02.568715Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 06e4c548-b646-44b6-94f9-64e3c3840758 · outbound

This paper cites In: LPAR’16.

Why3-py: A Tool for Formal Verification of Hypothesis Testing and Meta-Analysis in Python In: LPAR’16

Reference 16

Resolution: unresolved; no resolver link, observed 2026-07-11T22:48:02.568715Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5c0ed1a3-f6eb-4463-8298-8ace958d49c6 · outbound

This paper cites In: ICSE ’13.

Why3-py: A Tool for Formal Verification of Hypothesis Testing and Meta-Analysis in Python In: ICSE ’13

Reference 17

Resolution: unresolved; no resolver link, observed 2026-07-11T22:48:02.568715Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 26e4a30d-759d-4262-bf4e-cedb5769827b · outbound

This paper cites an unresolved cited work.

Why3-py: A Tool for Formal Verification of Hypothesis Testing and Meta-Analysis in Python Unresolved cited work

Reference 18

Resolution: unresolved; no resolver link, observed 2026-07-11T22:48:02.568715Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ef91f937-1337-409f-8231-10ef8866bce6 · outbound

This paper cites Dafny as Verification-Aware Intermediate Language for Code Generation.

Why3-py: A Tool for Formal Verification of Hypothesis Testing and Meta-Analysis in Python Dafny as Verification-Aware Intermediate Language for Code Generation

Reference 19

Resolution: unresolved; no resolver link, observed 2026-07-11T22:48:02.568715Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cbc675ba-d887-4ba5-afb8-9c1e3f8dae0d · outbound

This paper cites PyVeritas: On Verifying Python via LLM-Based Transpilation and Bounded Model Checking for C.

Why3-py: A Tool for Formal Verification of Hypothesis Testing and Meta-Analysis in Python PyVeritas: On Verifying Python via LLM-Based Transpilation and Bounded Model Checking for C

Reference 20

Resolution: unresolved; no resolver link, observed 2026-07-11T22:48:02.568715Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5c6ad4f1-5a3c-4dd7-be8d-d027d165e8be · outbound

This paper cites In: Proc.

Why3-py: A Tool for Formal Verification of Hypothesis Testing and Meta-Analysis in Python In: Proc

Reference 21

Resolution: unresolved; no resolver link, observed 2026-07-11T22:48:02.568715Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 76f9c3c3-bb9d-484e-97ea-b2065b975884 · outbound

This paper cites an unresolved cited work.

Why3-py: A Tool for Formal Verification of Hypothesis Testing and Meta-Analysis in Python Unresolved cited work

Reference 22

Resolution: unresolved; no resolver link, observed 2026-07-11T22:48:02.568715Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d5665bca-3e06-4325-8570-3ee7b6b9324e · outbound

This paper cites an unresolved cited work.

Why3-py: A Tool for Formal Verification of Hypothesis Testing and Meta-Analysis in Python Unresolved cited work

Reference 23

Resolution: unresolved; no resolver link, observed 2026-07-11T22:48:02.568715Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.