Paper Citation Record · LEDGER

Formally Verified Code Synthesis for Structured Data Translation in a Medical Internet of Things

As of 22 August 2026, this Paper Citation Record lists 13 of 13 outbound references and 0 inbound Pith citation observations for arXiv:2606.20776.

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

pith.paper-citation-record.v1
2606.20776 v1

Coverage vector

measured 13 of 13 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-06-26T16:07:28.510381Z

measured 13 of 13 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-21T06:32:19.484+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

13 of 13 outbound references displayed

verified exact0
verified fuzzy0
unresolved9
parse uncertain0
malformed identifier0
metadata mismatch4

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 81515fbc-b88e-45c5-9a6c-84eb125a451b · outbound

This paper cites ShinkaEvolve: Towards Open-Ended And Sample-Efficient Program Evolution.

Formally Verified Code Synthesis for Structured Data Translation in a Medical Internet of Things ShinkaEvolve: Towards Open-Ended And Sample-Efficient Program Evolution

Reference 1

Resolution: metadata mismatch; local_arxiv, observed 2026-07-04T05:19:35.246649Z

Source-reported events for the cited work

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

Observation e7d5fd5d-c37c-451d-b263-0b10073e89de · outbound

This paper cites an unresolved cited work.

Formally Verified Code Synthesis for Structured Data Translation in a Medical Internet of Things Unresolved cited work

Reference 2

Resolution: unresolved; no resolver link, observed 2026-06-26T16:07:28.510381Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation af6b4e60-ad4f-4441-9c8c-60f38ad99f45 · outbound

This paper cites 2025 , publisher =.

Formally Verified Code Synthesis for Structured Data Translation in a Medical Internet of Things 2025 , publisher =

Reference 3

Resolution: unresolved; no resolver link, observed 2026-06-26T16:07:28.510381Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 23fc61d5-a199-4d36-adb9-21bb0e415803 · outbound

This paper cites AlphaEvolve: A coding agent for scientific and algorithmic discovery.

Formally Verified Code Synthesis for Structured Data Translation in a Medical Internet of Things AlphaEvolve: A coding agent for scientific and algorithmic discovery

Reference 4

Resolution: metadata mismatch; local_arxiv, observed 2026-07-04T05:19:35.249838Z

Source-reported events for the cited work

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

Observation 3de9a33c-0f5f-475e-8ba7-402e820188c7 · outbound

This paper cites Why Language Models Hallucinate.

Formally Verified Code Synthesis for Structured Data Translation in a Medical Internet of Things Why Language Models Hallucinate

Reference 5

Resolution: metadata mismatch; local_arxiv, observed 2026-07-04T05:19:35.243408Z

Source-reported events for the cited work

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

Observation d4fce773-5f1b-41a5-a7a8-a26bda2dd964 · outbound

This paper cites JMIR medical informatics , volume=.

Formally Verified Code Synthesis for Structured Data Translation in a Medical Internet of Things JMIR medical informatics , volume=

Reference 6

Resolution: unresolved; no resolver link, observed 2026-06-26T16:07:28.510381Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6848aef0-d986-4cc5-ab9f-94c17e060f03 · outbound

This paper cites International Journal of Innovation and Applied Studies , volume=.

Formally Verified Code Synthesis for Structured Data Translation in a Medical Internet of Things International Journal of Innovation and Applied Studies , volume=

Reference 7

Resolution: unresolved; no resolver link, observed 2026-06-26T16:07:28.510381Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8e10ba00-f15f-41d1-8c7c-cb74036a0ee4 · outbound

This paper cites Foundations and Trends in Machine Learning , volume=.

Formally Verified Code Synthesis for Structured Data Translation in a Medical Internet of Things Foundations and Trends in Machine Learning , volume=

Reference 8

Resolution: unresolved; no resolver link, observed 2026-06-26T16:07:28.510381Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8c6820d3-850a-45ee-a281-e3693e8ddf1f · outbound

This paper cites Proceedings of the ACM on Programming Languages , volume=.

Formally Verified Code Synthesis for Structured Data Translation in a Medical Internet of Things Proceedings of the ACM on Programming Languages , volume=

Reference 9

Resolution: unresolved; no resolver link, observed 2026-06-26T16:07:28.510381Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3e970a81-edfb-429e-a9e7-b7a4498c5b54 · outbound

This paper cites OpenAI GPT-5 System Card.

Formally Verified Code Synthesis for Structured Data Translation in a Medical Internet of Things OpenAI GPT-5 System Card

Reference 10

Resolution: metadata mismatch; local_arxiv, observed 2026-07-04T05:19:35.241028Z

Source-reported events for the cited work

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

Observation ac41598d-f2c9-4b3b-9f44-3f9f3227d004 · outbound

This paper cites 2025 International Conference on Artificial Intelligence, Computer, Data Sciences and Applications (ACDSA) , pages=.

Formally Verified Code Synthesis for Structured Data Translation in a Medical Internet of Things 2025 International Conference on Artificial Intelligence, Computer, Data Sciences and Applications (ACDSA) , pages=

Reference 11

Resolution: unresolved; no resolver link, observed 2026-06-26T16:07:28.510381Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dbae886a-9acd-454b-bd91-760bda22ff70 · outbound

This paper cites Healthcare informatics research , volume=.

Formally Verified Code Synthesis for Structured Data Translation in a Medical Internet of Things Healthcare informatics research , volume=

Reference 12

Resolution: unresolved; no resolver link, observed 2026-06-26T16:07:28.510381Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9de62ab1-7117-4552-ae8a-5364b5708037 · outbound

This paper cites 2015 International conference on innovations in information, embedded and communication systems (ICIIECS) , pages=.

Formally Verified Code Synthesis for Structured Data Translation in a Medical Internet of Things 2015 International conference on innovations in information, embedded and communication systems (ICIIECS) , pages=

Reference 13

Resolution: unresolved; no resolver link, observed 2026-06-26T16:07:28.510381Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.