{"as_of":"2026-08-10T08:59:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:1a08fd39643850e8f16ef5e020b475912c9b2ce8541df6e8d6384c8f1bcf5d03","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-10T06:31:04.303077+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-09T07:25:18.954576Z","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-08T02:14:28.380655Z","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:1486974a15e9e7a52e02b68f74cde41ce37936f6d79fbcf9957eb2eed44df789","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-09T07:25:18.954576Z","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-05T17:49:57.690676Z","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:2de116f30166402606f0edf9c23cef514eb64c39955099b443e34d1eef94c4d2","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-09T07:25:18.954576Z","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:06e7d7a7e28d27a66205ef77a6590a91067b9306769d13176f3ebca108c47925","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T07:25:18.954576Z","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:2dab594c1f09db28656e6cd7ccf05f4d844a7b4db454a18a8bbb642dce3e7dd5","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T07:25:18.954576Z","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:2085c219f0ee31f63b33bba0004845846c5ccfcf52cb889e6f51be28a0e533eb","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T07:25:18.954576Z","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:b398b9293c7c66a71b17a5e8bcc83acc67569e312aa87b7be8590c297bbbd658","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T07:25:18.954576Z","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:dc537da43aa0e28d0c52e82989ae4bb57a9a6c864d5312dd029a74a6afd2690d","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T07:25:18.954576Z","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:686acab95fc4325e728a42f84c54b03f9e40b1507a91644e2673aef9be002296","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T07:25:18.954576Z","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:e48de9eadefd1774ab913b7b13fb12a30c8af1085f1a9812cf72210034d7153a","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T07:25:18.954576Z","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:03283682db69d8083d88a1a5be251340ff8d251dc1b165057727220ba26a9979","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T07:25:18.954576Z","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:d1820324cf3606a298032102410545e15c62ad63e185680edec33a8fae632201","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T07:25:18.954576Z","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:29bbc612606e3e9a4ad33c2a5607700a01b5b51807969c51a1812776042e1443","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-07-06T18:55:11.576666Z","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-09T07:25:18.954576Z","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:b1ee7dac37249033002745d94ec1c8e66740cb4c41c4bbe05eddef8edfb60fe9","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-10T03:07:35.408836Z","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-09T07:25:18.954576Z","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:60810055d5e86023a24eb6ee72df4d1563515e79d4881528e71e9bc0b87b229a","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-07T06:30:25.302107Z","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-09T07:25:18.954576Z","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:7a8397b6d042198939eece81e8828c85fd34bc4a5d08c70894591b9085ee7dc9","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-09T07:25:18.954576Z","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:8e74e3a2a518d304fbd11cecc7ea49c4d8ceb327b1f53d6a81eef0e9297d98b8","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T07:25:18.954576Z","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:c76702647e425564a0cdf4df68f42f236c0235bf59e9dc431b5fec68ad97cbb1","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T07:25:18.954576Z","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:956b23a8b26b8c247d0490f3dc4f042e69c000e16d63a421def8347013ae31c2","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-09T07:25:18.954576Z","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:750fbd006b4df8eea1cca16af864f45ad69038e180d523e5351021636f394dfa","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T07:25:18.954576Z","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-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 17 of 17 outbound references and 2 inbound Pith citation observations for arXiv:2508.08171."}