Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-05T21:41:28.657964Z
Paper Citation Record · LEDGER
PyVeritas: On Verifying Python via LLM-Based Transpilation and Bounded Model Checking for C
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.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-09T06:31:02.800959+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-02T06:25:31.700896Z
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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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.