Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-05-20T14:15:51.231274Z
Paper Citation Record · LEDGER
Verifier-Guided Code Translation via Meta-Step Decoding
As of 6 August 2026, this Paper Citation Record lists 42 of 42 outbound references and 1 inbound Pith citation observation for arXiv:2605.17626.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-06T06:34:29.942622+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-07-09T03:36:57.168246Z
A source-named dated measurement, never combined with another source.
Source: pith, observed 2026-07-09T03:45:55.325510Z
Reference resolution
42 of 42 outbound references displayed
- verified exact10
- verified fuzzy26
- unresolved2
- parse uncertain0
- malformed identifier1
- metadata mismatch3
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation d43563b7-09e8-4003-af36-8895cf4c275f · outbound
This paper cites Scaling LLM Test-Time Com- pute Optimally Can be More Effective than Scaling Parameters for Reasoning.
Verifier-Guided Code Translation via Meta-Step Decoding Scaling LLM Test-Time Com- pute Optimally Can be More Effective than Scaling Parameters for Reasoning
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-20T14:18:21.649471Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 5e2d6656-5c3f-42fb-9982-2f33cbc81e21 · outbound
This paper cites S1: Simple test-time scaling.
Verifier-Guided Code Translation via Meta-Step Decoding S1: Simple test-time scaling
Reference 2
- Resolution
- verified exact
- doi, observed 2026-05-20T14:18:21.236920Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation b656c491-abd6-470d-986d-b8346052e150 · outbound
This paper cites A Survey of Test-Time Compute: From Intuitive Inference to Deliberate Reasoning, January 2025.
Verifier-Guided Code Translation via Meta-Step Decoding A Survey of Test-Time Compute: From Intuitive Inference to Deliberate Reasoning, January 2025
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-20T14:18:21.643814Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 3e5a64bf-cb4f-40fd-973f-095b73652ab2 · outbound
This paper cites Let’s Verify Step by Step.
Verifier-Guided Code Translation via Meta-Step Decoding Let’s Verify Step by Step
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-20T14:18:21.645679Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 55318149-891c-4739-871f-4f0fec41c748 · outbound
This paper cites OpenAI o1 System Card, December 2024.
Verifier-Guided Code Translation via Meta-Step Decoding OpenAI o1 System Card, December 2024
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-20T14:18:21.639982Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 8b7148d0-c265-4782-ab64-7fb3f03338e9 · outbound
This paper cites Mankowitz, Esme Sutherland Robson, Pushmeet Kohli, Nando De Freitas, Koray Kavukcuoglu, and Oriol Vinyals.
Verifier-Guided Code Translation via Meta-Step Decoding Mankowitz, Esme Sutherland Robson, Pushmeet Kohli, Nando De Freitas, Koray Kavukcuoglu, and Oriol Vinyals
Reference 6
- Resolution
- verified exact
- doi, observed 2026-05-20T14:18:21.227953Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 45b0d44b-d0c5-4fcc-9321-cd5237a3f1fe · outbound
This paper cites Le, Christopher R´e, and Azalia Mirhoseini.
Verifier-Guided Code Translation via Meta-Step Decoding Le, Christopher R´e, and Azalia Mirhoseini
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-20T14:18:21.638208Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation e01a66a4-72d8-49e0-a7ad-6a20ed1f59a9 · outbound
This paper cites Griffiths, Yuan Cao, and Karthik R Narasimhan.
Verifier-Guided Code Translation via Meta-Step Decoding Griffiths, Yuan Cao, and Karthik R Narasimhan
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-20T14:18:21.622706Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 4d3cf8b0-96d4-44dd-8fec-6cb7b3943e54 · outbound
This paper cites 2025.IRFuzzer: Specialized Fuzzing for LLVM Backend Code Generation.
Verifier-Guided Code Translation via Meta-Step Decoding 2025.IRFuzzer: Specialized Fuzzing for LLVM Backend Code Generation
Reference 9
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-20T14:18:21.230976Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 0b8c6fd2-2df7-4de6-b56d-ce0003df97dd · outbound
This paper cites Process Reward Models That Think, April 2025.
Verifier-Guided Code Translation via Meta-Step Decoding Process Reward Models That Think, April 2025
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-20T14:18:21.634820Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 97a31cf1-d6ed-4cbc-8fbb-2b99ae5d04b9 · outbound
This paper cites LEVER: Learning to Verify Language-to-Code Generation with Execution.
Verifier-Guided Code Translation via Meta-Step Decoding LEVER: Learning to Verify Language-to-Code Generation with Execution
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-20T14:18:21.651262Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation ffab7936-d199-4b0a-8a24-9346a24d6ec0 · outbound
This paper cites Nguyen, Daoguang Zan, Zeqi Lin, Jian-Guang Lou, and Weizhu Chen.
Verifier-Guided Code Translation via Meta-Step Decoding Nguyen, Daoguang Zan, Zeqi Lin, Jian-Guang Lou, and Weizhu Chen
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-20T14:18:21.632805Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 308c244b-c64f-41cc-9cf1-65559ac49772 · outbound
This paper cites Teaching Large Language Models to Self-Debug.
Verifier-Guided Code Translation via Meta-Step Decoding Teaching Large Language Models to Self-Debug
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-20T14:18:21.626941Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation e136ed4a-f505-438f-9476-80e1ec6a37aa · outbound
This paper cites an unresolved cited work.
Verifier-Guided Code Translation via Meta-Step Decoding Unresolved cited work
Reference 14
- Resolution
- unresolved
- raw_fallback, observed 2026-05-20T14:18:21.601042Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 86d1fc46-2496-4829-a2ae-d10ed550d090 · outbound
This paper cites Execution Guided Line-by-Line Code Generation, June 2025.
Verifier-Guided Code Translation via Meta-Step Decoding Execution Guided Line-by-Line Code Generation, June 2025
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-20T14:18:21.624947Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation a4ab5df7-bc6a-46f8-8aaa-a056bf13b895 · outbound
This paper cites Byrd, Robert Zinkov, and Nada Amin.
Verifier-Guided Code Translation via Meta-Step Decoding Byrd, Robert Zinkov, and Nada Amin
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-20T14:18:21.602837Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 10cc6a1e-9c89-4c2d-b032-921561344a5b · outbound
This paper cites AlphaVerus: Bootstrapping Formally Verified Code Generation through Self-Improving Translation and Treefinement, December 2024.
Verifier-Guided Code Translation via Meta-Step Decoding AlphaVerus: Bootstrapping Formally Verified Code Generation through Self-Improving Translation and Treefinement, December 2024
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-20T14:18:21.630632Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 3430a99f-5f2f-4740-b09c-7eff2aa3de74 · outbound
This paper cites Qwen3 Technical Report, May 2025.
Verifier-Guided Code Translation via Meta-Step Decoding Qwen3 Technical Report, May 2025
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-20T14:18:21.641693Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation be2f3ee3-e9c9-4746-82db-8d504bc3e55c · outbound
This paper cites Gemma 4: Byte for byte, the most capable open models, April 2026.
Verifier-Guided Code Translation via Meta-Step Decoding Gemma 4: Byte for byte, the most capable open models, April 2026
Reference 19
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-20T14:18:21.647515Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 77a6ad96-4ea0-498f-b717-d849d84dcb3e · outbound
This paper cites Gonzalez, and Ion Stoica.
Verifier-Guided Code Translation via Meta-Step Decoding Gonzalez, and Ion Stoica
Reference 20
- Resolution
- verified exact
- doi, observed 2026-05-20T14:18:21.223353Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 7d6398bb-9663-4b7c-97bf-5a8a1327d57f · outbound
This paper cites an unresolved cited work.
Verifier-Guided Code Translation via Meta-Step Decoding Unresolved cited work
Reference 21
- Resolution
- unresolved
- raw_fallback, observed 2026-05-20T14:18:21.620875Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 70ff22e1-bb17-491d-a998-f41b7e9f26af · outbound
This paper cites Do Machine Learning Models Produce TypeScript Types That Type Check?LIPIcs, Volume 263, ECOOP 2023, 263:37:1–37:28.
Verifier-Guided Code Translation via Meta-Step Decoding Do Machine Learning Models Produce TypeScript Types That Type Check?LIPIcs, Volume 263, ECOOP 2023, 263:37:1–37:28
Reference 22
- Resolution
- verified exact
- doi, observed 2026-05-20T14:18:21.248990Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 9ec2d9b1-edbe-48f3-9dbb-f9dc0e8faa09 · outbound
This paper cites Wang, Antonia Creswell, G.
Verifier-Guided Code Translation via Meta-Step Decoding Wang, Antonia Creswell, G
Reference 23
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-20T14:18:21.628647Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 0a5578d6-50a6-4062-b073-feb9960a4e87 · outbound
This paper cites Training Verifiers to Solve Math Word Problems, October 2021.
Verifier-Guided Code Translation via Meta-Step Decoding Training Verifiers to Solve Math Word Problems, October 2021
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-20T14:18:21.619188Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation a5bdadd6-12d5-4feb-9aa5-4a27492a1f2a · outbound
This paper cites Math-Shepherd: Verify and Reinforce LLMs Step-by-step without Human Annotations.
Verifier-Guided Code Translation via Meta-Step Decoding Math-Shepherd: Verify and Reinforce LLMs Step-by-step without Human Annotations
Reference 25
- Resolution
- verified exact
- doi, observed 2026-05-20T14:18:21.239442Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation b317c681-0a8e-44f3-bc15-f2433122ca31 · outbound
This paper cites Improve Mathematical Reasoning in Language Models by Automated Process Supervision, June 2024.
Verifier-Guided Code Translation via Meta-Step Decoding Improve Mathematical Reasoning in Language Models by Automated Process Supervision, June 2024
Reference 26
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-20T14:18:21.613369Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 8944c214-44b6-48bd-98a7-5ec6c1fe6043 · outbound
This paper cites Probabilistic Programs of Thought, April 2026.
Verifier-Guided Code Translation via Meta-Step Decoding Probabilistic Programs of Thought, April 2026
Reference 27
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-20T14:18:21.615446Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 84680833-3cb0-482f-8b42-4c11f878255d · outbound
This paper cites doi:10.18653/v1/2021.emnlp-main.779.
Verifier-Guided Code Translation via Meta-Step Decoding doi:10.18653/v1/2021.emnlp-main.779
Reference 28
- Resolution
- metadata mismatch
- doi, observed 2026-05-20T14:18:21.241976Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 376fd1f1-de51-41ee-81f6-f50674496fc1 · outbound
This paper cites Tiwari, Gustavo Soares, Christopher Meek, and Sumit Gulwani.
Verifier-Guided Code Translation via Meta-Step Decoding Tiwari, Gustavo Soares, Christopher Meek, and Sumit Gulwani
Reference 29
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-20T14:18:21.655322Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation decde9b5-59cb-44f2-b28f-3f99df2c8bd2 · outbound
This paper cites Willard and R´emi Louf.
Verifier-Guided Code Translation via Meta-Step Decoding Willard and R´emi Louf
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-20T14:18:21.636508Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation dc436e74-4914-465d-87e0-0fdfc0647cf5 · outbound
This paper cites doi:10.1145/3591300.
Verifier-Guided Code Translation via Meta-Step Decoding doi:10.1145/3591300
Reference 31
- Resolution
- metadata mismatch
- doi, observed 2026-05-20T14:18:21.246365Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 72021a97-8466-4e55-b502-d179836b60f2 · outbound
This paper cites Grammar-Constrained Decoding for Structured NLP Tasks without Finetuning.
Verifier-Guided Code Translation via Meta-Step Decoding Grammar-Constrained Decoding for Structured NLP Tasks without Finetuning
Reference 32
- Resolution
- verified exact
- doi, observed 2026-05-20T14:18:21.244152Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 151709ae-7003-4984-83cc-3c2c91a6d5a7 · outbound
This paper cites Monitor-Guided Decoding of Code LMs with Static Analysis of Repository Context.
Verifier-Guided Code Translation via Meta-Step Decoding Monitor-Guided Decoding of Code LMs with Static Analysis of Repository Context
Reference 33
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-20T14:18:21.617333Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation ef9317fd-74d4-482d-8897-48ffb289cfb7 · outbound
This paper cites Copiloting the copilots: Fusing large language models with completion engines for automated program repair.
Verifier-Guided Code Translation via Meta-Step Decoding Copiloting the copilots: Fusing large language models with completion engines for automated program repair
Reference 34
- Resolution
- verified exact
- arxiv_id, observed 2026-05-20T14:18:21.234795Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 2257ad29-8c2d-4b95-a4fa-176736c932c0 · outbound
This paper cites Type- Constrained Code Generation with Language Models.
Verifier-Guided Code Translation via Meta-Step Decoding Type- Constrained Code Generation with Language Models
Reference 35
- Resolution
- verified exact
- doi, observed 2026-05-20T14:18:21.225694Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation e29a60bd-e4d9-4c5c-95db-3aaa4970de0e · outbound
This paper cites CRANE: Reasoning with constrained LLM generation.
Verifier-Guided Code Translation via Meta-Step Decoding CRANE: Reasoning with constrained LLM generation
Reference 36
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-20T14:18:21.611475Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 1f47b095-8c0d-43aa-a8c4-0eadff58bab0 · outbound
This paper cites TreeCoder: Systematic Exploration and Optimisation of Decoding and Constraints for LLM Code Generation, November 2025.
Verifier-Guided Code Translation via Meta-Step Decoding TreeCoder: Systematic Exploration and Optimisation of Decoding and Constraints for LLM Code Generation, November 2025
Reference 37
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-20T14:18:21.609325Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 672e4af1-6d8e-4429-9c80-68d4d24ff9e3 · outbound
This paper cites Reinforced Agent: Inference-Time Feedback for Tool-Calling Agents, April 2026.
Verifier-Guided Code Translation via Meta-Step Decoding Reinforced Agent: Inference-Time Feedback for Tool-Calling Agents, April 2026
Reference 38
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-20T14:18:21.604695Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 087d7b10-4499-4c9c-ba4d-53324839fb80 · outbound
This paper cites SACTOR: LLM-Driven Correct and Idiomatic C to Rust Translation with Static Analysis and FFI-Based Verification, March 2025.
Verifier-Guided Code Translation via Meta-Step Decoding SACTOR: LLM-Driven Correct and Idiomatic C to Rust Translation with Static Analysis and FFI-Based Verification, March 2025
Reference 39
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-20T14:18:21.653523Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 6874b00d-9d19-4a7a-82dc-3dc21e8e0759 · outbound
This paper cites Understanding TypeScript.
Verifier-Guided Code Translation via Meta-Step Decoding Understanding TypeScript
Reference 40
- Resolution
- verified exact
- doi, observed 2026-05-20T14:18:21.217079Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 38fe57e1-4832-44d7-868b-80e85d043a00 · outbound
This paper cites 10"; L2 let total = count * 2; L3 let avg = total / 4; L4 println!(.
Verifier-Guided Code Translation via Meta-Step Decoding 10"; L2 let total = count * 2; L3 let avg = total / 4; L4 println!(
Reference 41
- Resolution
- verified exact
- arxiv_id, observed 2026-05-20T14:18:21.220874Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation c839aa26-328e-4413-9e1a-bd917fe81b03 · outbound
This paper cites unexpected EOF.
Verifier-Guided Code Translation via Meta-Step Decoding unexpected EOF
Reference 42
- Resolution
- malformed identifier
- raw_fallback, observed 2026-05-20T14:18:21.607045Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Pith citing papers
Observation f15f8a53-9eac-4afc-b011-fdda8f9d4f17 · inbound
Recursive Self-Improvement in AI: From Bounded Self-Refinement to Autonomous Research Loops cites this paper.
Recursive Self-Improvement in AI: From Bounded Self-Refinement to Autonomous Research Loops Verifier-Guided Code Translation via Meta-Step Decoding
Reference 39
- Resolution
- verified exact
- local_arxiv, observed 2026-07-09T03:45:55.327266Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.