{"as_of":"2026-08-14T07:08:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:748234e2ce4381513ebc6073b55719868cb0fd85a4f13da461f9345d2c54f00c","coverage":[{"denominator":17,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":17,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-05T21:41:28.657964Z","state":"measured"},{"denominator":19,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":19,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-14T06:32:32.682623+00:00","state":"measured"},{"denominator":2,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":2,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-02T06:25:31.700896Z","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":[{"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":{"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-08-02T06:25:31.700896Z","title":"CoRRabs/2508.08171(2025)","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.12711","last_updated":"2026-07-17T12:17:09Z","snapshot_observed_at":"2026-08-12T14:39:41.842574Z","submitted_at":"2026-07-14T12:39:05Z","title":"MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-02T06:25:31.700896Z"},"links":{"cited_paper":"/paper/2508.08171","citing_paper":"/paper/2607.12711"},"observation_digest":"sha256:13d9b39c23f710831ee23034fbf3e60f3d4a37eca8866f135f82e7123b63c55e","observation_id":"03873c83-b5cc-4e47-8dc9-5757da9ac61f","resolution":{"observed_at":"2026-08-02T06:25:31.700896Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2508.08171/citation-record","integrity":"/paper/2508.08171/integrity","json":"/paper/2508.08171/citation-record.json","paper":"/paper/2508.08171"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T21:41:30.386072Z","title":null,"venue":null,"work_id":"72fdb386-f305-4486-a1a0-cb3f05fa1fc0","year":null},"citing_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},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-05T21:41:27.851999Z"},"links":{"citing_paper":"/paper/2508.08171"},"observation_digest":"sha256:c5549b5c5fa5db4386478b2411103abbe36f7dbfe03174d5642791b4c8597510","observation_id":"374a979d-56ac-458a-92fb-b0d80587d502","resolution":{"observed_at":"2026-08-05T21:41:30.426738Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"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"}],"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-05T21:41:30.306593Z","title":null,"venue":null,"work_id":"352d1690-08e9-4888-84e1-fdcbb2dfa9e4","year":null},"citing_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},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-05T21:41:27.938371Z"},"links":{"citing_paper":"/paper/2508.08171"},"observation_digest":"sha256:c709074f903d6dd4273501752779e1d559940d744c85da3b898aa4591440ed2d","observation_id":"3a7874cc-ac3d-46c4-b6cc-fe7c57e92090","resolution":{"observed_at":"2026-08-05T21:41:30.341170Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"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"}],"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-05T21:41:30.107663Z","title":"Inside the loop: - `x` is decremented by `y`","venue":null,"work_id":"9570f009-b958-47d4-b0d1-87a1725e2729","year":null},"citing_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},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-05T21:41:28.057277Z"},"links":{"citing_paper":"/paper/2508.08171"},"observation_digest":"sha256:78c9e5925160b4f37e83421cdaf8601df3b03a355926236d792b8afe3f9fdf25","observation_id":"5d9b7bbb-e893-47c2-aa13-6976e413ec0d","resolution":{"observed_at":"2026-08-05T21:41:30.201850Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"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"}],"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-05T21:41:29.838336Z","title":"- `c` counts the number of 1s in the binary representation of `b`","venue":null,"work_id":"a5d6ee27-863a-4d3c-9f28-f959cc8ee364","year":null},"citing_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},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-05T21:41:28.147612Z"},"links":{"citing_paper":"/paper/2508.08171"},"observation_digest":"sha256:a9b3c176971f7c436c480f031968574d7f51360608568fe2037ece89cff4ce8d","observation_id":"fa4054e7-4fd9-434d-bce2-b33ee575f221","resolution":{"observed_at":"2026-08-05T21:41:29.978807Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"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"}],"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-05T21:41:29.561943Z","title":null,"venue":null,"work_id":"d35f35bc-f508-4f96-81a1-b7bd2d1f3cf9","year":null},"citing_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},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-05T21:41:28.217592Z"},"links":{"citing_paper":"/paper/2508.08171"},"observation_digest":"sha256:3f8243f486324b807bfb8671026c8a226d61dec2c63174a2a5606371165c9887","observation_id":"41d2d99b-1b6a-4ea5-9d9c-0fdef2d093ef","resolution":{"observed_at":"2026-08-05T21:41:29.617463Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"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"}],"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-05T21:41:29.497868Z","title":null,"venue":null,"work_id":"aadd00ff-ef68-4764-b7e4-27972435c632","year":null},"citing_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},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-05T21:41:28.310345Z"},"links":{"citing_paper":"/paper/2508.08171"},"observation_digest":"sha256:c7e77ac5b0b54236a3c29aa476ae605d3650fbb53b64c3c353225bd51da48ff4","observation_id":"078c1bf0-fe86-4112-88fa-fe93b8d73add","resolution":{"observed_at":"2026-08-05T21:41:29.556349Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"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"}],"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-05T21:41:29.348310Z","title":"All assertions passed","venue":null,"work_id":"8d77f493-5ba3-425b-9e0e-8ceea621e01f","year":null},"citing_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},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-05T21:41:28.408005Z"},"links":{"citing_paper":"/paper/2508.08171"},"observation_digest":"sha256:51adb79e7ce6480ccb247c1b42414c1a4df5c8f556a599901c10a9e3918500be","observation_id":"bd00e133-e891-46c5-b6dc-f72b1d3ee9ce","resolution":{"observed_at":"2026-08-05T21:41:29.422491Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"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"}],"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-05T21:41:29.220223Z","title":null,"venue":null,"work_id":"c18854b5-e9df-4b66-92ea-fb0e04a085dc","year":null},"citing_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},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-05T21:41:28.487818Z"},"links":{"citing_paper":"/paper/2508.08171"},"observation_digest":"sha256:1bd3b948b193d38c80cadd1e9d51b92e3915eb21254d7d4693d20b944eeb68d3","observation_id":"b9f3ae78-6b5e-45c1-8eab-0ba52d95358d","resolution":{"observed_at":"2026-08-05T21:41:29.254162Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"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"}],"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-05T21:41:29.032833Z","title":null,"venue":null,"work_id":"b56aebfc-efbf-4f95-b5ff-c8f055951948","year":null},"citing_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},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-05T21:41:28.590428Z"},"links":{"citing_paper":"/paper/2508.08171"},"observation_digest":"sha256:e67b6f5138186284d899be8b116e37f897d6267c4fbb76468bd25e624c6b80b9","observation_id":"826030f0-56e9-4907-82ae-a5eb44f47979","resolution":{"observed_at":"2026-08-05T21:41:29.140461Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"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"}],"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-05T21:41:28.888714Z","title":null,"venue":null,"work_id":"f082cf08-8a9f-4e7e-b2b8-df5925715624","year":null},"citing_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},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-05T21:41:28.657964Z"},"links":{"citing_paper":"/paper/2508.08171"},"observation_digest":"sha256:13f79289c3791e9f919deadae49ad89876b93081c19b98e699f0a9907bd79a58","observation_id":"f4c1afb0-e09c-4043-9d2f-09b83fa459c4","resolution":{"observed_at":"2026-08-05T21:41:28.926395Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2407.21783","last_updated":"2024-11-23T23:27:33Z","snapshot_observed_at":"2026-08-13T17:20:44.002518Z","submitted_at":"2024-07-31T17:54:27Z","title":"The Llama 3 Herd of Models","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.21783","snapshot_observed_at":"2026-08-05T21:41:27.602719Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_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},"reference_index":301,"source":"pdf_text","source_observed_at":"2026-08-05T21:41:27.602719Z"},"links":{"cited_paper":"/paper/2407.21783","citing_paper":"/paper/2508.08171"},"observation_digest":"sha256:ea8fe262329998db71ae7b6cd65fa12793f506f20b7132d2e29031016f690c7b","observation_id":"83379ce6-0365-4f8f-bf30-73031de675a2","resolution":{"observed_at":"2026-08-05T21:41:27.602719Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2403.07974","last_updated":"2024-06-06T17:41:21Z","snapshot_observed_at":"2026-08-13T09:04:30.125777Z","submitted_at":"2024-03-12T17:58:04Z","title":"LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2403.07974","snapshot_observed_at":"2026-08-05T21:41:27.294931Z","title":"Huang, H.; Tsai, W.; Paul, R","venue":null,"work_id":null,"year":2005},"citing_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},"reference_index":398,"source":"pdf_text","source_observed_at":"2026-08-05T21:41:27.294931Z"},"links":{"cited_paper":"/paper/2403.07974","citing_paper":"/paper/2508.08171"},"observation_digest":"sha256:ede720d3510a709c6be0f330c64007cf4763fea3cbbf22da7e3e45ebe16a71dc","observation_id":"33fb87b9-c3b9-4a43-8dfe-2744a5258839","resolution":{"observed_at":"2026-08-05T21:41:27.294931Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2406.11931","last_updated":"2024-06-17T13:51:35Z","snapshot_observed_at":"2026-08-14T04:42:19.578053Z","submitted_at":"2024-06-17T13:51:35Z","title":"DeepSeek-Coder-V2: Breaking the Barrier of Closed-Source Models in Code Intelligence","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.11931","snapshot_observed_at":"2026-08-05T21:41:27.181633Z","title":"IOS Press","venue":null,"work_id":null,"year":2020},"citing_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},"reference_index":2009,"source":"pdf_text","source_observed_at":"2026-08-05T21:41:27.181633Z"},"links":{"cited_paper":"/paper/2406.11931","citing_paper":"/paper/2508.08171"},"observation_digest":"sha256:14f28b73a925ab5e2f3a99145f228d3585675a03b5ffebf14accbd5ab5559154","observation_id":"a4b68117-bd31-4613-a910-efcd3fef720d","resolution":{"observed_at":"2026-08-05T21:41:27.181633Z","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-05T21:41:30.668355Z","title":"In NeurIPS","venue":null,"work_id":"01a8263c-1ade-458d-be7c-3580523df459","year":2021},"citing_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},"reference_index":2021,"source":"pdf_text","source_observed_at":"2026-08-05T21:41:26.930124Z"},"links":{"citing_paper":"/paper/2508.08171"},"observation_digest":"sha256:bcb4c5a339bebccd6d7deb23250bd8649981fae0d37edb13b8d0ec9f4649bb67","observation_id":"33768476-ac56-4cdf-a960-512dfb647b07","resolution":{"observed_at":"2026-08-05T21:41:30.670844Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"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"}],"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-05T21:41:30.622903Z","title":"In Glober- sons, A.; Mackey, L.; Belgrave, D.; Fan, A.; Paquet, U.; Tomczak, J","venue":null,"work_id":"fbd7a2a2-d093-431b-b594-08be7510411e","year":2024},"citing_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},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-05T21:41:27.034353Z"},"links":{"citing_paper":"/paper/2508.08171"},"observation_digest":"sha256:938468d5ba6527fe4c70ad5f223e921318b1e5031a8574d6880fc60f5ce3116e","observation_id":"a21a0f49-0089-44bd-9e09-54c36f036666","resolution":{"observed_at":"2026-08-05T21:41:30.663229Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"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"}],"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-05T21:41:27.742943Z","title":"All assertions passed.\\n","venue":null,"work_id":null,"year":2025},"citing_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},"reference_index":2025,"source":"pdf_text","source_observed_at":"2026-08-05T21:41:27.742943Z"},"links":{"citing_paper":"/paper/2508.08171"},"observation_digest":"sha256:5fb06cc688434d8a7b13b5b4794e03e317e9b166fbcc98258f99174ca764c5f9","observation_id":"65c6b50c-2d8c-4ffc-95d6-f7d810bd1486","resolution":{"observed_at":"2026-08-05T21:41:27.742943Z","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-05T21:41:30.459121Z","title":"Lahtinen, J.; Valkonen, J.; Bj¨orkman, K.; Frits, J.; Niemel ¨a, I.; and Heljanko, K","venue":null,"work_id":"874e5501-d929-43eb-a752-42b537f8b0b3","year":2012},"citing_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},"reference_index":5140,"source":"pdf_text","source_observed_at":"2026-08-05T21:41:27.456656Z"},"links":{"citing_paper":"/paper/2508.08171"},"observation_digest":"sha256:6fe34dff7cbe26fba914ea7537983f2012770fee1aa4c347d8819a79e13e5899","observation_id":"a25fc9fd-6dfa-43c2-b094-f31027e6fbc5","resolution":{"observed_at":"2026-08-05T21:41:30.493218Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}}],"paper":{"arxiv_id":"2508.08171","last_updated":"2025-08-11T16:49:07Z","latest_version":1,"primary_category":"cs.SE","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"},"reference_resolution":{"displayed":17,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":11,"verified_exact":0,"verified_fuzzy":6},"total_outbound_references":17},"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 17 of 17 outbound references and 2 inbound Pith citation observations for arXiv:2508.08171."}