{"as_of":"2026-08-07T01:01:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:73eae4d79962391599d0acbde21fa726de51365008af369fa9e468c1f6f30c94","coverage":[{"denominator":42,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":42,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-20T14:15:51.231274Z","state":"measured"},{"denominator":43,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":43,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-06T06:34:29.942622+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-09T03:36:57.168246Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-07-09T03:45:55.325510Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2605.17626","last_updated":"2026-05-17T19:47:07Z","snapshot_observed_at":"2026-07-06T23:28:36.134614Z","submitted_at":"2026-05-17T19:47:07Z","title":"Verifier-Guided Code Translation via Meta-Step Decoding","version":1},"cited_work":{"arxiv_id":"2605.17626","doi":null,"metadata_source":"pith","pith_arxiv_id":"2605.17626","snapshot_observed_at":"2026-07-09T03:45:55.325510Z","title":"Verifier-Guided Code Translation via Meta-Step Decoding","venue":"cs.LG","work_id":"973216c3-e886-47ee-b318-467fc7393dfb","year":2026},"citing_paper":{"arxiv_id":"2607.07663","last_updated":"2026-07-08T17:19:50Z","snapshot_observed_at":"2026-07-30T01:44:04.256851Z","submitted_at":"2026-07-08T17:19:50Z","title":"Recursive Self-Improvement in AI: From Bounded Self-Refinement to Autonomous Research Loops","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-07-09T03:36:57.168246Z"},"links":{"cited_paper":"/paper/2605.17626","citing_paper":"/paper/2607.07663"},"observation_digest":"sha256:265f5391ffd40237cea50353f300aa30917456107e45aa8ec8e0487a314e6ad1","observation_id":"f15f8a53-9eac-4afc-b011-fdda8f9d4f17","resolution":{"observed_at":"2026-07-09T03:45:55.327266Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2605.17626/citation-record","integrity":"/paper/2605.17626/integrity","json":"/paper/2605.17626/citation-record.json","paper":"/paper/2605.17626"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Scaling LLM Test-Time Com- pute Optimally Can be More Effective than Scaling Parameters for Reasoning","venue":null,"work_id":"fc83b33f-8b32-448f-b0f7-1062c9d3e838","year":2025},"citing_paper":{"arxiv_id":"2605.17626","last_updated":"2026-05-17T19:47:07Z","snapshot_observed_at":"2026-07-06T23:28:36.134614Z","submitted_at":"2026-05-17T19:47:07Z","title":"Verifier-Guided Code Translation via Meta-Step Decoding","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-05-20T14:15:51.231274Z"},"links":{"citing_paper":"/paper/2605.17626"},"observation_digest":"sha256:d17703ff92969ac44f6dd8aedd3cb008b951f3360f7f9f98ca4ae30c20dfece2","observation_id":"d43563b7-09e8-4003-af36-8895cf4c275f","resolution":{"observed_at":"2026-05-20T14:18:21.649471Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.18653/v1/2025.emnlp-main.1025","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"S1: Simple test-time scaling","venue":null,"work_id":"16de4a03-b204-42b7-ab29-734d87b8cd33","year":2025},"citing_paper":{"arxiv_id":"2605.17626","last_updated":"2026-05-17T19:47:07Z","snapshot_observed_at":"2026-07-06T23:28:36.134614Z","submitted_at":"2026-05-17T19:47:07Z","title":"Verifier-Guided Code Translation via Meta-Step Decoding","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-05-20T14:15:51.231274Z"},"links":{"citing_paper":"/paper/2605.17626"},"observation_digest":"sha256:37fbbacba981f7023a618f11f7f1951708af6372b5d455ba83a43932f7c88543","observation_id":"5e2d6656-5c3f-42fb-9982-2f33cbc81e21","resolution":{"observed_at":"2026-05-20T14:18:21.236920Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-07-16T19:20:54.872421+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-16T19:20:54.872421+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-06T06:34:23.284952+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-06-05T21:23:00.469572Z","title":"A Survey of Test-Time Compute: From Intuitive Inference to Deliberate Reasoning, January 2025","venue":null,"work_id":"e843197e-3021-4791-b08a-66b508012b12","year":2025},"citing_paper":{"arxiv_id":"2605.17626","last_updated":"2026-05-17T19:47:07Z","snapshot_observed_at":"2026-07-06T23:28:36.134614Z","submitted_at":"2026-05-17T19:47:07Z","title":"Verifier-Guided Code Translation via Meta-Step Decoding","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-05-20T14:15:51.231274Z"},"links":{"citing_paper":"/paper/2605.17626"},"observation_digest":"sha256:01f27d7e14a13b8b61abce850e29653b2bf924ebbf43834783e46eb33a658ee7","observation_id":"b656c491-abd6-470d-986d-b8346052e150","resolution":{"observed_at":"2026-05-20T14:18:21.643814Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-06-05T21:23:00.469572Z","title":"Let’s Verify Step by Step","venue":null,"work_id":"e992f6b5-f28d-4682-9666-ff1b457b969a","year":2024},"citing_paper":{"arxiv_id":"2605.17626","last_updated":"2026-05-17T19:47:07Z","snapshot_observed_at":"2026-07-06T23:28:36.134614Z","submitted_at":"2026-05-17T19:47:07Z","title":"Verifier-Guided Code Translation via Meta-Step Decoding","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-05-20T14:15:51.231274Z"},"links":{"citing_paper":"/paper/2605.17626"},"observation_digest":"sha256:e710415b7fcffeb27b0958c71c278e4099d2f6f59c32199b1640be429fdfb44f","observation_id":"3e5a64bf-cb4f-40fd-973f-095b73652ab2","resolution":{"observed_at":"2026-05-20T14:18:21.645679Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-06-05T21:23:00.469572Z","title":"OpenAI o1 System Card, December 2024","venue":null,"work_id":"625a526d-54c9-4924-883a-a77014b66287","year":2024},"citing_paper":{"arxiv_id":"2605.17626","last_updated":"2026-05-17T19:47:07Z","snapshot_observed_at":"2026-07-06T23:28:36.134614Z","submitted_at":"2026-05-17T19:47:07Z","title":"Verifier-Guided Code Translation via Meta-Step Decoding","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-05-20T14:15:51.231274Z"},"links":{"citing_paper":"/paper/2605.17626"},"observation_digest":"sha256:a6f03c141446b2554813af3ef4b167fb276a9f059aa12a6b1fa902a9dbb09a10","observation_id":"55318149-891c-4739-871f-4f0fec41c748","resolution":{"observed_at":"2026-05-20T14:18:21.639982Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1126/science.abq1158","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Mankowitz, Esme Sutherland Robson, Pushmeet Kohli, Nando De Freitas, Koray Kavukcuoglu, and Oriol Vinyals","venue":"Science","work_id":"cc452f34-3d34-41ff-9206-8edad6625ce6","year":2022},"citing_paper":{"arxiv_id":"2605.17626","last_updated":"2026-05-17T19:47:07Z","snapshot_observed_at":"2026-07-06T23:28:36.134614Z","submitted_at":"2026-05-17T19:47:07Z","title":"Verifier-Guided Code Translation via Meta-Step Decoding","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-05-20T14:15:51.231274Z"},"links":{"citing_paper":"/paper/2605.17626"},"observation_digest":"sha256:1ea13100fe14ce28d97bccee8d89c7c9b0287e535f50fab50dcb4fbdcd25ce27","observation_id":"8b7148d0-c265-4782-ab64-7fb3f03338e9","resolution":{"observed_at":"2026-05-20T14:18:21.227953Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-07-11T15:53:23.512078+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-11T15:53:23.512078+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-06T06:34:23.284952+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-06-05T21:23:00.469572Z","title":"Le, Christopher R´e, and Azalia Mirhoseini","venue":null,"work_id":"b49bb6ea-9dd0-493a-b5a9-7d77d8818dd2","year":2024},"citing_paper":{"arxiv_id":"2605.17626","last_updated":"2026-05-17T19:47:07Z","snapshot_observed_at":"2026-07-06T23:28:36.134614Z","submitted_at":"2026-05-17T19:47:07Z","title":"Verifier-Guided Code Translation via Meta-Step Decoding","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-05-20T14:15:51.231274Z"},"links":{"citing_paper":"/paper/2605.17626"},"observation_digest":"sha256:8942f86382396c519edc6ebb1365fda607ef774d36699d4d779f77a788fea126","observation_id":"45b0d44b-d0c5-4fcc-9321-cd5237a3f1fe","resolution":{"observed_at":"2026-05-20T14:18:21.638208Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-06-05T21:23:00.469572Z","title":"Griffiths, Yuan Cao, and Karthik R Narasimhan","venue":null,"work_id":"11e9526c-5dd2-47c3-bb24-d236736ef4bb","year":2023},"citing_paper":{"arxiv_id":"2605.17626","last_updated":"2026-05-17T19:47:07Z","snapshot_observed_at":"2026-07-06T23:28:36.134614Z","submitted_at":"2026-05-17T19:47:07Z","title":"Verifier-Guided Code Translation via Meta-Step Decoding","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-05-20T14:15:51.231274Z"},"links":{"citing_paper":"/paper/2605.17626"},"observation_digest":"sha256:f4b348d3fbc105001ea9c69ff6a553c87c7df919ba4f85135d8ffbe4fe3f4556","observation_id":"e01a66a4-72d8-49e0-a7ad-6a20ed1f59a9","resolution":{"observed_at":"2026-05-20T14:18:21.622706Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"5347.2025","doi":"10.1109/icse55347.2025","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"2025.IRFuzzer: Specialized Fuzzing for LLVM Backend Code Generation","venue":null,"work_id":"c383b7e9-bd1e-4268-b134-a4e43d7560a3","year":2025},"citing_paper":{"arxiv_id":"2605.17626","last_updated":"2026-05-17T19:47:07Z","snapshot_observed_at":"2026-07-06T23:28:36.134614Z","submitted_at":"2026-05-17T19:47:07Z","title":"Verifier-Guided Code Translation via Meta-Step Decoding","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-05-20T14:15:51.231274Z"},"links":{"citing_paper":"/paper/2605.17626"},"observation_digest":"sha256:5966b2b3b73a74123193a951cb266a6dfae3e8bc77cace3e419eb7404028c62b","observation_id":"4d3cf8b0-96d4-44dd-8fec-6cb7b3943e54","resolution":{"observed_at":"2026-05-20T14:18:21.230976Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-06-05T21:23:00.469572Z","title":"Process Reward Models That Think, April 2025","venue":null,"work_id":"c14445fc-5ebf-43f8-b0a2-9b943f08afd9","year":2025},"citing_paper":{"arxiv_id":"2605.17626","last_updated":"2026-05-17T19:47:07Z","snapshot_observed_at":"2026-07-06T23:28:36.134614Z","submitted_at":"2026-05-17T19:47:07Z","title":"Verifier-Guided Code Translation via Meta-Step Decoding","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-05-20T14:15:51.231274Z"},"links":{"citing_paper":"/paper/2605.17626"},"observation_digest":"sha256:6263522e7fef85ab3db9c899df53ddbe43c49f7ed4bc451c08de5939e309e71b","observation_id":"0b8c6fd2-2df7-4de6-b56d-ce0003df97dd","resolution":{"observed_at":"2026-05-20T14:18:21.634820Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-06-05T21:23:00.469572Z","title":"LEVER: Learning to Verify Language-to-Code Generation with Execution","venue":null,"work_id":"9ad4afa9-2dc2-4dd8-b9a3-b3d2d904c496","year":2023},"citing_paper":{"arxiv_id":"2605.17626","last_updated":"2026-05-17T19:47:07Z","snapshot_observed_at":"2026-07-06T23:28:36.134614Z","submitted_at":"2026-05-17T19:47:07Z","title":"Verifier-Guided Code Translation via Meta-Step Decoding","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-05-20T14:15:51.231274Z"},"links":{"citing_paper":"/paper/2605.17626"},"observation_digest":"sha256:06a6802ede0c579ba8c99aac8de6146aa4824d3aa54f6270ba18679decf4e42d","observation_id":"97a31cf1-d6ed-4cbc-8fbb-2b99ae5d04b9","resolution":{"observed_at":"2026-05-20T14:18:21.651262Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-06-05T21:23:00.469572Z","title":"Nguyen, Daoguang Zan, Zeqi Lin, Jian-Guang Lou, and Weizhu Chen","venue":null,"work_id":"16bf08e4-ba9d-4923-b07e-cb111c0dd1c1","year":2022},"citing_paper":{"arxiv_id":"2605.17626","last_updated":"2026-05-17T19:47:07Z","snapshot_observed_at":"2026-07-06T23:28:36.134614Z","submitted_at":"2026-05-17T19:47:07Z","title":"Verifier-Guided Code Translation via Meta-Step Decoding","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-05-20T14:15:51.231274Z"},"links":{"citing_paper":"/paper/2605.17626"},"observation_digest":"sha256:cfe670976bc4345ab3f5b9bbdd19305b85a9c07b263bf18c19a36fe91ed2ccbe","observation_id":"ffab7936-d199-4b0a-8a24-9346a24d6ec0","resolution":{"observed_at":"2026-05-20T14:18:21.632805Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-06-05T21:23:00.469572Z","title":"Teaching Large Language Models to Self-Debug","venue":null,"work_id":"05533491-36e4-458b-a96e-c11c79bf33b2","year":2024},"citing_paper":{"arxiv_id":"2605.17626","last_updated":"2026-05-17T19:47:07Z","snapshot_observed_at":"2026-07-06T23:28:36.134614Z","submitted_at":"2026-05-17T19:47:07Z","title":"Verifier-Guided Code Translation via Meta-Step Decoding","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-05-20T14:15:51.231274Z"},"links":{"citing_paper":"/paper/2605.17626"},"observation_digest":"sha256:2304352d4b45c5f0b4299232671fc73735aef1ab30ca1b06a2f91808a37e741c","observation_id":"308c244b-c64f-41cc-9cf1-65559ac49772","resolution":{"observed_at":"2026-05-20T14:18:21.626941Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"bd97e86c-688d-4487-bd93-e966b4416705","year":2022},"citing_paper":{"arxiv_id":"2605.17626","last_updated":"2026-05-17T19:47:07Z","snapshot_observed_at":"2026-07-06T23:28:36.134614Z","submitted_at":"2026-05-17T19:47:07Z","title":"Verifier-Guided Code Translation via Meta-Step Decoding","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-05-20T14:15:51.231274Z"},"links":{"citing_paper":"/paper/2605.17626"},"observation_digest":"sha256:f1da69cd533babc196af2b99293e905cd756f681e14eb0a08dca370678012a9f","observation_id":"e136ed4a-f505-438f-9476-80e1ec6a37aa","resolution":{"observed_at":"2026-05-20T14:18:21.601042Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-06-05T21:23:00.469572Z","title":"Execution Guided Line-by-Line Code Generation, June 2025","venue":null,"work_id":"3288dea4-a8e0-448f-9776-9a1e83dd74df","year":2025},"citing_paper":{"arxiv_id":"2605.17626","last_updated":"2026-05-17T19:47:07Z","snapshot_observed_at":"2026-07-06T23:28:36.134614Z","submitted_at":"2026-05-17T19:47:07Z","title":"Verifier-Guided Code Translation via Meta-Step Decoding","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-05-20T14:15:51.231274Z"},"links":{"citing_paper":"/paper/2605.17626"},"observation_digest":"sha256:50cbefb7a9554afd0085b9687d3584faf52ac9ffddb87e431ecd1c50c1f50cf0","observation_id":"86d1fc46-2496-4829-a2ae-d10ed550d090","resolution":{"observed_at":"2026-05-20T14:18:21.624947Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-06-05T21:23:00.469572Z","title":"Byrd, Robert Zinkov, and Nada Amin","venue":null,"work_id":"f93d5c79-6f05-4f2c-adef-553e2b0033dd","year":2024},"citing_paper":{"arxiv_id":"2605.17626","last_updated":"2026-05-17T19:47:07Z","snapshot_observed_at":"2026-07-06T23:28:36.134614Z","submitted_at":"2026-05-17T19:47:07Z","title":"Verifier-Guided Code Translation via Meta-Step Decoding","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-05-20T14:15:51.231274Z"},"links":{"citing_paper":"/paper/2605.17626"},"observation_digest":"sha256:256b7c1f8e78c83ba701d5a77c622271392dbf19c2c659108d810d2336994e64","observation_id":"a4ab5df7-bc6a-46f8-8aaa-a056bf13b895","resolution":{"observed_at":"2026-05-20T14:18:21.602837Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-06-05T21:23:00.469572Z","title":"AlphaVerus: Bootstrapping Formally Verified Code Generation through Self-Improving Translation and Treefinement, December 2024","venue":null,"work_id":"2293e16d-5a5a-481f-8d09-ed949ae6fca4","year":2024},"citing_paper":{"arxiv_id":"2605.17626","last_updated":"2026-05-17T19:47:07Z","snapshot_observed_at":"2026-07-06T23:28:36.134614Z","submitted_at":"2026-05-17T19:47:07Z","title":"Verifier-Guided Code Translation via Meta-Step Decoding","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-05-20T14:15:51.231274Z"},"links":{"citing_paper":"/paper/2605.17626"},"observation_digest":"sha256:57c730895f67a307ebc8cea00975ede85e1574f4e4b90a20ea26c73b9402d03d","observation_id":"10cc6a1e-9c89-4c2d-b032-921561344a5b","resolution":{"observed_at":"2026-05-20T14:18:21.630632Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-06-05T21:23:00.469572Z","title":"Qwen3 Technical Report, May 2025","venue":null,"work_id":"7bcb5e33-b130-40b9-a8fe-6d0a88a1d8f3","year":2025},"citing_paper":{"arxiv_id":"2605.17626","last_updated":"2026-05-17T19:47:07Z","snapshot_observed_at":"2026-07-06T23:28:36.134614Z","submitted_at":"2026-05-17T19:47:07Z","title":"Verifier-Guided Code Translation via Meta-Step Decoding","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-05-20T14:15:51.231274Z"},"links":{"citing_paper":"/paper/2605.17626"},"observation_digest":"sha256:e8ea656ffa41cffc300635635b48e630cb85327ceb2a438e4f4d55b3bf5e75d6","observation_id":"3430a99f-5f2f-4740-b09c-7eff2aa3de74","resolution":{"observed_at":"2026-05-20T14:18:21.641693Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-06-05T21:23:00.469572Z","title":"Gemma 4: Byte for byte, the most capable open models, April 2026","venue":null,"work_id":"f125a596-f91c-49fe-be01-135ad99ddaf2","year":2026},"citing_paper":{"arxiv_id":"2605.17626","last_updated":"2026-05-17T19:47:07Z","snapshot_observed_at":"2026-07-06T23:28:36.134614Z","submitted_at":"2026-05-17T19:47:07Z","title":"Verifier-Guided Code Translation via Meta-Step Decoding","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-05-20T14:15:51.231274Z"},"links":{"citing_paper":"/paper/2605.17626"},"observation_digest":"sha256:f5c4f2d215491ae0696ebe38f4dd85b2667b77e862f748d3940c1c73aeb89a72","observation_id":"be2f3ee3-e9c9-4746-82db-8d504bc3e55c","resolution":{"observed_at":"2026-05-20T14:18:21.647515Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.18653/v1/2025.findings-emnlp.865","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Gonzalez, and Ion Stoica","venue":null,"work_id":"d6a1688c-9193-481f-a695-4a39f1116ca2","year":2025},"citing_paper":{"arxiv_id":"2605.17626","last_updated":"2026-05-17T19:47:07Z","snapshot_observed_at":"2026-07-06T23:28:36.134614Z","submitted_at":"2026-05-17T19:47:07Z","title":"Verifier-Guided Code Translation via Meta-Step Decoding","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-05-20T14:15:51.231274Z"},"links":{"citing_paper":"/paper/2605.17626"},"observation_digest":"sha256:9aa3ba2b70693d533ea5861f8f82a82a8539458451c4b482a9d3740c0bb1a36e","observation_id":"77a6ad96-4ea0-498f-b717-d849d84dcb3e","resolution":{"observed_at":"2026-05-20T14:18:21.223353Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"c1848905-c710-4634-95c7-38bdae2874fb","year":2021},"citing_paper":{"arxiv_id":"2605.17626","last_updated":"2026-05-17T19:47:07Z","snapshot_observed_at":"2026-07-06T23:28:36.134614Z","submitted_at":"2026-05-17T19:47:07Z","title":"Verifier-Guided Code Translation via Meta-Step Decoding","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-05-20T14:15:51.231274Z"},"links":{"citing_paper":"/paper/2605.17626"},"observation_digest":"sha256:5b74ae78b2a68711b65cc4bab58c3a194b1c5a9f065811f0294c2e205aab9598","observation_id":"7d6398bb-9663-4b7c-97bf-5a8a1327d57f","resolution":{"observed_at":"2026-05-20T14:18:21.620875Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/lipics.ecoop.2023.37","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Do Machine Learning Models Produce TypeScript Types That Type Check?LIPIcs, Volume 263, ECOOP 2023, 263:37:1–37:28","venue":"DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)","work_id":"e72f0b33-b111-4415-a194-edf6c5b8039b","year":2023},"citing_paper":{"arxiv_id":"2605.17626","last_updated":"2026-05-17T19:47:07Z","snapshot_observed_at":"2026-07-06T23:28:36.134614Z","submitted_at":"2026-05-17T19:47:07Z","title":"Verifier-Guided Code Translation via Meta-Step Decoding","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-05-20T14:15:51.231274Z"},"links":{"citing_paper":"/paper/2605.17626"},"observation_digest":"sha256:b0ca44f2da6df16be9b2d4d63f344fa8c13d9a9ecf1eecfcde53b6b82389a916","observation_id":"70ff22e1-bb17-491d-a998-f41b7e9f26af","resolution":{"observed_at":"2026-05-20T14:18:21.248990Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-06-05T21:23:00.469572Z","title":"Wang, Antonia Creswell, G","venue":null,"work_id":"cad4e70d-6fe5-4d0a-bc6e-054ed3eb91ae","year":2022},"citing_paper":{"arxiv_id":"2605.17626","last_updated":"2026-05-17T19:47:07Z","snapshot_observed_at":"2026-07-06T23:28:36.134614Z","submitted_at":"2026-05-17T19:47:07Z","title":"Verifier-Guided Code Translation via Meta-Step Decoding","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-05-20T14:15:51.231274Z"},"links":{"citing_paper":"/paper/2605.17626"},"observation_digest":"sha256:dce27ef077ee1e9a85feec7175a4ad66c575eccc7065e0b87b92115aba924686","observation_id":"9ec2d9b1-edbe-48f3-9dbb-f9dc0e8faa09","resolution":{"observed_at":"2026-05-20T14:18:21.628647Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-06-05T21:23:00.469572Z","title":"Training Verifiers to Solve Math Word Problems, October 2021","venue":null,"work_id":"e655a460-cb30-4f0e-ac07-1b574a2aa808","year":2021},"citing_paper":{"arxiv_id":"2605.17626","last_updated":"2026-05-17T19:47:07Z","snapshot_observed_at":"2026-07-06T23:28:36.134614Z","submitted_at":"2026-05-17T19:47:07Z","title":"Verifier-Guided Code Translation via Meta-Step Decoding","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-05-20T14:15:51.231274Z"},"links":{"citing_paper":"/paper/2605.17626"},"observation_digest":"sha256:f8e691739d331a41b8f15b6a3160921b7b06f36031381dcd655d4f495af2067b","observation_id":"0a5578d6-50a6-4062-b073-feb9960a4e87","resolution":{"observed_at":"2026-05-20T14:18:21.619188Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.18653/v1/2024.acl-long.510","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-02T13:36:58.254898Z","title":"Math-Shepherd: Verify and Reinforce LLMs Step-by-step without Human Annotations","venue":"Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)","work_id":"85cb163c-682e-453b-a6a0-83882efc0942","year":2024},"citing_paper":{"arxiv_id":"2605.17626","last_updated":"2026-05-17T19:47:07Z","snapshot_observed_at":"2026-07-06T23:28:36.134614Z","submitted_at":"2026-05-17T19:47:07Z","title":"Verifier-Guided Code Translation via Meta-Step Decoding","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-05-20T14:15:51.231274Z"},"links":{"citing_paper":"/paper/2605.17626"},"observation_digest":"sha256:ae31bfa75a8e821154d350fc986eaab6da040e6f403baf74e6affe7c52d2a469","observation_id":"a5bdadd6-12d5-4feb-9aa5-4a27492a1f2a","resolution":{"observed_at":"2026-05-20T14:18:21.239442Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-05-20T23:52:29.842744+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-20T23:52:29.842744+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-06T06:34:23.284952+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-06-05T21:23:00.469572Z","title":"Improve Mathematical Reasoning in Language Models by Automated Process Supervision, June 2024","venue":null,"work_id":"13b851ce-69c0-4bf2-8a44-d19041dfe415","year":2024},"citing_paper":{"arxiv_id":"2605.17626","last_updated":"2026-05-17T19:47:07Z","snapshot_observed_at":"2026-07-06T23:28:36.134614Z","submitted_at":"2026-05-17T19:47:07Z","title":"Verifier-Guided Code Translation via Meta-Step Decoding","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-05-20T14:15:51.231274Z"},"links":{"citing_paper":"/paper/2605.17626"},"observation_digest":"sha256:16d95e5ab80b94bbb5ff2041d2c24d27b52d323b320bbd062b4124846a677cd4","observation_id":"b317c681-0a8e-44f3-bc15-f2433122ca31","resolution":{"observed_at":"2026-05-20T14:18:21.613369Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-06-05T21:23:00.469572Z","title":"Probabilistic Programs of Thought, April 2026","venue":null,"work_id":"f173149f-b18e-4bf6-9cb5-a261f14dbab4","year":2026},"citing_paper":{"arxiv_id":"2605.17626","last_updated":"2026-05-17T19:47:07Z","snapshot_observed_at":"2026-07-06T23:28:36.134614Z","submitted_at":"2026-05-17T19:47:07Z","title":"Verifier-Guided Code Translation via Meta-Step Decoding","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-05-20T14:15:51.231274Z"},"links":{"citing_paper":"/paper/2605.17626"},"observation_digest":"sha256:dd0c764fc6d8cd0764ba29a62ff2b1309e6ecb5dcfb6431b004d282486a88562","observation_id":"8944c214-44b6-48bd-98a7-5ec6c1fe6043","resolution":{"observed_at":"2026-05-20T14:18:21.615446Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.18653/v1/2021.emnlp-main.779","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"doi:10.18653/v1/2021.emnlp-main.779","venue":"Proceedings of the 2021 Conference on Empirical Methods in Natural Language Processing","work_id":"dad7a077-a585-4cae-8ca8-c51c417e7fdb","year":2021},"citing_paper":{"arxiv_id":"2605.17626","last_updated":"2026-05-17T19:47:07Z","snapshot_observed_at":"2026-07-06T23:28:36.134614Z","submitted_at":"2026-05-17T19:47:07Z","title":"Verifier-Guided Code Translation via Meta-Step Decoding","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-05-20T14:15:51.231274Z"},"links":{"citing_paper":"/paper/2605.17626"},"observation_digest":"sha256:cbdaaf044ab44469cd3ea72351f17f06a0b9b903be0ab15683943afe8106cc5b","observation_id":"84680833-3cb0-482f-8b42-4c11f878255d","resolution":{"observed_at":"2026-05-20T14:18:21.241976Z","resolver_source":"doi","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-07-11T06:20:41.927635+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-11T06:20:41.927635+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-06T06:34:23.284952+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-06-05T21:23:00.469572Z","title":"Tiwari, Gustavo Soares, Christopher Meek, and Sumit Gulwani","venue":null,"work_id":"0e701316-93e0-4f3c-b75e-db6119e7cc25","year":2022},"citing_paper":{"arxiv_id":"2605.17626","last_updated":"2026-05-17T19:47:07Z","snapshot_observed_at":"2026-07-06T23:28:36.134614Z","submitted_at":"2026-05-17T19:47:07Z","title":"Verifier-Guided Code Translation via Meta-Step Decoding","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-05-20T14:15:51.231274Z"},"links":{"citing_paper":"/paper/2605.17626"},"observation_digest":"sha256:c959cf855a21d02369d4fc53ba7be4ab1b2f66518b3ca07777ede289d133b2bf","observation_id":"376fd1f1-de51-41ee-81f6-f50674496fc1","resolution":{"observed_at":"2026-05-20T14:18:21.655322Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-06-05T21:23:00.469572Z","title":"Willard and R´emi Louf","venue":null,"work_id":"5d2141cb-8fa3-4a6b-beaa-17ea0f7760ea","year":2023},"citing_paper":{"arxiv_id":"2605.17626","last_updated":"2026-05-17T19:47:07Z","snapshot_observed_at":"2026-07-06T23:28:36.134614Z","submitted_at":"2026-05-17T19:47:07Z","title":"Verifier-Guided Code Translation via Meta-Step Decoding","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-05-20T14:15:51.231274Z"},"links":{"citing_paper":"/paper/2605.17626"},"observation_digest":"sha256:bcab0fb76162e570769d78a2132c9efbc463bcfdd6fa298eca5654b525ea53f7","observation_id":"decde9b5-59cb-44f2-b28f-3f99df2c8bd2","resolution":{"observed_at":"2026-05-20T14:18:21.636508Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3591300","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"doi:10.1145/3591300","venue":"Proceedings of the ACM on Programming Languages","work_id":"99695126-2944-4d6b-b10d-2a94f57895a0","year":1946},"citing_paper":{"arxiv_id":"2605.17626","last_updated":"2026-05-17T19:47:07Z","snapshot_observed_at":"2026-07-06T23:28:36.134614Z","submitted_at":"2026-05-17T19:47:07Z","title":"Verifier-Guided Code Translation via Meta-Step Decoding","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-05-20T14:15:51.231274Z"},"links":{"citing_paper":"/paper/2605.17626"},"observation_digest":"sha256:875f4207b31170df889668ed53e169ad88851280f05c1d6fcb0baff3c89c5104","observation_id":"dc436e74-4914-465d-87e0-0fdfc0647cf5","resolution":{"observed_at":"2026-05-20T14:18:21.246365Z","resolver_source":"doi","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-05-20T22:22:56.670432+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-20T22:22:56.670432+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.18653/v1/2023.emnlp-main.674","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Grammar-Constrained Decoding for Structured NLP Tasks without Finetuning","venue":null,"work_id":"1ae61f4c-d60b-4301-a5d5-272b0c17d3d9","year":2023},"citing_paper":{"arxiv_id":"2605.17626","last_updated":"2026-05-17T19:47:07Z","snapshot_observed_at":"2026-07-06T23:28:36.134614Z","submitted_at":"2026-05-17T19:47:07Z","title":"Verifier-Guided Code Translation via Meta-Step Decoding","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-05-20T14:15:51.231274Z"},"links":{"citing_paper":"/paper/2605.17626"},"observation_digest":"sha256:28f9ddf9a0f7cf6038ba19f65480ae72c4dc474dba36c9dd108e16e08f519b5e","observation_id":"72021a97-8466-4e55-b502-d179836b60f2","resolution":{"observed_at":"2026-05-20T14:18:21.244152Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-05-22T13:23:21.507335+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-22T13:23:21.507335+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-06T06:34:23.284952+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-06-05T21:23:00.469572Z","title":"Monitor-Guided Decoding of Code LMs with Static Analysis of Repository Context","venue":null,"work_id":"f53fb694-7b6e-476c-b916-54ac63ab2523","year":2023},"citing_paper":{"arxiv_id":"2605.17626","last_updated":"2026-05-17T19:47:07Z","snapshot_observed_at":"2026-07-06T23:28:36.134614Z","submitted_at":"2026-05-17T19:47:07Z","title":"Verifier-Guided Code Translation via Meta-Step Decoding","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-05-20T14:15:51.231274Z"},"links":{"citing_paper":"/paper/2605.17626"},"observation_digest":"sha256:4fe5cf7d567b8b820f9b50f2ccd27377735a9418466abd1603ae3dec3d5add77","observation_id":"151709ae-7003-4984-83cc-3c2c91a6d5a7","resolution":{"observed_at":"2026-05-20T14:18:21.617333Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1643.361627","doi":"10.1145/3611643.3616271","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Copiloting the copilots: Fusing large language models with completion engines for automated program repair","venue":null,"work_id":"0a80a3cf-9912-4b81-926a-869a7a52787b","year":2023},"citing_paper":{"arxiv_id":"2605.17626","last_updated":"2026-05-17T19:47:07Z","snapshot_observed_at":"2026-07-06T23:28:36.134614Z","submitted_at":"2026-05-17T19:47:07Z","title":"Verifier-Guided Code Translation via Meta-Step Decoding","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-05-20T14:15:51.231274Z"},"links":{"citing_paper":"/paper/2605.17626"},"observation_digest":"sha256:412a285bc5f3e7abf41c5b27cf699e3c9a3ae6780d861339b24e942477f4447d","observation_id":"ef9317fd-74d4-482d-8897-48ffb289cfb7","resolution":{"observed_at":"2026-05-20T14:18:21.234795Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-07-11T06:20:43.746113+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-11T06:20:43.746113+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3729274","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Type- Constrained Code Generation with Language Models","venue":"Proceedings of the ACM on Programming Languages","work_id":"ddc64e77-a375-4891-81ee-313559d688ce","year":2025},"citing_paper":{"arxiv_id":"2605.17626","last_updated":"2026-05-17T19:47:07Z","snapshot_observed_at":"2026-07-06T23:28:36.134614Z","submitted_at":"2026-05-17T19:47:07Z","title":"Verifier-Guided Code Translation via Meta-Step Decoding","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-05-20T14:15:51.231274Z"},"links":{"citing_paper":"/paper/2605.17626"},"observation_digest":"sha256:016d5193a4a426a3697bfc5fb4bd2d8026607ca912a2907f754dee10ccc96540","observation_id":"2257ad29-8c2d-4b95-a4fa-176736c932c0","resolution":{"observed_at":"2026-05-20T14:18:21.225694Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-07-18T14:21:13.679308+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-18T14:21:13.679308+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-06T06:34:23.284952+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-06-05T21:23:00.469572Z","title":"CRANE: Reasoning with constrained LLM generation","venue":null,"work_id":"fd6b38a6-69f9-4420-a83b-349c0ad1bbcf","year":2025},"citing_paper":{"arxiv_id":"2605.17626","last_updated":"2026-05-17T19:47:07Z","snapshot_observed_at":"2026-07-06T23:28:36.134614Z","submitted_at":"2026-05-17T19:47:07Z","title":"Verifier-Guided Code Translation via Meta-Step Decoding","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-05-20T14:15:51.231274Z"},"links":{"citing_paper":"/paper/2605.17626"},"observation_digest":"sha256:7b7cf4c28ad500e8d4a3349b352549939ebd8fb9e3f6b241be03b1cc0137a0a2","observation_id":"e29a60bd-e4d9-4c5c-95db-3aaa4970de0e","resolution":{"observed_at":"2026-05-20T14:18:21.611475Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-06-05T21:23:00.469572Z","title":"TreeCoder: Systematic Exploration and Optimisation of Decoding and Constraints for LLM Code Generation, November 2025","venue":null,"work_id":"100e32ea-6599-4a08-be0b-4114ec4d4156","year":2025},"citing_paper":{"arxiv_id":"2605.17626","last_updated":"2026-05-17T19:47:07Z","snapshot_observed_at":"2026-07-06T23:28:36.134614Z","submitted_at":"2026-05-17T19:47:07Z","title":"Verifier-Guided Code Translation via Meta-Step Decoding","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-05-20T14:15:51.231274Z"},"links":{"citing_paper":"/paper/2605.17626"},"observation_digest":"sha256:a65181231beee423802a6f8bb7ee2719b3f7dc6d7561b093b947f734ae5aa09b","observation_id":"1f47b095-8c0d-43aa-a8c4-0eadff58bab0","resolution":{"observed_at":"2026-05-20T14:18:21.609325Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-06-05T21:23:00.469572Z","title":"Reinforced Agent: Inference-Time Feedback for Tool-Calling Agents, April 2026","venue":null,"work_id":"cc9f9dad-d92d-481c-8b2c-360f0302bad7","year":2026},"citing_paper":{"arxiv_id":"2605.17626","last_updated":"2026-05-17T19:47:07Z","snapshot_observed_at":"2026-07-06T23:28:36.134614Z","submitted_at":"2026-05-17T19:47:07Z","title":"Verifier-Guided Code Translation via Meta-Step Decoding","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-05-20T14:15:51.231274Z"},"links":{"citing_paper":"/paper/2605.17626"},"observation_digest":"sha256:a410150585cdfaaf42eb697f054342c8bc8f52d806874e787099b1619185af35","observation_id":"672e4af1-6d8e-4429-9c80-68d4d24ff9e3","resolution":{"observed_at":"2026-05-20T14:18:21.604695Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-06-05T21:23:00.469572Z","title":"SACTOR: LLM-Driven Correct and Idiomatic C to Rust Translation with Static Analysis and FFI-Based Verification, March 2025","venue":null,"work_id":"f42f1bc5-69fd-44c7-a60d-988e5c24fde7","year":2025},"citing_paper":{"arxiv_id":"2605.17626","last_updated":"2026-05-17T19:47:07Z","snapshot_observed_at":"2026-07-06T23:28:36.134614Z","submitted_at":"2026-05-17T19:47:07Z","title":"Verifier-Guided Code Translation via Meta-Step Decoding","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-05-20T14:15:51.231274Z"},"links":{"citing_paper":"/paper/2605.17626"},"observation_digest":"sha256:ba800916473cdda698c27557cc3d7d76fd646d6b6403facd4f654801e5829a2e","observation_id":"087d7b10-4499-4c9c-ba4d-53324839fb80","resolution":{"observed_at":"2026-05-20T14:18:21.653523Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-662-44202-9","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Understanding TypeScript","venue":"Lecture notes in computer science","work_id":"fd0e1fe2-5e8e-4bfa-a75a-565d2a3a0214","year":2014},"citing_paper":{"arxiv_id":"2605.17626","last_updated":"2026-05-17T19:47:07Z","snapshot_observed_at":"2026-07-06T23:28:36.134614Z","submitted_at":"2026-05-17T19:47:07Z","title":"Verifier-Guided Code Translation via Meta-Step Decoding","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-05-20T14:15:51.231274Z"},"links":{"citing_paper":"/paper/2605.17626"},"observation_digest":"sha256:8c3ac28522420619f03be1666bd1bef4d6987064c416fd5a0fc6c6e35a227775","observation_id":"6874b00d-9d19-4a7a-82dc-3dc21e8e0759","resolution":{"observed_at":"2026-05-20T14:18:21.217079Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"6024.323605","doi":"10.1145/3236024.3236051","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"10\"; L2 let total = count * 2; L3 let avg = total / 4; L4 println!(","venue":null,"work_id":"d7ae28e9-cf15-4ae0-a88d-dcd38bae7cb0","year":2018},"citing_paper":{"arxiv_id":"2605.17626","last_updated":"2026-05-17T19:47:07Z","snapshot_observed_at":"2026-07-06T23:28:36.134614Z","submitted_at":"2026-05-17T19:47:07Z","title":"Verifier-Guided Code Translation via Meta-Step Decoding","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-05-20T14:15:51.231274Z"},"links":{"citing_paper":"/paper/2605.17626"},"observation_digest":"sha256:1693235322870433fc7e2873b25dcbee95f01b28d5db33890af516a814573a68","observation_id":"38fe57e1-4832-44d7-868b-80e85d043a00","resolution":{"observed_at":"2026-05-20T14:18:21.220874Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-06-05T21:23:00.469572Z","title":"unexpected EOF","venue":null,"work_id":"ffa18669-15bf-4267-9280-a029707ecc1a","year":2048},"citing_paper":{"arxiv_id":"2605.17626","last_updated":"2026-05-17T19:47:07Z","snapshot_observed_at":"2026-07-06T23:28:36.134614Z","submitted_at":"2026-05-17T19:47:07Z","title":"Verifier-Guided Code Translation via Meta-Step Decoding","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-05-20T14:15:51.231274Z"},"links":{"citing_paper":"/paper/2605.17626"},"observation_digest":"sha256:d9eafba01086b962220e460c2a73f97d78a02dd2f733e9710c5fdbb14e7036ba","observation_id":"c839aa26-328e-4413-9e1a-bd917fe81b03","resolution":{"observed_at":"2026-05-20T14:18:21.607045Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2605.17626","last_updated":"2026-05-17T19:47:07Z","latest_version":1,"primary_category":"cs.LG","snapshot_observed_at":"2026-07-06T23:28:36.134614Z","submitted_at":"2026-05-17T19:47:07Z","title":"Verifier-Guided Code Translation via Meta-Step Decoding"},"reference_resolution":{"displayed":42,"state_counts":{"malformed_identifier":1,"metadata_mismatch":3,"parse_uncertain":0,"unresolved":2,"verified_exact":10,"verified_fuzzy":26},"total_outbound_references":42},"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-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"thesis":"As of 7 August 2026, this Paper Citation Record lists 42 of 42 outbound references and 1 inbound Pith citation observation for arXiv:2605.17626."}