{"as_of":"2026-08-14T11:23:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:937a5e5452a794ae5d62527ea9acbd2230a5a6a4435f7dafed9c77d7e2ea1a49","coverage":[{"denominator":23,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":23,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-11T22:48:02.568715Z","state":"measured"},{"denominator":23,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":23,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-14T06:32:32.682623+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/2607.03951/citation-record","integrity":"/paper/2607.03951/integrity","json":"/paper/2607.03951/citation-record.json","paper":"/paper/2607.03951"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-11T22:48:02.568715Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.03951","last_updated":"2026-07-04T16:53:39Z","snapshot_observed_at":"2026-08-11T14:44:15.907889Z","submitted_at":"2026-07-04T16:53:39Z","title":"Why3-py: A Tool for Formal Verification of Hypothesis Testing and Meta-Analysis in Python","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-07-11T22:48:02.568715Z"},"links":{"citing_paper":"/paper/2607.03951"},"observation_digest":"sha256:cc53e6eb520cc6e9840feda81d1904adddf6ffb31c7dbcf65579d9eb661190f6","observation_id":"4624771d-5589-4757-ae7c-e93ad6b07da7","resolution":{"observed_at":"2026-07-11T22:48:02.568715Z","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-07-11T22:48:02.568715Z","title":"Philosophical Transactions of the Royal SocietyofLondon27(328),186–190(1710).https://doi.org/10.1098/rstl.1710.0011","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.03951","last_updated":"2026-07-04T16:53:39Z","snapshot_observed_at":"2026-08-11T14:44:15.907889Z","submitted_at":"2026-07-04T16:53:39Z","title":"Why3-py: A Tool for Formal Verification of Hypothesis Testing and Meta-Analysis in Python","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-07-11T22:48:02.568715Z"},"links":{"citing_paper":"/paper/2607.03951"},"observation_digest":"sha256:1a414254a9a1742e922b1a8081a06cf86b54296459a6e439070808a95eabb0a0","observation_id":"eebd854c-dc09-40c2-9cf1-c4d44fe317a4","resolution":{"observed_at":"2026-07-11T22:48:02.568715Z","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-07-11T22:48:02.568715Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.03951","last_updated":"2026-07-04T16:53:39Z","snapshot_observed_at":"2026-08-11T14:44:15.907889Z","submitted_at":"2026-07-04T16:53:39Z","title":"Why3-py: A Tool for Formal Verification of Hypothesis Testing and Meta-Analysis in Python","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-07-11T22:48:02.568715Z"},"links":{"citing_paper":"/paper/2607.03951"},"observation_digest":"sha256:45c2e2ba46c13ffdec1dc8186cd2e3ea2cc905f22f46ca10860b3797ce13fce4","observation_id":"e8d29ae3-9e23-4e1f-8a31-ed697d5934ca","resolution":{"observed_at":"2026-07-11T22:48:02.568715Z","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-07-11T22:48:02.568715Z","title":"GitHub repository (2020), https://github.com/arsalan0c/dafny-of-python","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.03951","last_updated":"2026-07-04T16:53:39Z","snapshot_observed_at":"2026-08-11T14:44:15.907889Z","submitted_at":"2026-07-04T16:53:39Z","title":"Why3-py: A Tool for Formal Verification of Hypothesis Testing and Meta-Analysis in Python","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-07-11T22:48:02.568715Z"},"links":{"citing_paper":"/paper/2607.03951"},"observation_digest":"sha256:a153c7ace9fc3d37c19bf062c9c73d0f2af66e0b623e264c54aee70bdaa14a48","observation_id":"f7b62223-90a0-45c7-a2e9-3fc6457f5873","resolution":{"observed_at":"2026-07-11T22:48:02.568715Z","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-07-11T22:48:02.568715Z","title":"In: SEFM’12","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2607.03951","last_updated":"2026-07-04T16:53:39Z","snapshot_observed_at":"2026-08-11T14:44:15.907889Z","submitted_at":"2026-07-04T16:53:39Z","title":"Why3-py: A Tool for Formal Verification of Hypothesis Testing and Meta-Analysis in Python","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-07-11T22:48:02.568715Z"},"links":{"citing_paper":"/paper/2607.03951"},"observation_digest":"sha256:4c9887f01357f4d1f5dd01fca358e470388133e595ea40a1397be3c659bc7e06","observation_id":"e9d5f422-883a-4197-9c1a-bae15f4f815e","resolution":{"observed_at":"2026-07-11T22:48:02.568715Z","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-07-11T22:48:02.568715Z","title":"In: Proc","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.03951","last_updated":"2026-07-04T16:53:39Z","snapshot_observed_at":"2026-08-11T14:44:15.907889Z","submitted_at":"2026-07-04T16:53:39Z","title":"Why3-py: A Tool for Formal Verification of Hypothesis Testing and Meta-Analysis in Python","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-07-11T22:48:02.568715Z"},"links":{"citing_paper":"/paper/2607.03951"},"observation_digest":"sha256:2f869dc6cdb3ec54c7b84285034db3705c496d2290696e51e5615bcd8ff71681","observation_id":"d71d14db-fb07-4fb8-baf7-83631c762745","resolution":{"observed_at":"2026-07-11T22:48:02.568715Z","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-07-11T22:48:02.568715Z","title":"In: ESOP’13","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2607.03951","last_updated":"2026-07-04T16:53:39Z","snapshot_observed_at":"2026-08-11T14:44:15.907889Z","submitted_at":"2026-07-04T16:53:39Z","title":"Why3-py: A Tool for Formal Verification of Hypothesis Testing and Meta-Analysis in Python","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-07-11T22:48:02.568715Z"},"links":{"citing_paper":"/paper/2607.03951"},"observation_digest":"sha256:903eda12651fd3cc5a34f4c80b56a8f98134989a6eeb94b1a6c4548250e0679a","observation_id":"1e22621e-4945-42bc-975d-112a93795f99","resolution":{"observed_at":"2026-07-11T22:48:02.568715Z","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-07-11T22:48:02.568715Z","title":"In: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.03951","last_updated":"2026-07-04T16:53:39Z","snapshot_observed_at":"2026-08-11T14:44:15.907889Z","submitted_at":"2026-07-04T16:53:39Z","title":"Why3-py: A Tool for Formal Verification of Hypothesis Testing and Meta-Analysis in Python","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-07-11T22:48:02.568715Z"},"links":{"citing_paper":"/paper/2607.03951"},"observation_digest":"sha256:18ab81d3dd664daa608ab3bb4c2bbd98a8f2a32ac11fe884e5c2484605dcd55a","observation_id":"3fc99759-42e0-45a3-a6e6-8ee8942e256c","resolution":{"observed_at":"2026-07-11T22:48:02.568715Z","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-07-11T22:48:02.568715Z","title":"In: Proc","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.03951","last_updated":"2026-07-04T16:53:39Z","snapshot_observed_at":"2026-08-11T14:44:15.907889Z","submitted_at":"2026-07-04T16:53:39Z","title":"Why3-py: A Tool for Formal Verification of Hypothesis Testing and Meta-Analysis in Python","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-07-11T22:48:02.568715Z"},"links":{"citing_paper":"/paper/2607.03951"},"observation_digest":"sha256:2ea0b956c79b63e726c62a68c8ada7df34f1b4e67745f414dcc79a3a66fbde9e","observation_id":"1a5989ab-4294-4005-9905-e98674237d1b","resolution":{"observed_at":"2026-07-11T22:48:02.568715Z","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-07-11T22:48:02.568715Z","title":"Software and Systems Modeling20(2), 293–310 (2020)","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.03951","last_updated":"2026-07-04T16:53:39Z","snapshot_observed_at":"2026-08-11T14:44:15.907889Z","submitted_at":"2026-07-04T16:53:39Z","title":"Why3-py: A Tool for Formal Verification of Hypothesis Testing and Meta-Analysis in Python","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-07-11T22:48:02.568715Z"},"links":{"citing_paper":"/paper/2607.03951"},"observation_digest":"sha256:d9f121cb746144cc9854473f2169d36af6eb9a4d4cfebfddd0af6bbd75f241e9","observation_id":"759cd1c6-1592-46dc-925a-b6c6b48b0f39","resolution":{"observed_at":"2026-07-11T22:48:02.568715Z","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-07-11T22:48:02.568715Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.03951","last_updated":"2026-07-04T16:53:39Z","snapshot_observed_at":"2026-08-11T14:44:15.907889Z","submitted_at":"2026-07-04T16:53:39Z","title":"Why3-py: A Tool for Formal Verification of Hypothesis Testing and Meta-Analysis in Python","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-07-11T22:48:02.568715Z"},"links":{"citing_paper":"/paper/2607.03951"},"observation_digest":"sha256:cdf98c62b956116c21aff93191f9cf03d67c65cd0f43abfb7c011634ca482513","observation_id":"32b0ceb2-551a-4112-8027-23391d8f5e39","resolution":{"observed_at":"2026-07-11T22:48:02.568715Z","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-07-11T22:48:02.568715Z","title":"In: Proc","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.03951","last_updated":"2026-07-04T16:53:39Z","snapshot_observed_at":"2026-08-11T14:44:15.907889Z","submitted_at":"2026-07-04T16:53:39Z","title":"Why3-py: A Tool for Formal Verification of Hypothesis Testing and Meta-Analysis in Python","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-07-11T22:48:02.568715Z"},"links":{"citing_paper":"/paper/2607.03951"},"observation_digest":"sha256:348f0896b9f1932d085202daf6809833eb5b6fee162665145333b22a8ac9c4f8","observation_id":"5cc64096-a18f-4526-88ea-0dfb68142d90","resolution":{"observed_at":"2026-07-11T22:48:02.568715Z","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-07-11T22:48:02.568715Z","title":"In: Proc","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.03951","last_updated":"2026-07-04T16:53:39Z","snapshot_observed_at":"2026-08-11T14:44:15.907889Z","submitted_at":"2026-07-04T16:53:39Z","title":"Why3-py: A Tool for Formal Verification of Hypothesis Testing and Meta-Analysis in Python","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-07-11T22:48:02.568715Z"},"links":{"citing_paper":"/paper/2607.03951"},"observation_digest":"sha256:5a9a404884c60abc2b70301913e660333e110450206ef50fe46650867dd6758c","observation_id":"02a74d03-87b8-4ae2-b204-1dfc3deb73d1","resolution":{"observed_at":"2026-07-11T22:48:02.568715Z","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-07-11T22:48:02.568715Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.03951","last_updated":"2026-07-04T16:53:39Z","snapshot_observed_at":"2026-08-11T14:44:15.907889Z","submitted_at":"2026-07-04T16:53:39Z","title":"Why3-py: A Tool for Formal Verification of Hypothesis Testing and Meta-Analysis in Python","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-07-11T22:48:02.568715Z"},"links":{"citing_paper":"/paper/2607.03951"},"observation_digest":"sha256:1af99f8ef7cb40fc05c471da433ad6a340763484009850d062ec28b5a8d75cee","observation_id":"9b650c9c-063d-4e25-90d9-a28b91e56320","resolution":{"observed_at":"2026-07-11T22:48:02.568715Z","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-07-11T22:48:02.568715Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.03951","last_updated":"2026-07-04T16:53:39Z","snapshot_observed_at":"2026-08-11T14:44:15.907889Z","submitted_at":"2026-07-04T16:53:39Z","title":"Why3-py: A Tool for Formal Verification of Hypothesis Testing and Meta-Analysis in Python","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-07-11T22:48:02.568715Z"},"links":{"citing_paper":"/paper/2607.03951"},"observation_digest":"sha256:fffbd7b9000a1a734c624f0026b102fdeaf55a37815ba8ab0f21787b40f6ff00","observation_id":"dee28b07-c5f1-44ce-8c8c-d28921ed44a7","resolution":{"observed_at":"2026-07-11T22:48:02.568715Z","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-07-11T22:48:02.568715Z","title":"In: LPAR’16","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2607.03951","last_updated":"2026-07-04T16:53:39Z","snapshot_observed_at":"2026-08-11T14:44:15.907889Z","submitted_at":"2026-07-04T16:53:39Z","title":"Why3-py: A Tool for Formal Verification of Hypothesis Testing and Meta-Analysis in Python","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-07-11T22:48:02.568715Z"},"links":{"citing_paper":"/paper/2607.03951"},"observation_digest":"sha256:775b94dea5502630774962c4897741713b6e14ab0d6b3546890112da6d12fe35","observation_id":"06e4c548-b646-44b6-94f9-64e3c3840758","resolution":{"observed_at":"2026-07-11T22:48:02.568715Z","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-07-11T22:48:02.568715Z","title":"In: ICSE ’13","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.03951","last_updated":"2026-07-04T16:53:39Z","snapshot_observed_at":"2026-08-11T14:44:15.907889Z","submitted_at":"2026-07-04T16:53:39Z","title":"Why3-py: A Tool for Formal Verification of Hypothesis Testing and Meta-Analysis in Python","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-07-11T22:48:02.568715Z"},"links":{"citing_paper":"/paper/2607.03951"},"observation_digest":"sha256:29e7fdab2d10e71b882c348fef4baeb751992149e7928be1af095798af28b226","observation_id":"5c0ed1a3-f6eb-4463-8298-8ace958d49c6","resolution":{"observed_at":"2026-07-11T22:48:02.568715Z","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-07-11T22:48:02.568715Z","title":null,"venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2607.03951","last_updated":"2026-07-04T16:53:39Z","snapshot_observed_at":"2026-08-11T14:44:15.907889Z","submitted_at":"2026-07-04T16:53:39Z","title":"Why3-py: A Tool for Formal Verification of Hypothesis Testing and Meta-Analysis in Python","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-07-11T22:48:02.568715Z"},"links":{"citing_paper":"/paper/2607.03951"},"observation_digest":"sha256:d20de326984bf14f8a56a62d659bb1049d55beb8e0893924217a02d3987ff2e9","observation_id":"26e4a30d-759d-4262-bf4e-cedb5769827b","resolution":{"observed_at":"2026-07-11T22:48:02.568715Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2501.06283","last_updated":"2025-01-10T17:23:14Z","snapshot_observed_at":"2026-08-13T23:36:55.591615Z","submitted_at":"2025-01-10T17:23:14Z","title":"Dafny as Verification-Aware Intermediate Language for Code Generation","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2501.06283","snapshot_observed_at":"2026-07-11T22:48:02.568715Z","title":"arXiv preprint arXiv:2501.06283 (2025)","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.03951","last_updated":"2026-07-04T16:53:39Z","snapshot_observed_at":"2026-08-11T14:44:15.907889Z","submitted_at":"2026-07-04T16:53:39Z","title":"Why3-py: A Tool for Formal Verification of Hypothesis Testing and Meta-Analysis in Python","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-07-11T22:48:02.568715Z"},"links":{"cited_paper":"/paper/2501.06283","citing_paper":"/paper/2607.03951"},"observation_digest":"sha256:92019a3d84827b9cf83db313e62f2807ada9f6ca4f97be4a896764b8563d20da","observation_id":"ef91f937-1337-409f-8231-10ef8866bce6","resolution":{"observed_at":"2026-07-11T22:48:02.568715Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2508.08171","last_updated":"2025-08-11T16:49:07Z","snapshot_observed_at":"2026-08-13T09:05:45.745906Z","submitted_at":"2025-08-11T16:49:07Z","title":"PyVeritas: On Verifying Python via LLM-Based Transpilation and Bounded Model Checking for C","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2508.08171","snapshot_observed_at":"2026-07-11T22:48:02.568715Z","title":"CoRRabs/2508.08171(2025)","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.03951","last_updated":"2026-07-04T16:53:39Z","snapshot_observed_at":"2026-08-11T14:44:15.907889Z","submitted_at":"2026-07-04T16:53:39Z","title":"Why3-py: A Tool for Formal Verification of Hypothesis Testing and Meta-Analysis in Python","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-07-11T22:48:02.568715Z"},"links":{"cited_paper":"/paper/2508.08171","citing_paper":"/paper/2607.03951"},"observation_digest":"sha256:2d78cbee427cea9504f88a3cd2909671a1e1c09e843e88e13ff188a65cd04e86","observation_id":"cbc675ba-d887-4ba5-afb8-9c1e3f8dae0d","resolution":{"observed_at":"2026-07-11T22:48:02.568715Z","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-07-11T22:48:02.568715Z","title":"In: Proc","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.03951","last_updated":"2026-07-04T16:53:39Z","snapshot_observed_at":"2026-08-11T14:44:15.907889Z","submitted_at":"2026-07-04T16:53:39Z","title":"Why3-py: A Tool for Formal Verification of Hypothesis Testing and Meta-Analysis in Python","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-07-11T22:48:02.568715Z"},"links":{"citing_paper":"/paper/2607.03951"},"observation_digest":"sha256:5f21f8e07860f251815f7b04aeaf345125e5450df3aa783c72ffc322c3b6529e","observation_id":"5c6ad4f1-5a3c-4dd7-be8d-d027d165e8be","resolution":{"observed_at":"2026-07-11T22:48:02.568715Z","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-07-11T22:48:02.568715Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.03951","last_updated":"2026-07-04T16:53:39Z","snapshot_observed_at":"2026-08-11T14:44:15.907889Z","submitted_at":"2026-07-04T16:53:39Z","title":"Why3-py: A Tool for Formal Verification of Hypothesis Testing and Meta-Analysis in Python","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-07-11T22:48:02.568715Z"},"links":{"citing_paper":"/paper/2607.03951"},"observation_digest":"sha256:727d625f7c7dfb2bb81e8076917a3fbdc4a91228fcbd21bc086850a0eaa70294","observation_id":"76f9c3c3-bb9d-484e-97ea-b2065b975884","resolution":{"observed_at":"2026-07-11T22:48:02.568715Z","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-07-11T22:48:02.568715Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.03951","last_updated":"2026-07-04T16:53:39Z","snapshot_observed_at":"2026-08-11T14:44:15.907889Z","submitted_at":"2026-07-04T16:53:39Z","title":"Why3-py: A Tool for Formal Verification of Hypothesis Testing and Meta-Analysis in Python","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-07-11T22:48:02.568715Z"},"links":{"citing_paper":"/paper/2607.03951"},"observation_digest":"sha256:67b11a89890f92b1df89db5f6b01c324dfe5b7903fc3f54e1f282fdcd5f85cfe","observation_id":"d5665bca-3e06-4325-8570-3ee7b6b9324e","resolution":{"observed_at":"2026-07-11T22:48:02.568715Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.03951","last_updated":"2026-07-04T16:53:39Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-11T14:44:15.907889Z","submitted_at":"2026-07-04T16:53:39Z","title":"Why3-py: A Tool for Formal Verification of Hypothesis Testing and Meta-Analysis in Python"},"reference_resolution":{"displayed":23,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":23,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":23},"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-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"thesis":"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."}