Paper Citation Record · LEDGER

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

As of 19 August 2026, this Paper Citation Record lists 17 of 17 outbound references and 2 inbound Pith citation observations for arXiv:2508.08171.

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

pith.paper-citation-record.v1
2508.08171 v1

Coverage vector

measured 17 of 17 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-05T21:41:28.657964Z

measured 19 of 19 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-19T06:32:44.657259+00:00

measured 2 of 2 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-02T06:25:31.700896Z

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

17 of 17 outbound references displayed

verified exact0
verified fuzzy6
unresolved11
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 374a979d-56ac-458a-92fb-b0d80587d502 · outbound

This paper cites an unresolved cited work.

PyVeritas: On Verifying Python via LLM-Based Transpilation and Bounded Model Checking for C Unresolved cited work

Reference 1

Resolution: unresolved; raw_fallback, observed 2026-08-05T21:41:30.426738Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 3a7874cc-ac3d-46c4-b6cc-fe7c57e92090 · outbound

This paper cites an unresolved cited work.

PyVeritas: On Verifying Python via LLM-Based Transpilation and Bounded Model Checking for C Unresolved cited work

Reference 2

Resolution: unresolved; raw_fallback, observed 2026-08-05T21:41:30.341170Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 5d9b7bbb-e893-47c2-aa13-6976e413ec0d · outbound

This paper cites Inside the loop: - `x` is decremented by `y`.

PyVeritas: On Verifying Python via LLM-Based Transpilation and Bounded Model Checking for C Inside the loop: - `x` is decremented by `y`

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T21:41:30.201850Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation fa4054e7-4fd9-434d-bce2-b33ee575f221 · outbound

This paper cites - `c` counts the number of 1s in the binary representation of `b`.

PyVeritas: On Verifying Python via LLM-Based Transpilation and Bounded Model Checking for C - `c` counts the number of 1s in the binary representation of `b`

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T21:41:29.978807Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 41d2d99b-1b6a-4ea5-9d9c-0fdef2d093ef · outbound

This paper cites an unresolved cited work.

PyVeritas: On Verifying Python via LLM-Based Transpilation and Bounded Model Checking for C Unresolved cited work

Reference 5

Resolution: unresolved; raw_fallback, observed 2026-08-05T21:41:29.617463Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 078c1bf0-fe86-4112-88fa-fe93b8d73add · outbound

This paper cites an unresolved cited work.

PyVeritas: On Verifying Python via LLM-Based Transpilation and Bounded Model Checking for C Unresolved cited work

Reference 6

Resolution: unresolved; raw_fallback, observed 2026-08-05T21:41:29.556349Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation bd00e133-e891-46c5-b6dc-f72b1d3ee9ce · outbound

This paper cites All assertions passed.

PyVeritas: On Verifying Python via LLM-Based Transpilation and Bounded Model Checking for C All assertions passed

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T21:41:29.422491Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation b9f3ae78-6b5e-45c1-8eab-0ba52d95358d · outbound

This paper cites an unresolved cited work.

PyVeritas: On Verifying Python via LLM-Based Transpilation and Bounded Model Checking for C Unresolved cited work

Reference 15

Resolution: unresolved; raw_fallback, observed 2026-08-05T21:41:29.254162Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 826030f0-56e9-4907-82ae-a5eb44f47979 · outbound

This paper cites an unresolved cited work.

PyVeritas: On Verifying Python via LLM-Based Transpilation and Bounded Model Checking for C Unresolved cited work

Reference 16

Resolution: unresolved; raw_fallback, observed 2026-08-05T21:41:29.140461Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation f4c1afb0-e09c-4043-9d2f-09b83fa459c4 · outbound

This paper cites an unresolved cited work.

PyVeritas: On Verifying Python via LLM-Based Transpilation and Bounded Model Checking for C Unresolved cited work

Reference 17

Resolution: unresolved; raw_fallback, observed 2026-08-05T21:41:28.926395Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 83379ce6-0365-4f8f-bf30-73031de675a2 · outbound

This paper cites The Llama 3 Herd of Models.

PyVeritas: On Verifying Python via LLM-Based Transpilation and Bounded Model Checking for C The Llama 3 Herd of Models

Reference 301

Resolution: unresolved; no resolver link, observed 2026-08-05T21:41:27.602719Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 33fb87b9-c3b9-4a43-8dfe-2744a5258839 · outbound

This paper cites LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code.

PyVeritas: On Verifying Python via LLM-Based Transpilation and Bounded Model Checking for C LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code

Reference 398

Resolution: unresolved; no resolver link, observed 2026-08-05T21:41:27.294931Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a4b68117-bd31-4613-a910-efcd3fef720d · outbound

This paper cites DeepSeek-Coder-V2: Breaking the Barrier of Closed-Source Models in Code Intelligence.

PyVeritas: On Verifying Python via LLM-Based Transpilation and Bounded Model Checking for C DeepSeek-Coder-V2: Breaking the Barrier of Closed-Source Models in Code Intelligence

Reference 2009

Resolution: unresolved; no resolver link, observed 2026-08-05T21:41:27.181633Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 33768476-ac56-4cdf-a960-512dfb647b07 · outbound

This paper cites In NeurIPS.

PyVeritas: On Verifying Python via LLM-Based Transpilation and Bounded Model Checking for C In NeurIPS

Reference 2021

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T21:41:30.670844Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation a21a0f49-0089-44bd-9e09-54c36f036666 · outbound

This paper cites In Glober- sons, A.; Mackey, L.; Belgrave, D.; Fan, A.; Paquet, U.; Tomczak, J.

PyVeritas: On Verifying Python via LLM-Based Transpilation and Bounded Model Checking for C In Glober- sons, A.; Mackey, L.; Belgrave, D.; Fan, A.; Paquet, U.; Tomczak, J

Reference 2024

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T21:41:30.663229Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 65c6b50c-2d8c-4ffc-95d6-f7d810bd1486 · outbound

This paper cites All assertions passed.\n.

PyVeritas: On Verifying Python via LLM-Based Transpilation and Bounded Model Checking for C All assertions passed.\n

Reference 2025

Resolution: unresolved; no resolver link, observed 2026-08-05T21:41:27.742943Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a25fc9fd-6dfa-43c2-b094-f31027e6fbc5 · outbound

This paper cites Lahtinen, J.; Valkonen, J.; Bj¨orkman, K.; Frits, J.; Niemel ¨a, I.; and Heljanko, K.

PyVeritas: On Verifying Python via LLM-Based Transpilation and Bounded Model Checking for C Lahtinen, J.; Valkonen, J.; Bj¨orkman, K.; Frits, J.; Niemel ¨a, I.; and Heljanko, K

Reference 5140

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T21:41:30.493218Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Pith citing papers

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

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

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 03873c83-b5cc-4e47-8dc9-5757da9ac61f · inbound

MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku cites this paper.

MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku PyVeritas: On Verifying Python via LLM-Based Transpilation and Bounded Model Checking for C

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-02T06:25:31.700896Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.