{"as_of":"2026-08-10T15:55:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:c6fb735a5e394de5d11cc9892e96fd82d30bc567d21a5c6d4f70e0d60b42af68","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-10T06:31:04.303077+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-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":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:cb5845f3c334bfaae5bc6db157f766b935e88d44f493e45e9c0c03851333c2ba","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-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":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:1a0229dc04d06bb79c9231f0171221c7d35e8cf4d749b1341127ff1e7b0055e5","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-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":"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-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":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:47b03f37edfe41fa1534c00683d7f100cc83f6c6c048dd1784125106c10a0a7d","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-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"}}],"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-10T07:12:05.597604Z","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:15370317e2ae098f67bfd4ae09cfe995f2c778c738e3c98b6cc92acdfe22d4cf","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:5015eeaa9edb08199561f089d05530547175e3f2166a3328952635c9c9b2b02b","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-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":"2412.20735","last_updated":"2025-03-21T02:00:37Z","snapshot_observed_at":"2026-08-09T00:42:18.557895Z","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:4b7afef196a5afa541a7a8dae375390dcb7a227a8f3de8c4ccc010726e87a4c7","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:63f38a882ef27b35f63d0608390ab90f3f1bb1e78334e09172ee6bf8191f3cb7","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-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":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:4c57373f233a0dc19817290753609e1e863a96d45a6f32209374e8f8b231fb24","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-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":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-10T00:50:55.547673Z","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:f47d1e1258a5104403914287c86793ff95a43bdf605065cc8019edfe2cff40db","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-10T07:06:15.150032Z","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:dbf84e2caae6e98f3b60a35f306eb9cf2096db2083d77cbf60530af6853202a3","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:5b1349a6c558929ca198efb6f4f8c1fa9ff7e24027af504511af1dadb511eae8","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-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":"2105.00377","last_updated":"2021-05-02T02:10:31Z","snapshot_observed_at":"2026-08-04T09:55:07.881758Z","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:d31f7bd75a675264a0f198a94b958c700663352dede6ac94dba0272184083c17","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-07-06T16:44:03.023664Z","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:49b854c975d0a4191e170bf6fbb81fc819621898939e09e6df3715a6e1fc95c4","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-03T03:38:06.953412Z","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:eec8f7e10c866b20689c560dfc6c8f6f9259b7957dceb5c529e3a112658c24d3","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:500124da2a33b1290b92d33cb71d4d7dcb4ef3a916d17e64dcc1c6b0919fe8db","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-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":"2412.19437","last_updated":"2025-02-18T17:26:38Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","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:4338b2eaa28f5f3438ed79b8db1535fa625c50d3bec133e918db9aad5a9b8ce7","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:99c2a5cdd3483254369aa785bba31860c6d4e4061e69c26cccdeda4b18a0c359","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-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":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:a8da8001a0ca71b9ab927aca8c0ee6c4493c8acba0d0cb41cdd6e681f30e6f2e","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-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.01234","last_updated":"2024-04-01T16:51:50Z","snapshot_observed_at":"2026-08-06T11:35:54.331198Z","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:7bb35a16b46e5efa0939236f27063d386fd57750bfcfa26904ecf06a54065259","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-06T21:28:03.926166Z","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:0133e4485fde601c844402a5d3cd47d612c04a453d2d7e2f621cb12a5f903cbf","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-08T10:26:33.779967Z","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:0e598eb6aac0cb045ab663fe94d6a977527cda36cc204cd61bf929ab364b5805","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-08T14:51:01.673592Z","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:8c8dceb16b65c1aeff2098eab64af2ea153f24b2cd6855d93acffbf327c08625","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-08T08:53:38.852270Z","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:20e7d2fc6bcafbcb34f53ba7fe6e683ed5ec98839ae77469ba075e7d4bcccef5","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-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 26 of 26 outbound references and 3 inbound Pith citation observations for arXiv:2508.06926."}