{"as_of":"2026-08-17T08:05:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:2a51f5948656c6f0937219ca5af29a5f90d47632257bedd8c28df01d5839f47f","coverage":[{"denominator":26,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":26,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-05T22:28:12.174724Z","state":"measured"},{"denominator":29,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":29,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-17T06:30:58.91139+00:00","state":"measured"},{"denominator":3,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":3,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-02T19:22:16.163426Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-05-13T20:13:13.463211Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2508.06926","last_updated":"2025-08-09T10:41:03Z","snapshot_observed_at":"2026-08-07T22:01:10.155708Z","submitted_at":"2025-08-09T10:41:03Z","title":"Integrating Rules and Semantics for LLM-Based C-to-Rust Translation","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2508.06926","snapshot_observed_at":"2026-08-02T19:22:16.163426Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2603.02617","last_updated":"2026-07-06T03:56:22Z","snapshot_observed_at":"2026-08-13T15:42:46.014750Z","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":21,"source":"pdf_text","source_observed_at":"2026-08-02T19:22:16.163426Z"},"links":{"cited_paper":"/paper/2508.06926","citing_paper":"/paper/2603.02617"},"observation_digest":"sha256:eb586c7628c77d6634d5796e0750eebb41ca17d9f28a90cda7b399b411d3bf53","observation_id":"97cef259-4d61-44f4-b625-3ceb1fcf0b53","resolution":{"observed_at":"2026-08-02T19:22:16.163426Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2508.06926","last_updated":"2025-08-09T10:41:03Z","snapshot_observed_at":"2026-08-07T22:01:10.155708Z","submitted_at":"2025-08-09T10:41:03Z","title":"Integrating Rules and Semantics for LLM-Based C-to-Rust Translation","version":1},"cited_work":{"arxiv_id":"2508.06926","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2508.06926","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"8288efae-d4c2-43f5-b30a-6e6547d61401","year":2025},"citing_paper":{"arxiv_id":"2604.02852","last_updated":"2026-06-02T07:24:24Z","snapshot_observed_at":"2026-08-16T04:12:19.052417Z","submitted_at":"2026-04-03T08:13:42Z","title":"Dependency-Guided Repository-Level C-to-Rust Translation with Reinforcement Alignment","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-05-13T20:11:37.809779Z"},"links":{"cited_paper":"/paper/2508.06926","citing_paper":"/paper/2604.02852"},"observation_digest":"sha256:d9cb82ccc844b57458a93022c7d025a617ada375bac55cbdb563d7b614e53bfc","observation_id":"df50ccf0-0e4d-4a05-af5f-bf0552528dc0","resolution":{"observed_at":"2026-05-13T20:13:13.465450Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2508.06926","last_updated":"2025-08-09T10:41:03Z","snapshot_observed_at":"2026-08-07T22:01:10.155708Z","submitted_at":"2025-08-09T10:41:03Z","title":"Integrating Rules and Semantics for LLM-Based C-to-Rust Translation","version":1},"cited_work":{"arxiv_id":"2508.06926","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2508.06926","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"8288efae-d4c2-43f5-b30a-6e6547d61401","year":2025},"citing_paper":{"arxiv_id":"2604.07341","last_updated":"2026-08-12T17:33:31Z","snapshot_observed_at":"2026-08-16T08:37:09.555049Z","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":41,"source":"pdf_text","source_observed_at":"2026-05-10T17:29:37.642356Z"},"links":{"cited_paper":"/paper/2508.06926","citing_paper":"/paper/2604.07341"},"observation_digest":"sha256:72ea16a4e16c9156d176979df2bac653bf958c192d00afd3bdc256143927d6b5","observation_id":"4066971c-9112-4ad0-bbc1-1d1b870e7954","resolution":{"observed_at":"2026-05-11T06:41:36.196353Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2508.06926/citation-record","integrity":"/paper/2508.06926/integrity","json":"/paper/2508.06926/citation-record.json","paper":"/paper/2508.06926"},"outbound":[{"citation":{"cited_paper":{"arxiv_id":"2401.08281","last_updated":"2025-10-23T09:36:08Z","snapshot_observed_at":"2026-07-31T05:45:37.385210Z","submitted_at":"2024-01-16T11:12:36Z","title":"The Faiss library","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.08281","snapshot_observed_at":"2026-08-05T22:28:12.105512Z","title":"The faiss library.arXiv preprint arXiv:2401.08281,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2508.06926","last_updated":"2025-08-09T10:41:03Z","snapshot_observed_at":"2026-08-07T22:01:10.155708Z","submitted_at":"2025-08-09T10:41:03Z","title":"Integrating Rules and Semantics for LLM-Based C-to-Rust Translation","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-05T22:28:12.105512Z"},"links":{"cited_paper":"/paper/2401.08281","citing_paper":"/paper/2508.06926"},"observation_digest":"sha256:ab2826ada1a3aa0fded6cf7aa64b88e626fc12b1c484d20ce92c6a3988260d19","observation_id":"6e808516-9375-4688-b58b-fce56cb49e7f","resolution":{"observed_at":"2026-08-05T22:28:12.105512Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2403.13310","last_updated":"2025-02-04T02:10:52Z","snapshot_observed_at":"2026-08-16T14:08:10.193657Z","submitted_at":"2024-03-20T05:23:09Z","title":"A Semantic Search Engine for Mathlib4","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2403.13310","snapshot_observed_at":"2026-08-05T22:28:12.108862Z","title":"A semantic search engine for mathlib4.arXiv preprint arXiv:2403.13310, 2024a","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2508.06926","last_updated":"2025-08-09T10:41:03Z","snapshot_observed_at":"2026-08-07T22:01:10.155708Z","submitted_at":"2025-08-09T10:41:03Z","title":"Integrating Rules and Semantics for LLM-Based C-to-Rust Translation","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-05T22:28:12.108862Z"},"links":{"cited_paper":"/paper/2403.13310","citing_paper":"/paper/2508.06926"},"observation_digest":"sha256:b98c5264e987a457b85552adc810c067349888c6622c51d8ca47ca11a745b991","observation_id":"0862758a-086f-455a-91ab-3207748735d6","resolution":{"observed_at":"2026-08-05T22:28:12.108862Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T22:28:13.137339Z","title":"bfloat16","venue":null,"work_id":"c00dcc9d-8062-4d75-92d0-18fd03a0aca8","year":2048},"citing_paper":{"arxiv_id":"2508.06926","last_updated":"2025-08-09T10:41:03Z","snapshot_observed_at":"2026-08-07T22:01:10.155708Z","submitted_at":"2025-08-09T10:41:03Z","title":"Integrating Rules and Semantics for LLM-Based C-to-Rust Translation","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-05T22:28:12.171868Z"},"links":{"citing_paper":"/paper/2508.06926"},"observation_digest":"sha256:460b0831c6b6e7883b260e7a76ae9ae9510614d5c8d81c3cf07f205414597859","observation_id":"a90de4cb-3241-4737-bfdb-62eb663e8bb2","resolution":{"observed_at":"2026-08-05T22:28:13.140318Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2412.20735","last_updated":"2025-03-21T02:00:37Z","snapshot_observed_at":"2026-08-15T15:16:38.271859Z","submitted_at":"2024-12-30T06:18:33Z","title":"HunyuanProver: A Scalable Data Synthesis Framework and Guided Tree Search for Automated Theorem Proving","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.20735","snapshot_observed_at":"2026-08-05T22:28:12.123122Z","title":"Y Li, D Du, L Song, C Li, W Wang, T Yang, and H Hunyuanprover Mi","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2508.06926","last_updated":"2025-08-09T10:41:03Z","snapshot_observed_at":"2026-08-07T22:01:10.155708Z","submitted_at":"2025-08-09T10:41:03Z","title":"Integrating Rules and Semantics for LLM-Based C-to-Rust Translation","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-05T22:28:12.123122Z"},"links":{"cited_paper":"/paper/2412.20735","citing_paper":"/paper/2508.06926"},"observation_digest":"sha256:f69cd69792b3c5e4f827fe35dbfd931c8dde15c43db8122a7a5448fab4d07eac","observation_id":"6def240a-5fe4-40eb-8d6a-3f0dcd20e0cb","resolution":{"observed_at":"2026-08-05T22:28:12.123122Z","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-08-05T22:28:12.126104Z","title":"Rethinking and improving autoformalization: towards a faithful metric and a dependency retrieval-based approach","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2508.06926","last_updated":"2025-08-09T10:41:03Z","snapshot_observed_at":"2026-08-07T22:01:10.155708Z","submitted_at":"2025-08-09T10:41:03Z","title":"Integrating Rules and Semantics for LLM-Based C-to-Rust Translation","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-05T22:28:12.126104Z"},"links":{"citing_paper":"/paper/2508.06926"},"observation_digest":"sha256:755bfa7e3ae33ecb49f4de9a5bdaddd630716c95831f5525d7d9d8789a4b33a2","observation_id":"9c1b7392-8681-4d62-a5f9-f93341a7dce6","resolution":{"observed_at":"2026-08-05T22:28:12.126104Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T22:28:13.171591Z","title":"The lean 4 theorem prover and programming language","venue":null,"work_id":"35928ef7-cb73-4411-81a2-a8a7e39bf5d7","year":2021},"citing_paper":{"arxiv_id":"2508.06926","last_updated":"2025-08-09T10:41:03Z","snapshot_observed_at":"2026-08-07T22:01:10.155708Z","submitted_at":"2025-08-09T10:41:03Z","title":"Integrating Rules and Semantics for LLM-Based C-to-Rust Translation","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-05T22:28:12.130096Z"},"links":{"citing_paper":"/paper/2508.06926"},"observation_digest":"sha256:09b5cfd0d3522f6a7072d48c8cd3c9b02c3501e6ad198069ca0bffb7ed7b645d","observation_id":"f94c9d14-7f79-4ffe-93fa-fdb08c2902b8","resolution":{"observed_at":"2026-08-05T22:28:13.175633Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-08-05T22:28:12.139806Z","title":"Improving autoformalization using type checking.arXiv preprint arXiv:2406.07222,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2508.06926","last_updated":"2025-08-09T10:41:03Z","snapshot_observed_at":"2026-08-07T22:01:10.155708Z","submitted_at":"2025-08-09T10:41:03Z","title":"Integrating Rules and Semantics for LLM-Based C-to-Rust Translation","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-05T22:28:12.139806Z"},"links":{"citing_paper":"/paper/2508.06926"},"observation_digest":"sha256:3e1c4406a3791eb12ec9513e09afec2397fc8df79c605f578f135ede5ac2053f","observation_id":"7c7bd7aa-42cf-4e08-b02d-369bbd535dbe","resolution":{"observed_at":"2026-08-05T22:28:12.139806Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T22:28:13.145669Z","title":"Learning an effective premise re- trieval model for efficient mathematical formalization","venue":null,"work_id":"9b9bdb98-189e-48fb-a31a-666855fffe71","year":2025},"citing_paper":{"arxiv_id":"2508.06926","last_updated":"2025-08-09T10:41:03Z","snapshot_observed_at":"2026-08-07T22:01:10.155708Z","submitted_at":"2025-08-09T10:41:03Z","title":"Integrating Rules and Semantics for LLM-Based C-to-Rust Translation","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-05T22:28:12.149699Z"},"links":{"citing_paper":"/paper/2508.06926"},"observation_digest":"sha256:d29574be2b194cf4982799864410ac2afda5ce20e0ad88a12d75a6553e1f7b4c","observation_id":"e9931688-3737-4d99-91fa-4399440d87d6","resolution":{"observed_at":"2026-08-05T22:28:13.148734Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-08-05T22:28:12.152699Z","title":"Evolprover: Advancing automated theorem proving by evolving formalized problems via symmetry and difficulty.arXiv preprint arXiv:2510.00732,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2508.06926","last_updated":"2025-08-09T10:41:03Z","snapshot_observed_at":"2026-08-07T22:01:10.155708Z","submitted_at":"2025-08-09T10:41:03Z","title":"Integrating Rules and Semantics for LLM-Based C-to-Rust Translation","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-05T22:28:12.152699Z"},"links":{"citing_paper":"/paper/2508.06926"},"observation_digest":"sha256:1e9f8f3e128f00c92b72b12db5079e9e3a25d7a55a4c0d892cbbbdb005cbe9f0","observation_id":"ce4186dd-12ca-4e5d-a0dc-6cec4ef89194","resolution":{"observed_at":"2026-08-05T22:28:12.152699Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2505.23486","last_updated":"2025-07-03T06:03:07Z","snapshot_observed_at":"2026-08-07T12:42:44.667182Z","submitted_at":"2025-05-29T14:34:54Z","title":"Autoformalization in the Era of Large Language Models: A Survey","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.23486","snapshot_observed_at":"2026-08-05T22:28:12.159238Z","title":"Aut- oformalization in the era of large language models: A survey.arXiv preprint arXiv:2505.23486,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2508.06926","last_updated":"2025-08-09T10:41:03Z","snapshot_observed_at":"2026-08-07T22:01:10.155708Z","submitted_at":"2025-08-09T10:41:03Z","title":"Integrating Rules and Semantics for LLM-Based C-to-Rust Translation","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-05T22:28:12.159238Z"},"links":{"cited_paper":"/paper/2505.23486","citing_paper":"/paper/2508.06926"},"observation_digest":"sha256:e7a59f9121e3888ca4d189c7daa80ce6446090f1fac641525aef6070cbb8e7d1","observation_id":"a49daa29-8088-4a3f-8ed7-e13619835b95","resolution":{"observed_at":"2026-08-05T22:28:12.159238Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2506.07047","last_updated":"2025-06-08T09:04:14Z","snapshot_observed_at":"2026-08-14T00:18:26.324410Z","submitted_at":"2025-06-08T09:04:14Z","title":"Mathesis: Towards Formal Theorem Proving from Natural Languages","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2506.07047","snapshot_observed_at":"2026-08-05T22:28:12.165536Z","title":"Mathesis: Towards formal theorem proving from natural languages.arXiv preprint arXiv:2506.07047,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2508.06926","last_updated":"2025-08-09T10:41:03Z","snapshot_observed_at":"2026-08-07T22:01:10.155708Z","submitted_at":"2025-08-09T10:41:03Z","title":"Integrating Rules and Semantics for LLM-Based C-to-Rust Translation","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-05T22:28:12.165536Z"},"links":{"cited_paper":"/paper/2506.07047","citing_paper":"/paper/2508.06926"},"observation_digest":"sha256:958af421186f2212e29df6690d35a0d176020960382e99e6253a3bb7ab824911","observation_id":"b143c005-bc89-4b4c-a68e-b00d7d9f52d8","resolution":{"observed_at":"2026-08-05T22:28:12.165536Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.06332","last_updated":"2024-05-24T07:09:21Z","snapshot_observed_at":"2026-08-16T14:19:55.594578Z","submitted_at":"2024-02-09T11:22:08Z","title":"InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.06332","snapshot_observed_at":"2026-08-05T22:28:12.168349Z","title":"Lean workbook: A large-scale lean problem set formalized from natural language math problems.Advances in Neural Information Processing Systems, 37:105848–105863, 2024a","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2508.06926","last_updated":"2025-08-09T10:41:03Z","snapshot_observed_at":"2026-08-07T22:01:10.155708Z","submitted_at":"2025-08-09T10:41:03Z","title":"Integrating Rules and Semantics for LLM-Based C-to-Rust Translation","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-05T22:28:12.168349Z"},"links":{"cited_paper":"/paper/2402.06332","citing_paper":"/paper/2508.06926"},"observation_digest":"sha256:7a4d83a3858be466d28dfa4e148a76feec9ad558272c0f1923853ed2a92e8b92","observation_id":"f419b567-6dd0-45d1-8a9e-d44fabd8a5df","resolution":{"observed_at":"2026-08-05T22:28:12.168349Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T22:28:13.126386Z","title":"Table 10: Latency Breakdown of Individual Modules in the CRAMF Framework","venue":null,"work_id":"20ffe08b-cd0a-4d1c-84d2-3d3f713d43db","year":2002},"citing_paper":{"arxiv_id":"2508.06926","last_updated":"2025-08-09T10:41:03Z","snapshot_observed_at":"2026-08-07T22:01:10.155708Z","submitted_at":"2025-08-09T10:41:03Z","title":"Integrating Rules and Semantics for LLM-Based C-to-Rust Translation","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-05T22:28:12.174724Z"},"links":{"citing_paper":"/paper/2508.06926"},"observation_digest":"sha256:f8c4c2f44beedf366792e0c005af51a66f9ffc60fcf01e0d567eb0def1ad9e27","observation_id":"b5cfe3ad-83ce-422e-9f85-10bbf94a1333","resolution":{"observed_at":"2026-08-05T22:28:13.131466Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2105.00377","last_updated":"2021-05-02T02:10:31Z","snapshot_observed_at":"2026-08-16T18:27:37.670568Z","submitted_at":"2021-05-02T02:10:31Z","title":"MathBERT: A Pre-Trained Model for Mathematical Formula Understanding","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2105.00377","snapshot_observed_at":"2026-08-05T22:28:12.136758Z","title":"Mathbert: A pre-trained model for mathematical formula understanding.arXiv preprint arXiv:2105.00377,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2508.06926","last_updated":"2025-08-09T10:41:03Z","snapshot_observed_at":"2026-08-07T22:01:10.155708Z","submitted_at":"2025-08-09T10:41:03Z","title":"Integrating Rules and Semantics for LLM-Based C-to-Rust Translation","version":1},"reference_index":1994,"source":"pdf_text","source_observed_at":"2026-08-05T22:28:12.136758Z"},"links":{"cited_paper":"/paper/2105.00377","citing_paper":"/paper/2508.06926"},"observation_digest":"sha256:e736bd01c9e13df6dd1101b59977f2441cab14943402434a1abf472586fdcfca","observation_id":"121e3402-6bbd-428d-ba65-0c7abadd27c0","resolution":{"observed_at":"2026-08-05T22:28:12.136758Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2311.03755","last_updated":"2023-11-09T09:58:15Z","snapshot_observed_at":"2026-08-16T14:45:24.377865Z","submitted_at":"2023-11-07T06:42:15Z","title":"Multilingual Mathematical Autoformalization","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2311.03755","snapshot_observed_at":"2026-08-05T22:28:12.115805Z","title":"Multilingual mathematical autoformalization.arXiv preprint arXiv:2311.03755,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2508.06926","last_updated":"2025-08-09T10:41:03Z","snapshot_observed_at":"2026-08-07T22:01:10.155708Z","submitted_at":"2025-08-09T10:41:03Z","title":"Integrating Rules and Semantics for LLM-Based C-to-Rust Translation","version":1},"reference_index":1997,"source":"pdf_text","source_observed_at":"2026-08-05T22:28:12.115805Z"},"links":{"cited_paper":"/paper/2311.03755","citing_paper":"/paper/2508.06926"},"observation_digest":"sha256:d6fbf4fa9e4dc1d1f8929be70890091097dbcb8f0caa2b5f35a8e444e1f7b40d","observation_id":"99d58dea-a2f2-4eaf-8a4e-2c81289ecc83","resolution":{"observed_at":"2026-08-05T22:28:12.115805Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2504.11354","last_updated":"2025-04-15T16:23:44Z","snapshot_observed_at":"2026-08-15T23:16:36.618851Z","submitted_at":"2025-04-15T16:23:44Z","title":"Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2504.11354","snapshot_observed_at":"2026-08-05T22:28:12.156010Z","title":"Kimina-prover preview: Towards large formal reasoning models with reinforcement learning.arXiv preprint arXiv:2504.11354,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2508.06926","last_updated":"2025-08-09T10:41:03Z","snapshot_observed_at":"2026-08-07T22:01:10.155708Z","submitted_at":"2025-08-09T10:41:03Z","title":"Integrating Rules and Semantics for LLM-Based C-to-Rust Translation","version":1},"reference_index":2000,"source":"pdf_text","source_observed_at":"2026-08-05T22:28:12.156010Z"},"links":{"cited_paper":"/paper/2504.11354","citing_paper":"/paper/2508.06926"},"observation_digest":"sha256:1a7ed66450cea8162ec0cd19f3b7d48d61f3cd39ae492319cbf48e6c226018ef","observation_id":"5a528dcd-c725-41af-94dc-c1a8012840f1","resolution":{"observed_at":"2026-08-05T22:28:12.156010Z","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-08-05T22:28:12.098206Z","title":"Mind the confidence gap: Overconfidence, calibration, and distractor effects in large language models.arXiv preprint arXiv:2502.11028,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2508.06926","last_updated":"2025-08-09T10:41:03Z","snapshot_observed_at":"2026-08-07T22:01:10.155708Z","submitted_at":"2025-08-09T10:41:03Z","title":"Integrating Rules and Semantics for LLM-Based C-to-Rust Translation","version":1},"reference_index":2007,"source":"pdf_text","source_observed_at":"2026-08-05T22:28:12.098206Z"},"links":{"citing_paper":"/paper/2508.06926"},"observation_digest":"sha256:adc2998c062d4f8975302b7757564d120ae159769c8b05dd634b630f1e42160e","observation_id":"08335b29-8a0a-4ece-b40f-017f7f4d8770","resolution":{"observed_at":"2026-08-05T22:28:12.098206Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T22:28:13.163145Z","title":"An overview of the mizar project","venue":null,"work_id":"02c265ac-31a8-4e68-ae17-c88eb7097710","year":1992},"citing_paper":{"arxiv_id":"2508.06926","last_updated":"2025-08-09T10:41:03Z","snapshot_observed_at":"2026-08-07T22:01:10.155708Z","submitted_at":"2025-08-09T10:41:03Z","title":"Integrating Rules and Semantics for LLM-Based C-to-Rust Translation","version":1},"reference_index":2009,"source":"pdf_text","source_observed_at":"2026-08-05T22:28:12.143182Z"},"links":{"citing_paper":"/paper/2508.06926"},"observation_digest":"sha256:520537ff04bce33d07626c01212adcc5a58cb7e15a6d564ea878c2ccbb7fa572","observation_id":"c5326570-6774-4da6-9fd5-305beab2a6bf","resolution":{"observed_at":"2026-08-05T22:28:13.166038Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2412.19437","last_updated":"2025-02-18T17:26:38Z","snapshot_observed_at":"2026-08-15T17:27:11.980940Z","submitted_at":"2024-12-27T04:03:16Z","title":"DeepSeek-V3 Technical Report","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.19437","snapshot_observed_at":"2026-08-05T22:28:12.101914Z","title":"Deepseek-v3 technical report.arXiv preprint arXiv:2412.19437,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2508.06926","last_updated":"2025-08-09T10:41:03Z","snapshot_observed_at":"2026-08-07T22:01:10.155708Z","submitted_at":"2025-08-09T10:41:03Z","title":"Integrating Rules and Semantics for LLM-Based C-to-Rust Translation","version":1},"reference_index":2015,"source":"pdf_text","source_observed_at":"2026-08-05T22:28:12.101914Z"},"links":{"cited_paper":"/paper/2412.19437","citing_paper":"/paper/2508.06926"},"observation_digest":"sha256:8dec2df5a5034600d11f50543312aa953fe34a0fb202c177fa11422984888747","observation_id":"c71b2978-2eea-4334-87dc-c14923df6f78","resolution":{"observed_at":"2026-08-05T22:28:12.101914Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T22:28:13.181148Z","title":"Bkrag: A bge reranker rag for similarity analysis of power project requirements","venue":null,"work_id":"10d5f200-67ea-4144-949a-686ab671bb9c","year":2024},"citing_paper":{"arxiv_id":"2508.06926","last_updated":"2025-08-09T10:41:03Z","snapshot_observed_at":"2026-08-07T22:01:10.155708Z","submitted_at":"2025-08-09T10:41:03Z","title":"Integrating Rules and Semantics for LLM-Based C-to-Rust Translation","version":1},"reference_index":2016,"source":"pdf_text","source_observed_at":"2026-08-05T22:28:12.112290Z"},"links":{"citing_paper":"/paper/2508.06926"},"observation_digest":"sha256:6927f338f51334ad794d0627bfa7c5a59edecbc837f69ebd57fe5df1b0abba5a","observation_id":"538a6052-b050-4766-bdfc-bddb844d098b","resolution":{"observed_at":"2026-08-05T22:28:13.184182Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T22:28:13.154450Z","title":"An evalu- ation benchmark for autoformalization in lean4","venue":null,"work_id":"891f08ec-4955-4d3a-89ae-5b439e3d182b","year":2024},"citing_paper":{"arxiv_id":"2508.06926","last_updated":"2025-08-09T10:41:03Z","snapshot_observed_at":"2026-08-07T22:01:10.155708Z","submitted_at":"2025-08-09T10:41:03Z","title":"Integrating Rules and Semantics for LLM-Based C-to-Rust Translation","version":1},"reference_index":2020,"source":"pdf_text","source_observed_at":"2026-08-05T22:28:12.146516Z"},"links":{"citing_paper":"/paper/2508.06926"},"observation_digest":"sha256:b1129401b226295c336c1277311c847d361bf44a947c42a48096983ddd82b8f6","observation_id":"50e7d9f5-877a-49cf-9323-3a2230c3e750","resolution":{"observed_at":"2026-08-05T22:28:13.157690Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2404.01234","last_updated":"2024-04-01T16:51:50Z","snapshot_observed_at":"2026-08-17T06:57:43.733299Z","submitted_at":"2024-04-01T16:51:50Z","title":"GFLean: An Autoformalisation Framework for Lean via GF","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2404.01234","snapshot_observed_at":"2026-08-05T22:28:12.133745Z","title":"Gflean: An autoformalisation framework for lean via gf.arXiv preprint arXiv:2404.01234,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2508.06926","last_updated":"2025-08-09T10:41:03Z","snapshot_observed_at":"2026-08-07T22:01:10.155708Z","submitted_at":"2025-08-09T10:41:03Z","title":"Integrating Rules and Semantics for LLM-Based C-to-Rust Translation","version":1},"reference_index":2021,"source":"pdf_text","source_observed_at":"2026-08-05T22:28:12.133745Z"},"links":{"cited_paper":"/paper/2404.01234","citing_paper":"/paper/2508.06926"},"observation_digest":"sha256:93126e1fe6b96abf02d7fea063fe1fdffb788dbad88c020bcfdf45d70ff20caa","observation_id":"e7f83150-061e-47ea-9939-a3fd092eb0af","resolution":{"observed_at":"2026-08-05T22:28:12.133745Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2407.17227","last_updated":"2024-07-24T12:28:03Z","snapshot_observed_at":"2026-08-16T13:31:27.051187Z","submitted_at":"2024-07-24T12:28:03Z","title":"LEAN-GitHub: Compiling GitHub LEAN repositories for a versatile LEAN prover","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.17227","snapshot_observed_at":"2026-08-05T22:28:12.162221Z","title":"Lean-github: Compiling github lean repositories for a versatile lean prover.arXiv preprint arXiv:2407.17227,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2508.06926","last_updated":"2025-08-09T10:41:03Z","snapshot_observed_at":"2026-08-07T22:01:10.155708Z","submitted_at":"2025-08-09T10:41:03Z","title":"Integrating Rules and Semantics for LLM-Based C-to-Rust Translation","version":1},"reference_index":2022,"source":"pdf_text","source_observed_at":"2026-08-05T22:28:12.162221Z"},"links":{"cited_paper":"/paper/2407.17227","citing_paper":"/paper/2508.06926"},"observation_digest":"sha256:5b390a593ba8223d98666307dca48ef79088551eedf4973d1257aa5943a43c8a","observation_id":"dbc56e5c-bc8c-4410-a03d-8d3a26fde578","resolution":{"observed_at":"2026-08-05T22:28:12.162221Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2403.10446","last_updated":"2024-03-15T16:30:14Z","snapshot_observed_at":"2026-08-16T14:09:23.490734Z","submitted_at":"2024-03-15T16:30:14Z","title":"Enhancing LLM Factual Accuracy with RAG to Counter Hallucinations: A Case Study on Domain-Specific Queries in Private Knowledge-Bases","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2403.10446","snapshot_observed_at":"2026-08-05T22:28:12.119271Z","title":"Enhancing llm factual accuracy with rag to counter hallu- cinations: A case study on domain-specific queries in private knowledge-bases.arXiv preprint arXiv:2403.10446, 2024a","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2508.06926","last_updated":"2025-08-09T10:41:03Z","snapshot_observed_at":"2026-08-07T22:01:10.155708Z","submitted_at":"2025-08-09T10:41:03Z","title":"Integrating Rules and Semantics for LLM-Based C-to-Rust Translation","version":1},"reference_index":2023,"source":"pdf_text","source_observed_at":"2026-08-05T22:28:12.119271Z"},"links":{"cited_paper":"/paper/2403.10446","citing_paper":"/paper/2508.06926"},"observation_digest":"sha256:d950ecd1e7397db3e4e4a267e4dd4fe298e0c71d6b4256a4e8f4ab03d6086181","observation_id":"bf55aa04-a7ea-4db1-9a50-3554c3c6c819","resolution":{"observed_at":"2026-08-05T22:28:12.119271Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2506.11085","last_updated":"2025-06-04T16:09:54Z","snapshot_observed_at":"2026-08-17T00:52:47.530653Z","submitted_at":"2025-06-04T16:09:54Z","title":"LeanExplore: A search engine for Lean 4 declarations","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2506.11085","snapshot_observed_at":"2026-08-05T22:28:12.086720Z","title":"Leanexplore: A search engine for lean 4 declarations.arXiv preprint arXiv:2506.11085,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2508.06926","last_updated":"2025-08-09T10:41:03Z","snapshot_observed_at":"2026-08-07T22:01:10.155708Z","submitted_at":"2025-08-09T10:41:03Z","title":"Integrating Rules and Semantics for LLM-Based C-to-Rust Translation","version":1},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-05T22:28:12.086720Z"},"links":{"cited_paper":"/paper/2506.11085","citing_paper":"/paper/2508.06926"},"observation_digest":"sha256:2ab3447347ae6860dc29b7e9888115f4d961b4809d10f6f440c47a43139d612d","observation_id":"ba423446-f558-4f4d-bda2-bfc094b50054","resolution":{"observed_at":"2026-08-05T22:28:12.086720Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2302.12433","last_updated":"2023-02-24T03:28:46Z","snapshot_observed_at":"2026-08-16T15:53:03.437287Z","submitted_at":"2023-02-24T03:28:46Z","title":"ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2302.12433","snapshot_observed_at":"2026-08-05T22:28:12.093656Z","title":"Proofnet: Autoformalizing and formally proving undergraduate-level mathemat- ics (2023).arXiv preprint arXiv:2302.12433,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2508.06926","last_updated":"2025-08-09T10:41:03Z","snapshot_observed_at":"2026-08-07T22:01:10.155708Z","submitted_at":"2025-08-09T10:41:03Z","title":"Integrating Rules and Semantics for LLM-Based C-to-Rust Translation","version":1},"reference_index":2025,"source":"pdf_text","source_observed_at":"2026-08-05T22:28:12.093656Z"},"links":{"cited_paper":"/paper/2302.12433","citing_paper":"/paper/2508.06926"},"observation_digest":"sha256:4d2427e44fe7f7ae7fe397ccba181a25cd1be41190d0902768ba82f383048858","observation_id":"4849e996-5b2f-4b78-a509-c8750efbd137","resolution":{"observed_at":"2026-08-05T22:28:12.093656Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2508.06926","last_updated":"2025-08-09T10:41:03Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-07T22:01:10.155708Z","submitted_at":"2025-08-09T10:41:03Z","title":"Integrating Rules and Semantics for LLM-Based C-to-Rust Translation"},"reference_resolution":{"displayed":26,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":19,"verified_exact":0,"verified_fuzzy":7},"total_outbound_references":26},"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-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"thesis":"As of 17 August 2026, this Paper Citation Record lists 26 of 26 outbound references and 3 inbound Pith citation observations for arXiv:2508.06926."}