{"as_of":"2026-08-10T15:11:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:3bcf69692a61629a5dd011600ba328540779b9c690dc2a85fa81a7dadd89b00b","coverage":[{"denominator":0,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":16,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":16,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-10T06:31:04.303077+00:00","state":"measured"},{"denominator":16,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":16,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-04T00:14:49.908130Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":1,"source":"arxiv_reference","source_observed_at":"2026-08-05T02:28:24.338817Z","state":"measured"}],"external_citation_measurements":[{"count":1,"observed_at":"2026-08-05T02:28:24.338817Z","source":"arxiv_reference"}],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2404.18852","last_updated":"2024-05-25T15:15:12Z","snapshot_observed_at":"2026-07-06T18:07:10.639325Z","submitted_at":"2024-04-29T16:45:03Z","title":"VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners","version":2},"cited_work":{"arxiv_id":"2404.18852","doi":"10.48550/arxiv.2404.18852","metadata_source":"arxiv_reference","pith_arxiv_id":"2404.18852","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"VERT: verified equivalent rust transpilation with few- shot learning","venue":"arXiv (Cornell University)","work_id":"45e96e94-f907-471b-8182-7d5c89b46090","year":2024},"citing_paper":{"arxiv_id":"2505.10708","last_updated":"2026-04-22T23:20:17Z","snapshot_observed_at":"2026-07-06T21:24:39.918413Z","submitted_at":"2025-05-15T21:05:33Z","title":"SafeTrans: LLM-assisted Transpilation from C to Rust","version":2},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-05-22T14:12:55.504993Z"},"links":{"cited_paper":"/paper/2404.18852","citing_paper":"/paper/2505.10708"},"observation_digest":"sha256:eee7a9c14b7c109cd21ad7d5f9406378c34841592b209779dbd82063f296f0e0","observation_id":"94710226-49e3-4727-b3f4-fa28a516c322","resolution":{"observed_at":"2026-05-22T14:14:55.657189Z","resolver_source":"arxiv_id","status":"verified_exact"},"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":"2404.18852","last_updated":"2024-05-25T15:15:12Z","snapshot_observed_at":"2026-07-06T18:07:10.639325Z","submitted_at":"2024-04-29T16:45:03Z","title":"VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners","version":2},"cited_work":{"arxiv_id":"2404.18852","doi":"10.48550/arxiv.2404.18852","metadata_source":"arxiv_reference","pith_arxiv_id":"2404.18852","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"VERT: verified equivalent rust transpilation with few- shot learning","venue":"arXiv (Cornell University)","work_id":"45e96e94-f907-471b-8182-7d5c89b46090","year":2024},"citing_paper":{"arxiv_id":"2505.15858","last_updated":"2026-04-06T08:10:41Z","snapshot_observed_at":"2026-07-06T21:28:01.596548Z","submitted_at":"2025-05-21T01:26:23Z","title":"Search-Based Multi-Trajectory Refinement for Safe C-to-Rust Translation with Large Language Models","version":3},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-05-22T14:36:14.709972Z"},"links":{"cited_paper":"/paper/2404.18852","citing_paper":"/paper/2505.15858"},"observation_digest":"sha256:02a2f3ca2f175240b2975b601065c1cb69f75343961b261b90de329d45c37c24","observation_id":"ab2443c5-c7a4-4af6-bac8-e2338cb56d52","resolution":{"observed_at":"2026-05-22T14:36:40.854861Z","resolver_source":"arxiv_id","status":"verified_exact"},"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":"2404.18852","last_updated":"2024-05-25T15:15:12Z","snapshot_observed_at":"2026-07-06T18:07:10.639325Z","submitted_at":"2024-04-29T16:45:03Z","title":"VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners","version":2},"cited_work":{"arxiv_id":"2404.18852","doi":"10.48550/arxiv.2404.18852","metadata_source":"arxiv_reference","pith_arxiv_id":"2404.18852","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"VERT: verified equivalent rust transpilation with few- shot learning","venue":"arXiv (Cornell University)","work_id":"45e96e94-f907-471b-8182-7d5c89b46090","year":2024},"citing_paper":{"arxiv_id":"2510.10956","last_updated":"2026-05-12T09:01:05Z","snapshot_observed_at":"2026-08-08T04:40:33.918252Z","submitted_at":"2025-10-13T03:09:35Z","title":"Project-Level C-to-Rust Translation via Pointer Knowledge Graphs","version":3},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-05-18T08:26:15.321418Z"},"links":{"cited_paper":"/paper/2404.18852","citing_paper":"/paper/2510.10956"},"observation_digest":"sha256:6a9aea230fe91a52feb4ae46abc0159ad20371f4197a1e60d14d589dd6da133a","observation_id":"241cd59d-c6dc-4239-9c3f-d6753e807259","resolution":{"observed_at":"2026-05-18T08:31:06.610883Z","resolver_source":"arxiv_id","status":"verified_exact"},"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":"2404.18852","last_updated":"2024-05-25T15:15:12Z","snapshot_observed_at":"2026-07-06T18:07:10.639325Z","submitted_at":"2024-04-29T16:45:03Z","title":"VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners","version":2},"cited_work":{"arxiv_id":"2404.18852","doi":"10.48550/arxiv.2404.18852","metadata_source":"arxiv_reference","pith_arxiv_id":"2404.18852","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"VERT: verified equivalent rust transpilation with few- shot learning","venue":"arXiv (Cornell University)","work_id":"45e96e94-f907-471b-8182-7d5c89b46090","year":2024},"citing_paper":{"arxiv_id":"2511.02521","last_updated":"2026-06-25T18:44:49Z","snapshot_observed_at":"2026-08-08T15:44:37.846407Z","submitted_at":"2025-11-04T12:16:37Z","title":"Large Lemma Miners: Can LLMs do Induction Proofs for Hardware?","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-05-18T01:34:03.866227Z"},"links":{"cited_paper":"/paper/2404.18852","citing_paper":"/paper/2511.02521"},"observation_digest":"sha256:7ca0d6b4fd6446b3b39d8d2faabb039e7e0f96170deaf67dc65e99dae5d8943c","observation_id":"e837e5ee-501a-4ffb-b18a-03a78c5ffec3","resolution":{"observed_at":"2026-05-18T01:35:36.395820Z","resolver_source":"arxiv_id","status":"verified_exact"},"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":"2404.18852","last_updated":"2024-05-25T15:15:12Z","snapshot_observed_at":"2026-07-06T18:07:10.639325Z","submitted_at":"2024-04-29T16:45:03Z","title":"VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2404.18852","snapshot_observed_at":"2026-08-04T00:14:49.908130Z","title":"VERT: verified equivalent Rust transpilation with few-shot learning,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2511.02521","last_updated":"2026-06-25T18:44:49Z","snapshot_observed_at":"2026-08-08T15:44:37.846407Z","submitted_at":"2025-11-04T12:16:37Z","title":"Large Lemma Miners: Can LLMs do Induction Proofs for Hardware?","version":3},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-04T00:14:49.908130Z"},"links":{"cited_paper":"/paper/2404.18852","citing_paper":"/paper/2511.02521"},"observation_digest":"sha256:5ff9a7ba5d82131805705a2c486fcd3219bf66e464a3a5a7267c97da3cd16e44","observation_id":"a737c029-6861-4d9b-8154-e5e42b546b17","resolution":{"observed_at":"2026-08-04T00:14:49.908130Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2404.18852","last_updated":"2024-05-25T15:15:12Z","snapshot_observed_at":"2026-07-06T18:07:10.639325Z","submitted_at":"2024-04-29T16:45:03Z","title":"VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2404.18852","snapshot_observed_at":"2026-08-02T19:22:16.211069Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2603.02617","last_updated":"2026-07-06T03:56:22Z","snapshot_observed_at":"2026-08-10T13:03:40.000225Z","submitted_at":"2026-03-03T05:42:08Z","title":"His2Trans: A Knowledge-Guided Agentic Framework for Project-Level C-to-Rust Migration","version":4},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-02T19:22:16.211069Z"},"links":{"cited_paper":"/paper/2404.18852","citing_paper":"/paper/2603.02617"},"observation_digest":"sha256:a0bbd1915f77b3fd72b6fc77afd5f46234b943d372a3f6cb682fdd9ba02e3340","observation_id":"8a90a073-cfc9-404b-9cbb-919706d32173","resolution":{"observed_at":"2026-08-02T19:22:16.211069Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2404.18852","last_updated":"2024-05-25T15:15:12Z","snapshot_observed_at":"2026-07-06T18:07:10.639325Z","submitted_at":"2024-04-29T16:45:03Z","title":"VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners","version":2},"cited_work":{"arxiv_id":"2404.18852","doi":"10.48550/arxiv.2404.18852","metadata_source":"arxiv_reference","pith_arxiv_id":"2404.18852","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"VERT: verified equivalent rust transpilation with few- shot learning","venue":"arXiv (Cornell University)","work_id":"45e96e94-f907-471b-8182-7d5c89b46090","year":2024},"citing_paper":{"arxiv_id":"2604.02852","last_updated":"2026-06-02T07:24:24Z","snapshot_observed_at":"2026-07-13T13:44:33.559220Z","submitted_at":"2026-04-03T08:13:42Z","title":"Dependency-Guided Repository-Level C-to-Rust Translation with Reinforcement Alignment","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-05-13T20:11:37.809779Z"},"links":{"cited_paper":"/paper/2404.18852","citing_paper":"/paper/2604.02852"},"observation_digest":"sha256:317f58532e997b56baa2c44aafb3f79adedf59179f70b679b7a5d0d8f4d63514","observation_id":"d6816eec-447d-4fcb-a9d9-86f7b67b16d6","resolution":{"observed_at":"2026-05-13T20:13:13.461232Z","resolver_source":"arxiv_id","status":"verified_exact"},"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":"2404.18852","last_updated":"2024-05-25T15:15:12Z","snapshot_observed_at":"2026-07-06T18:07:10.639325Z","submitted_at":"2024-04-29T16:45:03Z","title":"VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners","version":2},"cited_work":{"arxiv_id":"2404.18852","doi":"10.48550/arxiv.2404.18852","metadata_source":"arxiv_reference","pith_arxiv_id":"2404.18852","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"VERT: verified equivalent rust transpilation with few- shot learning","venue":"arXiv (Cornell University)","work_id":"45e96e94-f907-471b-8182-7d5c89b46090","year":2024},"citing_paper":{"arxiv_id":"2604.04527","last_updated":"2026-04-06T08:46:14Z","snapshot_observed_at":"2026-08-02T17:35:10.416518Z","submitted_at":"2026-04-06T08:46:14Z","title":"ENCRUST: Encapsulated Substitution and Agentic Refinement on a Live Scaffold for Safe C-to-Rust Translation","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-05-10T20:37:53.806349Z"},"links":{"cited_paper":"/paper/2404.18852","citing_paper":"/paper/2604.04527"},"observation_digest":"sha256:b1e0be878e2cbf168caf301c6e98bbfa675877a02d2555560d4ff906e5cef7a5","observation_id":"244e0de5-d5e5-44b2-908d-3c1072950ee7","resolution":{"observed_at":"2026-05-10T21:55:48.755926Z","resolver_source":"arxiv_id","status":"verified_exact"},"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":"2404.18852","last_updated":"2024-05-25T15:15:12Z","snapshot_observed_at":"2026-07-06T18:07:10.639325Z","submitted_at":"2024-04-29T16:45:03Z","title":"VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners","version":2},"cited_work":{"arxiv_id":"2404.18852","doi":"10.48550/arxiv.2404.18852","metadata_source":"arxiv_reference","pith_arxiv_id":"2404.18852","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"VERT: verified equivalent rust transpilation with few- shot learning","venue":"arXiv (Cornell University)","work_id":"45e96e94-f907-471b-8182-7d5c89b46090","year":2024},"citing_paper":{"arxiv_id":"2604.07341","last_updated":"2026-08-05T04:26:04Z","snapshot_observed_at":"2026-08-08T23:09:25.891550Z","submitted_at":"2026-04-08T17:54:08Z","title":"ReCodeAgent: A Multi-agent Workflow for Language-Agnostic Translation and Validation of Large-Scale Repositories","version":1},"reference_index":92,"source":"pdf_text","source_observed_at":"2026-05-10T17:29:37.642356Z"},"links":{"cited_paper":"/paper/2404.18852","citing_paper":"/paper/2604.07341"},"observation_digest":"sha256:c732d11e7d869756005cab135b2ee95bb22f4afccd23488756d90830e6aceb33","observation_id":"5cefb30e-11b9-4caa-8c94-b95fd88d5b61","resolution":{"observed_at":"2026-05-11T06:41:35.378378Z","resolver_source":"arxiv_id","status":"verified_exact"},"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":"2404.18852","last_updated":"2024-05-25T15:15:12Z","snapshot_observed_at":"2026-07-06T18:07:10.639325Z","submitted_at":"2024-04-29T16:45:03Z","title":"VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners","version":2},"cited_work":{"arxiv_id":"2404.18852","doi":"10.48550/arxiv.2404.18852","metadata_source":"arxiv_reference","pith_arxiv_id":"2404.18852","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"VERT: verified equivalent rust transpilation with few- shot learning","venue":"arXiv (Cornell University)","work_id":"45e96e94-f907-471b-8182-7d5c89b46090","year":2024},"citing_paper":{"arxiv_id":"2604.12048","last_updated":"2026-04-13T20:40:34Z","snapshot_observed_at":"2026-08-09T08:21:26.117598Z","submitted_at":"2026-04-13T20:40:34Z","title":"ORBIT: Guided Agentic Orchestration for Autonomous C-to-Rust Transpilation","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-05-10T15:19:09.020005Z"},"links":{"cited_paper":"/paper/2404.18852","citing_paper":"/paper/2604.12048"},"observation_digest":"sha256:adca04e3b240d822bcc3b4b08df4eb50d36564e6725de3022b3471911bdd1cb8","observation_id":"2fa1b3f9-94d3-438a-b8e3-2e31b72589a0","resolution":{"observed_at":"2026-05-11T10:46:05.091595Z","resolver_source":"arxiv_id","status":"verified_exact"},"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":"2404.18852","last_updated":"2024-05-25T15:15:12Z","snapshot_observed_at":"2026-07-06T18:07:10.639325Z","submitted_at":"2024-04-29T16:45:03Z","title":"VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners","version":2},"cited_work":{"arxiv_id":"2404.18852","doi":"10.48550/arxiv.2404.18852","metadata_source":"arxiv_reference","pith_arxiv_id":"2404.18852","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"VERT: verified equivalent rust transpilation with few- shot learning","venue":"arXiv (Cornell University)","work_id":"45e96e94-f907-471b-8182-7d5c89b46090","year":2024},"citing_paper":{"arxiv_id":"2604.15485","last_updated":"2026-04-16T19:33:44Z","snapshot_observed_at":"2026-08-05T13:29:32.658668Z","submitted_at":"2026-04-16T19:33:44Z","title":"LLM4C2Rust: Large Language Models for Automated Memory-Safe Code Transpilation","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-05-10T10:28:46.818890Z"},"links":{"cited_paper":"/paper/2404.18852","citing_paper":"/paper/2604.15485"},"observation_digest":"sha256:4719075d1f4476c840e202c3570969a47deac96e1615d62ac1269aa76dfb9f68","observation_id":"5fc550e6-9818-4500-ba25-e33b33b85685","resolution":{"observed_at":"2026-05-10T10:29:24.600237Z","resolver_source":"arxiv_id","status":"verified_exact"},"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":"2404.18852","last_updated":"2024-05-25T15:15:12Z","snapshot_observed_at":"2026-07-06T18:07:10.639325Z","submitted_at":"2024-04-29T16:45:03Z","title":"VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners","version":2},"cited_work":{"arxiv_id":"2404.18852","doi":"10.48550/arxiv.2404.18852","metadata_source":"arxiv_reference","pith_arxiv_id":"2404.18852","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"VERT: verified equivalent rust transpilation with few- shot learning","venue":"arXiv (Cornell University)","work_id":"45e96e94-f907-471b-8182-7d5c89b46090","year":2024},"citing_paper":{"arxiv_id":"2604.18027","last_updated":"2026-04-20T09:52:50Z","snapshot_observed_at":"2026-07-31T18:18:26.451057Z","submitted_at":"2026-04-20T09:52:50Z","title":"CodePivot: Bootstrapping Multilingual Transpilation in LLMs via Reinforcement Learning without Parallel Corpora","version":1},"reference_index":79,"source":"pdf_text","source_observed_at":"2026-05-10T04:59:44.880102Z"},"links":{"cited_paper":"/paper/2404.18852","citing_paper":"/paper/2604.18027"},"observation_digest":"sha256:f42ffaf6734a2159990a80189dc0c05666b8e6beda2dfa2f45c46c6a1019777f","observation_id":"2def25a9-a93e-4f98-bdbc-3bab8f3abc0a","resolution":{"observed_at":"2026-05-10T10:29:25.251369Z","resolver_source":"arxiv_id","status":"verified_exact"},"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":"2404.18852","last_updated":"2024-05-25T15:15:12Z","snapshot_observed_at":"2026-07-06T18:07:10.639325Z","submitted_at":"2024-04-29T16:45:03Z","title":"VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners","version":2},"cited_work":{"arxiv_id":"2404.18852","doi":"10.48550/arxiv.2404.18852","metadata_source":"arxiv_reference","pith_arxiv_id":"2404.18852","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"VERT: verified equivalent rust transpilation with few- shot learning","venue":"arXiv (Cornell University)","work_id":"45e96e94-f907-471b-8182-7d5c89b46090","year":2024},"citing_paper":{"arxiv_id":"2605.12731","last_updated":"2026-05-12T20:33:33Z","snapshot_observed_at":"2026-08-07T15:17:08.869642Z","submitted_at":"2026-05-12T20:33:33Z","title":"Finding a Crab in the C: Assured Translation via Comparative Symbolic Execution","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-05-14T19:55:15.117432Z"},"links":{"cited_paper":"/paper/2404.18852","citing_paper":"/paper/2605.12731"},"observation_digest":"sha256:99a4bd06391cfad43b22822dbdd45f6db195d49e5b021522672ba7ce268a8216","observation_id":"2b60e9d8-29f2-4f4e-9e45-2eb4a0f492fc","resolution":{"observed_at":"2026-05-14T19:57:53.777430Z","resolver_source":"arxiv_id","status":"verified_exact"},"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":"2404.18852","last_updated":"2024-05-25T15:15:12Z","snapshot_observed_at":"2026-07-06T18:07:10.639325Z","submitted_at":"2024-04-29T16:45:03Z","title":"VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners","version":2},"cited_work":{"arxiv_id":"2404.18852","doi":"10.48550/arxiv.2404.18852","metadata_source":"arxiv_reference","pith_arxiv_id":"2404.18852","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"VERT: verified equivalent rust transpilation with few- shot learning","venue":"arXiv (Cornell University)","work_id":"45e96e94-f907-471b-8182-7d5c89b46090","year":2024},"citing_paper":{"arxiv_id":"2605.25411","last_updated":"2026-05-25T04:23:29Z","snapshot_observed_at":"2026-08-06T18:54:05.660408Z","submitted_at":"2026-05-25T04:23:29Z","title":"Heimdall: Formally Verified Automated Migration of Legacy eBPF Programs to Rust","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-06-29T22:02:16.597531Z"},"links":{"cited_paper":"/paper/2404.18852","citing_paper":"/paper/2605.25411"},"observation_digest":"sha256:772fde58f5d94caff976d443bad61a466fe1f8fbe135754671b5696af90effdf","observation_id":"0694c20e-ac2e-4c4f-8d3d-c41ac3802efa","resolution":{"observed_at":"2026-06-29T22:04:00.083948Z","resolver_source":"arxiv_id","status":"verified_exact"},"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":"2404.18852","last_updated":"2024-05-25T15:15:12Z","snapshot_observed_at":"2026-07-06T18:07:10.639325Z","submitted_at":"2024-04-29T16:45:03Z","title":"VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners","version":2},"cited_work":{"arxiv_id":"2404.18852","doi":"10.48550/arxiv.2404.18852","metadata_source":"arxiv_reference","pith_arxiv_id":"2404.18852","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"VERT: verified equivalent rust transpilation with few- shot learning","venue":"arXiv (Cornell University)","work_id":"45e96e94-f907-471b-8182-7d5c89b46090","year":2024},"citing_paper":{"arxiv_id":"2606.11470","last_updated":"2026-06-09T21:59:37Z","snapshot_observed_at":"2026-07-06T23:50:35.052764Z","submitted_at":"2026-06-09T21:59:37Z","title":"The Periodic Table of LLM Reasoning: A Structured Survey of Reasoning Paradigms, Methods, and Failure Modes","version":1},"reference_index":279,"source":"arxiv_source","source_observed_at":"2026-06-27T12:59:51.091008Z"},"links":{"cited_paper":"/paper/2404.18852","citing_paper":"/paper/2606.11470"},"observation_digest":"sha256:1c7cf38acbaa29486745c3447aed336cc5e08f7143ab2f0a59123d72e9237be4","observation_id":"a4e41339-1ebf-4d58-a910-7906ca538755","resolution":{"observed_at":"2026-07-03T05:57:41.591924Z","resolver_source":"arxiv_id","status":"verified_exact"},"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":"2404.18852","last_updated":"2024-05-25T15:15:12Z","snapshot_observed_at":"2026-07-06T18:07:10.639325Z","submitted_at":"2024-04-29T16:45:03Z","title":"VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2404.18852","snapshot_observed_at":"2026-08-01T11:15:01.359031Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.19966","last_updated":"2026-07-22T09:50:01Z","snapshot_observed_at":"2026-08-04T18:22:33.545707Z","submitted_at":"2026-07-22T09:50:01Z","title":"Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-01T11:15:01.359031Z"},"links":{"cited_paper":"/paper/2404.18852","citing_paper":"/paper/2607.19966"},"observation_digest":"sha256:0b23b6730cf9904d8d02ad546f144d607ca3c1ccbda0940e1a37e26653050e28","observation_id":"758df166-d808-4541-a8ef-5232d2531d00","resolution":{"observed_at":"2026-08-01T11:15:01.359031Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2404.18852/citation-record","integrity":"/paper/2404.18852/integrity","json":"/paper/2404.18852/citation-record.json","paper":"/paper/2404.18852"},"outbound":[],"paper":{"arxiv_id":"2404.18852","last_updated":"2024-05-25T15:15:12Z","latest_version":2,"primary_category":"cs.PL","snapshot_observed_at":"2026-07-06T18:07:10.639325Z","submitted_at":"2024-04-29T16:45:03Z","title":"VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners"},"reference_resolution":{"displayed":0,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":0,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":0},"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 0 of 0 outbound references and 16 inbound Pith citation observations for arXiv:2404.18852."}