Paper Citation Record · LEDGER

Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators

As of 24 August 2026, this Paper Citation Record lists 64 of 64 outbound references and 1 inbound Pith citation observation for arXiv:2607.00635.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2607.00635 v1

Coverage vector

measured 64 of 64 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-07-02T08:45:25.011736Z

measured 65 of 65 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-23T06:30:58.430688+00:00

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-07-12T00:34:05.404187Z

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

64 of 64 outbound references displayed

verified exact8
verified fuzzy55
unresolved0
parse uncertain0
malformed identifier0
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 1bf4c72e-240a-49c5-a3f0-4193990b3e13 · outbound

This paper cites ScratchLens: Lens-Parametric Behavioral Equivalence for Scratch Programs.

Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators ScratchLens: Lens-Parametric Behavioral Equivalence for Scratch Programs

Reference 1

Resolution: verified exact; local_arxiv, observed 2026-07-02T08:46:48.478954Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation e34c1775-e0e7-4ca0-9fe6-b4cdb4f7b662 · outbound

This paper cites Trace theory,.

Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators Trace theory,

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T04:31:56.371189Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 5889f65c-2313-4f62-aaf3-15fdce47c605 · outbound

This paper cites Dynamic partial-order reduction for model checking software,.

Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators Dynamic partial-order reduction for model checking software,

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T04:31:56.416400Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 0f56654c-6145-4ea5-bbe6-c306b040bda5 · outbound

This paper cites The hungarian method for the assignment problem.

Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators The hungarian method for the assignment problem

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T04:31:56.363678Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation d89c1af6-7713-4641-b4e6-f9284ca0d51d · outbound

This paper cites Simple online and realtime tracking,.

Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators Simple online and realtime tracking,

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T04:31:56.380201Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation b50bbeb7-dff6-406f-aabf-753627051b6b · outbound

This paper cites Active learning literature survey,.

Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators Active learning literature survey,

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T04:31:56.414560Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation b0ae303d-0737-4026-9aca-8acefde615aa · outbound

This paper cites Learning regular sets from queries and counterexamples,.

Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators Learning regular sets from queries and counterexamples,

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T04:31:56.428696Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 31dc60c0-1748-4ed1-8d81-37120eca74d5 · outbound

This paper cites Probable inference, the law of succession, and statistical inference.

Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators Probable inference, the law of succession, and statistical inference

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T04:31:56.377060Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 70d18397-e66c-4506-9885-f6f3da87316c · outbound

This paper cites Automating string processing in spreadsheets using input- output examples,.

Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators Automating string processing in spreadsheets using input- output examples,

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T04:31:56.419871Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 80e39278-dcd6-481f-a6c2-15a4f4ac53b7 · outbound

This paper cites Program synthesis by sketching,.

Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators Program synthesis by sketching,

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T04:31:56.359298Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 243f7f6a-2d84-463c-9bd0-31d370cfe3fb · outbound

This paper cites Program synthesis,.

Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators Program synthesis,

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T04:31:56.449789Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 1d94d220-7ca6-4355-8aba-8dc8b8be2b2a · outbound

This paper cites Syntax-guided synthesis,.

Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators Syntax-guided synthesis,

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T04:31:56.397663Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 59fe68a8-c5fa-4d1e-902f-5f66d6ca5572 · outbound

This paper cites Synthesizing data structure transformations from input-output examples,.

Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators Synthesizing data structure transformations from input-output examples,

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T04:31:56.411726Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation a13ecac1-29b2-45ed-a18d-839a1a564c9c · outbound

This paper cites FlashMeta: A framework for inductive program synthesis,.

Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators FlashMeta: A framework for inductive program synthesis,

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T04:31:56.444547Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 113435f3-1b15-437b-a06c-c35993f5a222 · outbound

This paper cites DeepCoder: Learning to write programs,.

Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators DeepCoder: Learning to write programs,

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T04:31:56.416221Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation d5ef8c57-cd63-4bb7-8db3-1552347435b0 · outbound

This paper cites RobustFill: Neural program learning under noisy i/o,.

Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators RobustFill: Neural program learning under noisy i/o,

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T04:31:56.378383Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation fed6922c-c347-4a06-ad74-2b9dde1edf38 · outbound

This paper cites DreamCoder: Bootstrapping inductive program synthesis with wake-sleep library learning,.

Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators DreamCoder: Bootstrapping inductive program synthesis with wake-sleep library learning,

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T04:31:56.412635Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation fb8ffe0f-5d6d-427a-8cb9-dfabe35deab9 · outbound

This paper cites Cypher, Ed.,Watch What I Do: Programming by Demonstration.

Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators Cypher, Ed.,Watch What I Do: Programming by Demonstration

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T04:31:56.409650Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation c9b2b1a3-2702-45c6-a9ac-65b2948b6550 · outbound

This paper cites Lieberman, Ed.,Your Wish is My Command: Programming by Example.

Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators Lieberman, Ed.,Your Wish is My Command: Programming by Example

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T04:31:56.442801Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation bd93d5fb-409e-4c4e-9cd3-ebdd825a0584 · outbound

This paper cites Program- ming by demonstration using version space algebra,.

Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators Program- ming by demonstration using version space algebra,

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T04:31:56.399478Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 74f7e1d3-3b45-402e-ac0e-f9c3544adcbe · outbound

This paper cites Neural program synthesis from diverse demonstration videos,.

Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators Neural program synthesis from diverse demonstration videos,

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T04:31:56.428070Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation ecdfd321-e325-416b-b6f7-f42be700b90e · outbound

This paper cites Leveraging grammar and reinforcement learning for neural program synthesis,.

Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators Leveraging grammar and reinforcement learning for neural program synthesis,

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T04:31:56.352428Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation ae43c8bc-84eb-46bf-b7a2-54a352cee056 · outbound

This paper cites Execution-guided neural program synthesis,.

Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators Execution-guided neural program synthesis,

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T04:31:56.437203Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation bb5215a0-c2fd-4b03-8791-6f864fdfa0cd · outbound

This paper cites Deep convolutional inverse graphics network,.

Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators Deep convolutional inverse graphics network,

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T04:31:56.421435Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 37aff454-71f3-4d00-b3b8-a1dd05fe50a2 · outbound

This paper cites Approximate bayesian image interpretation using generative probabilistic graphics programs,.

Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators Approximate bayesian image interpretation using generative probabilistic graphics programs,

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T04:31:56.404860Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation a03cc3ba-a12f-4c0c-acbe-c2b019197031 · outbound

This paper cites Neural scene de-rendering,.

Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators Neural scene de-rendering,

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T04:31:56.432352Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 3911992a-074b-4599-83c8-df1bb3bd2c1d · outbound

This paper cites Neural- symbolic VQA: Disentangling reasoning from vision and language understanding,.

Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators Neural- symbolic VQA: Disentangling reasoning from vision and language understanding,

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T04:31:56.438964Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 7f65e904-02d9-49e2-a6a1-959a21b319af · outbound

This paper cites Learning to infer graphics programs from hand-drawn images,.

Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators Learning to infer graphics programs from hand-drawn images,

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T04:31:56.430639Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation f556d6f5-5b67-46bd-a815-8d8f44d00251 · outbound

This paper cites Learning to infer and execute 3d shape programs,.

Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators Learning to infer and execute 3d shape programs,

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T04:31:56.424946Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 6b38a2f1-b69e-4123-8ceb-0f7adc8228ff · outbound

This paper cites Native x86 decompilation using semantics-preserving structural analysis and iterative control-flow structuring,.

Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators Native x86 decompilation using semantics-preserving structural analysis and iterative control-flow structuring,

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T04:31:56.433943Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 75bc1bd0-c212-42a0-b1db-74b83415ba90 · outbound

This paper cites LLM4Decompile: Decompiling Binary Code with Large Language Models.

Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators LLM4Decompile: Decompiling Binary Code with Large Language Models

Reference 31

Resolution: verified exact; arxiv_id, observed 2026-07-02T08:46:48.487712Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 789b01ac-0758-40de-a7fe-776ecaebccd0 · outbound

This paper cites Coda: An end-to-end neural program decompiler,.

Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators Coda: An end-to-end neural program decompiler,

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T04:31:56.441849Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation c4297db6-1620-4878-b61d-58157d7be009 · outbound

This paper cites DIRE: A neural approach to decompiled identifier naming,.

Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators DIRE: A neural approach to decompiled identifier naming,

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T04:31:56.413612Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 4d2e7e6b-0bfb-442c-803e-a0b42bebf54f · outbound

This paper cites Extracting code from programming tutorial videos,.

Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators Extracting code from programming tutorial videos,

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T04:31:56.394075Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 81891a8e-1ee8-48af-b005-a9096ef33e7e · outbound

This paper cites Too long; didn’t watch! extracting relevant fragments from software development video tutorials,.

Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators Too long; didn’t watch! extracting relevant fragments from software development video tutorials,

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T04:31:56.418055Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 46afe43a-cd37-4a0e-be6f-fe9582355111 · outbound

This paper cites psc2code: Denoising code extraction from programming screencasts,.

Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators psc2code: Denoising code extraction from programming screencasts,

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T04:31:56.440679Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 6ab7bba6-bdb2-4ea2-a060-722ee411c835 · outbound

This paper cites Dr. scratch: A web tool to automatically evaluate scratch projects,.

Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators Dr. scratch: A web tool to automatically evaluate scratch projects,

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T04:31:56.439841Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation e1b13010-341e-4a17-9e40-239a28459634 · outbound

This paper cites Testing scratch programs automatically,.

Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators Testing scratch programs automatically,

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T04:31:56.383950Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 531bd994-ae65-4640-8498-242979bbdcc2 · outbound

This paper cites LitterBox: A linter for scratch programs,.

Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators LitterBox: A linter for scratch programs,

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T04:31:56.448186Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation c30dd136-78cc-4e4e-8c88-65e4096a89aa · outbound

This paper cites Hairball: Lint-inspired static analysis of scratch projects,.

Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators Hairball: Lint-inspired static analysis of scratch projects,

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T04:31:56.432579Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 61f8ce90-52b1-4f51-b671-9aba7c3b9ad1 · outbound

This paper cites How kids code and how we know: An exploratory study on the scratch repository,.

Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators How kids code and how we know: An exploratory study on the scratch repository,

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T04:31:56.423019Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 446c9c41-ae18-4626-98ed-26f265202667 · outbound

This paper cites Scratch: Programming for all,.

Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators Scratch: Programming for all,

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T04:31:56.393254Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation e1ddc326-d0f4-427f-8356-304130b4a451 · outbound

This paper cites The scratch programming language and environment,.

Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators The scratch programming language and environment,

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T04:31:56.361677Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 5fa2f585-1762-47fe-bac5-8b3e59553572 · outbound

This paper cites ViScratch: Using Large Language Models and Gameplay Videos for Automated Feedback in Scratch.

Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators ViScratch: Using Large Language Models and Gameplay Videos for Automated Feedback in Scratch

Reference 44

Resolution: metadata mismatch; arxiv_id, observed 2026-07-02T08:46:48.476340Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 082cb5f3-0143-479b-bef4-4b245343c6f2 · outbound

This paper cites Stitch: Step-by-step LLM guided tutoring for Scratch,.

Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators Stitch: Step-by-step LLM guided tutoring for Scratch,

Reference 45

Resolution: verified exact; arxiv_id, observed 2026-07-02T08:46:48.484650Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 8c242e16-46ee-4afa-b618-3cb3c1baeabd · outbound

This paper cites ScratchEval: A multi- modal evaluation framework for LLMs in block-based programming,.

Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators ScratchEval: A multi- modal evaluation framework for LLMs in block-based programming,

Reference 46

Resolution: verified exact; arxiv_id, observed 2026-07-02T08:46:48.476074Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 7419f526-3ea0-4a6b-9bb7-531ed3fce061 · outbound

This paper cites EcoScratch: Cost- effective multimodal repair for Scratch using execution feedback,.

Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators EcoScratch: Cost- effective multimodal repair for Scratch using execution feedback,

Reference 47

Resolution: verified exact; arxiv_id, observed 2026-07-02T08:46:48.473501Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 934208f6-c9c4-4cca-97c4-e1b71e8b6e9c · outbound

This paper cites Raven: Rethinking Automated Assessment for Scratch Programs via Video-Grounded Evaluation.

Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators Raven: Rethinking Automated Assessment for Scratch Programs via Video-Grounded Evaluation

Reference 48

Resolution: verified exact; local_arxiv, observed 2026-07-02T08:46:48.471039Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 438b088b-0fba-4206-856d-e1f4d7ffa692 · outbound

This paper cites ScratchWorld: Evaluating If World Models Compute Executable Consequences.

Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators ScratchWorld: Evaluating If World Models Compute Executable Consequences

Reference 49

Resolution: verified exact; local_arxiv, observed 2026-07-02T08:46:48.481562Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation a2c568d4-6080-44d2-8c5f-6d5696e0fc84 · outbound

This paper cites Automated feedback generation for competition-level code,.

Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators Automated feedback generation for competition-level code,

Reference 50

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T04:31:56.399312Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 68801e49-dbb3-4a79-882d-443f5dcf8cb7 · outbound

This paper cites PyDex: Repairing bugs in introductory python assignments using LLMs,.

Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators PyDex: Repairing bugs in introductory python assignments using LLMs,

Reference 51

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T04:31:56.425728Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation b0397622-ab5b-46e0-924b-483ab94a0a9c · outbound

This paper cites A systematic study of time limit exceeded errors in online programming assignments,.

Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators A systematic study of time limit exceeded errors in online programming assignments,

Reference 52

Resolution: verified exact; arxiv_id, observed 2026-07-02T08:46:48.465689Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 7f38e3bd-fd00-4774-89ec-5e1575979152 · outbound

This paper cites Using pre-trained language models to resolve textual and semantic merge conflicts,.

Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators Using pre-trained language models to resolve textual and semantic merge conflicts,

Reference 53

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T04:31:56.391544Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 68cb4bea-9fcd-47f2-baa9-4b7009c8552f · outbound

This paper cites Learning CI configuration correctness for early build feedback,.

Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators Learning CI configuration correctness for early build feedback,

Reference 54

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T04:31:56.395895Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation c3b0b69c-d81b-4309-a43c-f1cf304d7f15 · outbound

This paper cites Static detection of silent misconfigurations with deep interaction analysis.

Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators Static detection of silent misconfigurations with deep interaction analysis

Reference 55

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T04:31:56.446250Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation ae3a85fa-34ef-4b03-8cc3-aa01d86bfa17 · outbound

This paper cites Translation validation,.

Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators Translation validation,

Reference 56

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T04:31:56.435563Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation ca0fb836-c570-4480-9df3-d23cca75a0d6 · outbound

This paper cites Translation validation for an optimizing compiler,.

Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators Translation validation for an optimizing compiler,

Reference 57

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T04:31:56.389655Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation dd60fd47-c6df-4775-806d-bbc8f7d77f8c · outbound

This paper cites Alive2: Bounded translation validation for LLVM,.

Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators Alive2: Bounded translation validation for LLVM,

Reference 58

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T04:31:56.390137Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 95d4635c-bd1d-4ac8-b455-0cd7f15646b2 · outbound

This paper cites Data-driven equivalence checking,.

Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators Data-driven equivalence checking,

Reference 59

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T04:31:56.426929Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 0bfdabba-7c30-4ebd-a4ba-ac9ada95c2cb · outbound

This paper cites Semantic program alignment for equivalence checking,.

Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators Semantic program alignment for equivalence checking,

Reference 60

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T04:31:56.443987Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 339e4bf0-6512-4a94-93f0-19cf46e687f9 · outbound

This paper cites Proof-carrying code,.

Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators Proof-carrying code,

Reference 61

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T04:31:56.408604Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 07247eea-d1d9-4a61-8c22-cbbd521d77cf · outbound

This paper cites Formal verification of a realistic compiler,.

Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators Formal verification of a realistic compiler,

Reference 62

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T04:31:56.437909Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 5bdc9fe1-faa3-4a34-b2fb-a442e40256f2 · outbound

This paper cites Automatic patch generation by learning correct code,.

Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators Automatic patch generation by learning correct code,

Reference 63

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T04:31:56.395346Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation ec5eba65-076d-4743-86ab-51eac37d58b7 · outbound

This paper cites Angelix: Scalable multiline program patch synthesis via symbolic analysis,.

Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators Angelix: Scalable multiline program patch synthesis via symbolic analysis,

Reference 64

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T04:31:56.430462Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Pith citing papers

Observation d0a657e5-f78e-4235-97a8-ceb3c7c0e06c · inbound

Content Hidden Behind Execution: Analyzing Public Scratch Projects at Runtime cites this paper.

Content Hidden Behind Execution: Analyzing Public Scratch Projects at Runtime Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators

Reference 39

Resolution: unresolved; no resolver link, observed 2026-07-12T00:34:05.404187Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.