{"as_of":"2026-08-22T10:16:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:3903afff9e63b0a5f8130efa3959855c37c1015fa8d0023bf7318fca3b38231b","coverage":[{"denominator":13,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":13,"source":"paper_references, paper_reference_links","source_observed_at":"2026-06-26T16:07:28.510381Z","state":"measured"},{"denominator":13,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":13,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-22T06:32:14.747728+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"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":[],"links":{"evidence":"/evidence","html":"/paper/2606.20776/citation-record","integrity":"/paper/2606.20776/integrity","json":"/paper/2606.20776/citation-record.json","paper":"/paper/2606.20776"},"outbound":[{"citation":{"cited_paper":{"arxiv_id":"2509.19349","last_updated":"2025-09-17T17:49:02Z","snapshot_observed_at":"2026-08-15T22:10:58.636387Z","submitted_at":"2025-09-17T17:49:02Z","title":"ShinkaEvolve: Towards Open-Ended And Sample-Efficient Program Evolution","version":1},"cited_work":{"arxiv_id":"2509.19349","doi":null,"metadata_source":"pith","pith_arxiv_id":"2509.19349","snapshot_observed_at":"2026-07-04T20:00:08.586809Z","title":"ShinkaEvolve: Towards Open-Ended And Sample-Efficient Program Evolution","venue":"cs.CL","work_id":"41f30c7f-ee82-49b7-9ce9-463d3124269c","year":2025},"citing_paper":{"arxiv_id":"2606.20776","last_updated":"2026-06-18T16:12:29Z","snapshot_observed_at":"2026-08-12T18:56:46.305627Z","submitted_at":"2026-06-18T16:12:29Z","title":"Formally Verified Code Synthesis for Structured Data Translation in a Medical Internet of Things","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-06-26T16:07:28.510381Z"},"links":{"cited_paper":"/paper/2509.19349","citing_paper":"/paper/2606.20776"},"observation_digest":"sha256:b82d575e08cf37dcac3d07527e046773717074ef60cca23d3d7c574763fdf898","observation_id":"81515fbc-b88e-45c5-9a6c-84eb125a451b","resolution":{"observed_at":"2026-07-04T05:19:35.246649Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-06-26T16:07:28.510381Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.20776","last_updated":"2026-06-18T16:12:29Z","snapshot_observed_at":"2026-08-12T18:56:46.305627Z","submitted_at":"2026-06-18T16:12:29Z","title":"Formally Verified Code Synthesis for Structured Data Translation in a Medical Internet of Things","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-06-26T16:07:28.510381Z"},"links":{"citing_paper":"/paper/2606.20776"},"observation_digest":"sha256:5f9ca825ecddf76d74c66bdc6373dc670eafe813922817c9856a719e697c6923","observation_id":"e7d5fd5d-c37c-451d-b263-0b10073e89de","resolution":{"observed_at":"2026-06-26T16:07:28.510381Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T16:07:28.510381Z","title":"2025 , publisher =","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.20776","last_updated":"2026-06-18T16:12:29Z","snapshot_observed_at":"2026-08-12T18:56:46.305627Z","submitted_at":"2026-06-18T16:12:29Z","title":"Formally Verified Code Synthesis for Structured Data Translation in a Medical Internet of Things","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-06-26T16:07:28.510381Z"},"links":{"citing_paper":"/paper/2606.20776"},"observation_digest":"sha256:dff5d1c8a0267b45cb21702e1b95d8140314f9307ec903a9ae515574e465f472","observation_id":"af6b4e60-ad4f-4441-9c8c-60f38ad99f45","resolution":{"observed_at":"2026-06-26T16:07:28.510381Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2506.13131","last_updated":"2025-06-16T06:37:18Z","snapshot_observed_at":"2026-08-20T22:23:36.450758Z","submitted_at":"2025-06-16T06:37:18Z","title":"AlphaEvolve: A coding agent for scientific and algorithmic discovery","version":1},"cited_work":{"arxiv_id":"2506.13131","doi":"10.1016/j.shpsa.2017.03.005","metadata_source":"pith","pith_arxiv_id":"2506.13131","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"AlphaEvolve: A coding agent for scientific and algorithmic discovery","venue":"cs.AI","work_id":"76a0f850-d490-4e4f-ab98-8d25df82cd23","year":2025},"citing_paper":{"arxiv_id":"2606.20776","last_updated":"2026-06-18T16:12:29Z","snapshot_observed_at":"2026-08-12T18:56:46.305627Z","submitted_at":"2026-06-18T16:12:29Z","title":"Formally Verified Code Synthesis for Structured Data Translation in a Medical Internet of Things","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-06-26T16:07:28.510381Z"},"links":{"cited_paper":"/paper/2506.13131","citing_paper":"/paper/2606.20776"},"observation_digest":"sha256:3a39108a2bdcee8911358861be603e26ae828d49d9906e89d194288b241dd5fc","observation_id":"23fc61d5-a199-4d36-adb9-21bb0e415803","resolution":{"observed_at":"2026-07-04T05:19:35.249838Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2509.04664","last_updated":"2025-09-04T21:26:31Z","snapshot_observed_at":"2026-08-20T16:25:21.186877Z","submitted_at":"2025-09-04T21:26:31Z","title":"Why Language Models Hallucinate","version":1},"cited_work":{"arxiv_id":"2509.04664","doi":"10.48550/arxiv.2509.04664","metadata_source":"pith","pith_arxiv_id":"2509.04664","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Why Language Models Hallucinate","venue":"cs.CL","work_id":"6bfb3eed-1270-492c-8fbe-a5671f3f779c","year":2025},"citing_paper":{"arxiv_id":"2606.20776","last_updated":"2026-06-18T16:12:29Z","snapshot_observed_at":"2026-08-12T18:56:46.305627Z","submitted_at":"2026-06-18T16:12:29Z","title":"Formally Verified Code Synthesis for Structured Data Translation in a Medical Internet of Things","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-06-26T16:07:28.510381Z"},"links":{"cited_paper":"/paper/2509.04664","citing_paper":"/paper/2606.20776"},"observation_digest":"sha256:195d31df4621fec3aa9938cb1398e85c6c3cac529195eb1bed91ffc1455670fb","observation_id":"3de9a33c-0f5f-475e-8ba7-402e820188c7","resolution":{"observed_at":"2026-07-04T05:19:35.243408Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-06-26T16:07:28.510381Z","title":"JMIR medical informatics , volume=","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2606.20776","last_updated":"2026-06-18T16:12:29Z","snapshot_observed_at":"2026-08-12T18:56:46.305627Z","submitted_at":"2026-06-18T16:12:29Z","title":"Formally Verified Code Synthesis for Structured Data Translation in a Medical Internet of Things","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-06-26T16:07:28.510381Z"},"links":{"citing_paper":"/paper/2606.20776"},"observation_digest":"sha256:e5b2b5384f519720a7cc3f6c68e104bcc6ef223c4667b883f6c23742f8119ec3","observation_id":"d4fce773-5f1b-41a5-a7a8-a26bda2dd964","resolution":{"observed_at":"2026-06-26T16:07:28.510381Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T16:07:28.510381Z","title":"International Journal of Innovation and Applied Studies , volume=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.20776","last_updated":"2026-06-18T16:12:29Z","snapshot_observed_at":"2026-08-12T18:56:46.305627Z","submitted_at":"2026-06-18T16:12:29Z","title":"Formally Verified Code Synthesis for Structured Data Translation in a Medical Internet of Things","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-06-26T16:07:28.510381Z"},"links":{"citing_paper":"/paper/2606.20776"},"observation_digest":"sha256:fce3a0d49228eca5c28bfe189a686cb954c58d173822d07e5031fe22a6c69dc8","observation_id":"6848aef0-d986-4cc5-ab9f-94c17e060f03","resolution":{"observed_at":"2026-06-26T16:07:28.510381Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T16:07:28.510381Z","title":"Foundations and Trends in Machine Learning , volume=","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2606.20776","last_updated":"2026-06-18T16:12:29Z","snapshot_observed_at":"2026-08-12T18:56:46.305627Z","submitted_at":"2026-06-18T16:12:29Z","title":"Formally Verified Code Synthesis for Structured Data Translation in a Medical Internet of Things","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-06-26T16:07:28.510381Z"},"links":{"citing_paper":"/paper/2606.20776"},"observation_digest":"sha256:26b5f5f13c81cf5230b1b26c111346764c519563eba9741f569917939200c84e","observation_id":"8e10ba00-f15f-41d1-8c7c-cb74036a0ee4","resolution":{"observed_at":"2026-06-26T16:07:28.510381Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T16:07:28.510381Z","title":"Proceedings of the ACM on Programming Languages , volume=","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2606.20776","last_updated":"2026-06-18T16:12:29Z","snapshot_observed_at":"2026-08-12T18:56:46.305627Z","submitted_at":"2026-06-18T16:12:29Z","title":"Formally Verified Code Synthesis for Structured Data Translation in a Medical Internet of Things","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-06-26T16:07:28.510381Z"},"links":{"citing_paper":"/paper/2606.20776"},"observation_digest":"sha256:d847f04ee090ef6a099b8ec26ef410ef7e3cae2afd416e4084bd440bd55f9d94","observation_id":"8c6820d3-850a-45ee-a281-e3693e8ddf1f","resolution":{"observed_at":"2026-06-26T16:07:28.510381Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2601.03267","last_updated":"2026-05-01T23:55:43Z","snapshot_observed_at":"2026-08-15T00:17:32.875866Z","submitted_at":"2025-12-19T07:05:38Z","title":"OpenAI GPT-5 System Card","version":2},"cited_work":{"arxiv_id":"2601.03267","doi":"10.48550/arxiv.2601.03267","metadata_source":"pith","pith_arxiv_id":"2601.03267","snapshot_observed_at":"2026-08-05T02:49:54.815029Z","title":"OpenAI GPT-5 System Card","venue":"cs.CL","work_id":"ca87689a-0d29-4476-b504-b65dbbb08af4","year":2025},"citing_paper":{"arxiv_id":"2606.20776","last_updated":"2026-06-18T16:12:29Z","snapshot_observed_at":"2026-08-12T18:56:46.305627Z","submitted_at":"2026-06-18T16:12:29Z","title":"Formally Verified Code Synthesis for Structured Data Translation in a Medical Internet of Things","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-06-26T16:07:28.510381Z"},"links":{"cited_paper":"/paper/2601.03267","citing_paper":"/paper/2606.20776"},"observation_digest":"sha256:bc83618e4ee4c5a2fe573ee95303b36556da6188d1e4852a6d84f94a8a6b957f","observation_id":"3e970a81-edfb-429e-a9e7-b7a4498c5b54","resolution":{"observed_at":"2026-07-04T05:19:35.241028Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T05:08:14.623228+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-22T05:08:14.623228+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-22T06:32:06.552537+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-06-26T16:07:28.510381Z","title":"2025 International Conference on Artificial Intelligence, Computer, Data Sciences and Applications (ACDSA) , pages=","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.20776","last_updated":"2026-06-18T16:12:29Z","snapshot_observed_at":"2026-08-12T18:56:46.305627Z","submitted_at":"2026-06-18T16:12:29Z","title":"Formally Verified Code Synthesis for Structured Data Translation in a Medical Internet of Things","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-06-26T16:07:28.510381Z"},"links":{"citing_paper":"/paper/2606.20776"},"observation_digest":"sha256:8419012384c41dd35f1197c8f0fa467ca4027474c24444b696ee8540c2165221","observation_id":"ac41598d-f2c9-4b3b-9f44-3f9f3227d004","resolution":{"observed_at":"2026-06-26T16:07:28.510381Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T16:07:28.510381Z","title":"Healthcare informatics research , volume=","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2606.20776","last_updated":"2026-06-18T16:12:29Z","snapshot_observed_at":"2026-08-12T18:56:46.305627Z","submitted_at":"2026-06-18T16:12:29Z","title":"Formally Verified Code Synthesis for Structured Data Translation in a Medical Internet of Things","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-06-26T16:07:28.510381Z"},"links":{"citing_paper":"/paper/2606.20776"},"observation_digest":"sha256:c0de922c2c2c7b3a4c430ccaa7f937675d89896d3c306bc6179693721c18e384","observation_id":"dbae886a-9acd-454b-bd91-760bda22ff70","resolution":{"observed_at":"2026-06-26T16:07:28.510381Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T16:07:28.510381Z","title":"2015 International conference on innovations in information, embedded and communication systems (ICIIECS) , pages=","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2606.20776","last_updated":"2026-06-18T16:12:29Z","snapshot_observed_at":"2026-08-12T18:56:46.305627Z","submitted_at":"2026-06-18T16:12:29Z","title":"Formally Verified Code Synthesis for Structured Data Translation in a Medical Internet of Things","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-06-26T16:07:28.510381Z"},"links":{"citing_paper":"/paper/2606.20776"},"observation_digest":"sha256:7c2b7e82f7f42be51fe85849e188ce80072d8d7a9f45620aea0a55b8a5921d48","observation_id":"9de62ab1-7117-4552-ae8a-5364b5708037","resolution":{"observed_at":"2026-06-26T16:07:28.510381Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2606.20776","last_updated":"2026-06-18T16:12:29Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-12T18:56:46.305627Z","submitted_at":"2026-06-18T16:12:29Z","title":"Formally Verified Code Synthesis for Structured Data Translation in a Medical Internet of Things"},"reference_resolution":{"displayed":13,"state_counts":{"malformed_identifier":0,"metadata_mismatch":4,"parse_uncertain":0,"unresolved":9,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":13},"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-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"thesis":"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."}