{"as_of":"2026-08-24T03:40:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:4a5bb49bdf5801902144924dc1ed2df36533252caf79d97843b6a7e35b86e6db","coverage":[{"denominator":64,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":64,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-02T08:45:25.011736Z","state":"measured"},{"denominator":65,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":65,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-23T06:30:58.430688+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-12T00:34:05.404187Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2607.00635","last_updated":"2026-07-01T08:48:33Z","snapshot_observed_at":"2026-08-14T22:52:36.897259Z","submitted_at":"2026-07-01T08:48:33Z","title":"Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2607.00635","snapshot_observed_at":"2026-07-12T00:34:05.404187Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.03700","last_updated":"2026-07-04T04:26:23Z","snapshot_observed_at":"2026-08-14T10:59:02.113719Z","submitted_at":"2026-07-04T04:26:23Z","title":"Content Hidden Behind Execution: Analyzing Public Scratch Projects at Runtime","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-07-12T00:34:05.404187Z"},"links":{"cited_paper":"/paper/2607.00635","citing_paper":"/paper/2607.03700"},"observation_digest":"sha256:4e82de9cb126ae0df45ddc08747f5248719832bad61b4c0e038fdb2ca59363a5","observation_id":"d0a657e5-f78e-4235-97a8-ceb3c7c0e06c","resolution":{"observed_at":"2026-07-12T00:34:05.404187Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2607.00635/citation-record","integrity":"/paper/2607.00635/integrity","json":"/paper/2607.00635/citation-record.json","paper":"/paper/2607.00635"},"outbound":[{"citation":{"cited_paper":{"arxiv_id":"2606.15817","last_updated":"2026-06-16T02:56:17Z","snapshot_observed_at":"2026-08-12T07:11:11.940932Z","submitted_at":"2026-06-14T13:38:35Z","title":"ScratchLens: Lens-Parametric Behavioral Equivalence for Scratch Programs","version":2},"cited_work":{"arxiv_id":"2606.15817","doi":null,"metadata_source":"pith","pith_arxiv_id":"2606.15817","snapshot_observed_at":"2026-07-03T21:48:59.054979Z","title":"ScratchLens: Lens-Parametric Behavioral Equivalence for Scratch Programs","venue":"cs.PL","work_id":"e3f5be12-1643-4b0c-9356-fd949f5cfffe","year":2026},"citing_paper":{"arxiv_id":"2607.00635","last_updated":"2026-07-01T08:48:33Z","snapshot_observed_at":"2026-08-14T22:52:36.897259Z","submitted_at":"2026-07-01T08:48:33Z","title":"Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-07-02T08:45:25.011736Z"},"links":{"cited_paper":"/paper/2606.15817","citing_paper":"/paper/2607.00635"},"observation_digest":"sha256:1f54564e7550874f3c989174e2b2e2720cca72a4b2db7a4783fd85ea71ac7958","observation_id":"1bf4c72e-240a-49c5-a3f0-4193990b3e13","resolution":{"observed_at":"2026-07-02T08:46:48.478954Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-07-06T04:31:56.370027Z","title":"Trace theory,","venue":null,"work_id":"cfbab5b0-832b-47c5-922b-0160e81e56a1","year":1987},"citing_paper":{"arxiv_id":"2607.00635","last_updated":"2026-07-01T08:48:33Z","snapshot_observed_at":"2026-08-14T22:52:36.897259Z","submitted_at":"2026-07-01T08:48:33Z","title":"Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-07-02T08:45:25.011736Z"},"links":{"citing_paper":"/paper/2607.00635"},"observation_digest":"sha256:c90728b61b2904a756c8b1fa1140f2704b3421769a18061c6ab257a8b7da989b","observation_id":"e34c1775-e0e7-4ca0-9fe6-b4cdb4f7b662","resolution":{"observed_at":"2026-07-06T04:31:56.371189Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-07-06T04:31:56.415106Z","title":"Dynamic partial-order reduction for model checking software,","venue":null,"work_id":"54a034c5-12a9-44d7-a6a5-1a8544b34ecf","year":2005},"citing_paper":{"arxiv_id":"2607.00635","last_updated":"2026-07-01T08:48:33Z","snapshot_observed_at":"2026-08-14T22:52:36.897259Z","submitted_at":"2026-07-01T08:48:33Z","title":"Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-07-02T08:45:25.011736Z"},"links":{"citing_paper":"/paper/2607.00635"},"observation_digest":"sha256:cf7ec89fc7cb59170a1ab761af6b12dceb655880fa1fccf0ab304df56d09b977","observation_id":"5889f65c-2313-4f62-aaf3-15fdce47c605","resolution":{"observed_at":"2026-07-06T04:31:56.416400Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-07-06T04:31:56.362478Z","title":"The hungarian method for the assignment problem","venue":null,"work_id":"26e96037-8fe5-4972-9e25-d9a73aa3379f","year":1955},"citing_paper":{"arxiv_id":"2607.00635","last_updated":"2026-07-01T08:48:33Z","snapshot_observed_at":"2026-08-14T22:52:36.897259Z","submitted_at":"2026-07-01T08:48:33Z","title":"Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-07-02T08:45:25.011736Z"},"links":{"citing_paper":"/paper/2607.00635"},"observation_digest":"sha256:47182aa308eb02c2eae6550d998f8aa510b0620ca68896ffab34e1b8ff5e9962","observation_id":"0f56654c-6145-4ea5-bbe6-c306b040bda5","resolution":{"observed_at":"2026-07-06T04:31:56.363678Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-07-06T04:31:56.379028Z","title":"Simple online and realtime tracking,","venue":null,"work_id":"b1762226-4b65-4177-b002-931a046fc01a","year":2016},"citing_paper":{"arxiv_id":"2607.00635","last_updated":"2026-07-01T08:48:33Z","snapshot_observed_at":"2026-08-14T22:52:36.897259Z","submitted_at":"2026-07-01T08:48:33Z","title":"Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-07-02T08:45:25.011736Z"},"links":{"citing_paper":"/paper/2607.00635"},"observation_digest":"sha256:f527faac498294843921223e8228274b8f4cce8ac1cb55493f96572675079633","observation_id":"d89c1af6-7713-4641-b4e6-f9284ca0d51d","resolution":{"observed_at":"2026-07-06T04:31:56.380201Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-07-06T04:31:56.413371Z","title":"Active learning literature survey,","venue":null,"work_id":"771cc807-3959-421c-bf53-1a6027ed337c","year":2009},"citing_paper":{"arxiv_id":"2607.00635","last_updated":"2026-07-01T08:48:33Z","snapshot_observed_at":"2026-08-14T22:52:36.897259Z","submitted_at":"2026-07-01T08:48:33Z","title":"Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-07-02T08:45:25.011736Z"},"links":{"citing_paper":"/paper/2607.00635"},"observation_digest":"sha256:bd36037b10a0f54c161ac016359e8f433a75c2b4a9cc76c32576054d03c8e6b4","observation_id":"b50bbeb7-dff6-406f-aabf-753627051b6b","resolution":{"observed_at":"2026-07-06T04:31:56.414560Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-07-10T00:06:38.430274Z","title":"Learning regular sets from queries and counterexamples,","venue":null,"work_id":"f7272fe8-f42d-4fec-b465-11c9ab04ade2","year":1987},"citing_paper":{"arxiv_id":"2607.00635","last_updated":"2026-07-01T08:48:33Z","snapshot_observed_at":"2026-08-14T22:52:36.897259Z","submitted_at":"2026-07-01T08:48:33Z","title":"Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-07-02T08:45:25.011736Z"},"links":{"citing_paper":"/paper/2607.00635"},"observation_digest":"sha256:3aed7b877638df717cecfb7c51f1c84684ca83328e9caf30f295b40da00b36bc","observation_id":"b0ae303d-0737-4026-9aca-8acefde615aa","resolution":{"observed_at":"2026-07-06T04:31:56.428696Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-07-10T03:06:43.792790Z","title":"Probable inference, the law of succession, and statistical inference","venue":null,"work_id":"ca726791-54a7-4c49-9fee-5f5287985570","year":1927},"citing_paper":{"arxiv_id":"2607.00635","last_updated":"2026-07-01T08:48:33Z","snapshot_observed_at":"2026-08-14T22:52:36.897259Z","submitted_at":"2026-07-01T08:48:33Z","title":"Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-07-02T08:45:25.011736Z"},"links":{"citing_paper":"/paper/2607.00635"},"observation_digest":"sha256:e5da8e2a3c0c1bc645f9540ae1c44d54cf7a881cece979c95c7a31b6ec526b90","observation_id":"31dc60c0-1748-4ed1-8d81-37120eca74d5","resolution":{"observed_at":"2026-07-06T04:31:56.377060Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-07-06T04:31:56.418698Z","title":"Automating string processing in spreadsheets using input- output examples,","venue":null,"work_id":"cad85224-60fd-4206-a82b-d6441d7e660f","year":2011},"citing_paper":{"arxiv_id":"2607.00635","last_updated":"2026-07-01T08:48:33Z","snapshot_observed_at":"2026-08-14T22:52:36.897259Z","submitted_at":"2026-07-01T08:48:33Z","title":"Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-07-02T08:45:25.011736Z"},"links":{"citing_paper":"/paper/2607.00635"},"observation_digest":"sha256:7991f97d9019316ada929d0c8e6ff2fe803d1e46d5637a9143ef26de7b7d43ca","observation_id":"70d18397-e66c-4506-9885-f6f3da87316c","resolution":{"observed_at":"2026-07-06T04:31:56.419871Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-07-06T04:31:56.358071Z","title":"Program synthesis by sketching,","venue":null,"work_id":"195913e6-9c46-46af-843b-566f627520e5","year":2008},"citing_paper":{"arxiv_id":"2607.00635","last_updated":"2026-07-01T08:48:33Z","snapshot_observed_at":"2026-08-14T22:52:36.897259Z","submitted_at":"2026-07-01T08:48:33Z","title":"Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-07-02T08:45:25.011736Z"},"links":{"citing_paper":"/paper/2607.00635"},"observation_digest":"sha256:38090b5b1010d8a2a2b8e219c1fb5b78368ab7fc297588e5752cbe90ac1f3997","observation_id":"80e39278-dcd6-481f-a6c2-15a4f4ac53b7","resolution":{"observed_at":"2026-07-06T04:31:56.359298Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-07-06T04:31:56.448728Z","title":"Program synthesis,","venue":null,"work_id":"804bb064-d4b2-44ea-b552-a929334652a4","year":2017},"citing_paper":{"arxiv_id":"2607.00635","last_updated":"2026-07-01T08:48:33Z","snapshot_observed_at":"2026-08-14T22:52:36.897259Z","submitted_at":"2026-07-01T08:48:33Z","title":"Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-07-02T08:45:25.011736Z"},"links":{"citing_paper":"/paper/2607.00635"},"observation_digest":"sha256:69af65c9889f450990185b35beff018ffabb5dddccd2316cb89d4c81b164e908","observation_id":"243f7f6a-2d84-463c-9bd0-31d370cfe3fb","resolution":{"observed_at":"2026-07-06T04:31:56.449789Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-07-06T04:31:56.396480Z","title":"Syntax-guided synthesis,","venue":null,"work_id":"2a2748e3-d0b4-467a-9952-17b1d3b6d693","year":2013},"citing_paper":{"arxiv_id":"2607.00635","last_updated":"2026-07-01T08:48:33Z","snapshot_observed_at":"2026-08-14T22:52:36.897259Z","submitted_at":"2026-07-01T08:48:33Z","title":"Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-07-02T08:45:25.011736Z"},"links":{"citing_paper":"/paper/2607.00635"},"observation_digest":"sha256:1da52054f6548e3d37b4b4c978ae6c9b8e4a93f567db10dfb8c2e8274d10a58e","observation_id":"1d94d220-7ca6-4355-8aba-8dc8b8be2b2a","resolution":{"observed_at":"2026-07-06T04:31:56.397663Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-07-06T04:31:56.410400Z","title":"Synthesizing data structure transformations from input-output examples,","venue":null,"work_id":"dce1fe91-18cd-4221-9b1e-893d0954413b","year":2015},"citing_paper":{"arxiv_id":"2607.00635","last_updated":"2026-07-01T08:48:33Z","snapshot_observed_at":"2026-08-14T22:52:36.897259Z","submitted_at":"2026-07-01T08:48:33Z","title":"Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-07-02T08:45:25.011736Z"},"links":{"citing_paper":"/paper/2607.00635"},"observation_digest":"sha256:f6d72e635d0e3aad449d811033004178aea7023f7eec1527b4a6430c92505da4","observation_id":"59fe68a8-c5fa-4d1e-902f-5f66d6ca5572","resolution":{"observed_at":"2026-07-06T04:31:56.411726Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-07-06T04:31:56.443322Z","title":"FlashMeta: A framework for inductive program synthesis,","venue":null,"work_id":"a00fc50b-5b3d-421e-b647-fc9a4e1c3738","year":2015},"citing_paper":{"arxiv_id":"2607.00635","last_updated":"2026-07-01T08:48:33Z","snapshot_observed_at":"2026-08-14T22:52:36.897259Z","submitted_at":"2026-07-01T08:48:33Z","title":"Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-07-02T08:45:25.011736Z"},"links":{"citing_paper":"/paper/2607.00635"},"observation_digest":"sha256:532ae766a42b29f591766e78cb37cce5149185638f6d0cac642fff3423b221c6","observation_id":"a13ecac1-29b2-45ed-a18d-839a1a564c9c","resolution":{"observed_at":"2026-07-06T04:31:56.444547Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-07-06T04:31:56.415118Z","title":"DeepCoder: Learning to write programs,","venue":null,"work_id":"b665117d-2c4b-47aa-a149-5bf41fa43db6","year":2017},"citing_paper":{"arxiv_id":"2607.00635","last_updated":"2026-07-01T08:48:33Z","snapshot_observed_at":"2026-08-14T22:52:36.897259Z","submitted_at":"2026-07-01T08:48:33Z","title":"Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-07-02T08:45:25.011736Z"},"links":{"citing_paper":"/paper/2607.00635"},"observation_digest":"sha256:2712371fcc81943317726aa9f258f4b6b20eecc334952d23fb099000843685c1","observation_id":"113435f3-1b15-437b-a06c-c35993f5a222","resolution":{"observed_at":"2026-07-06T04:31:56.416221Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-07-06T04:31:56.377250Z","title":"RobustFill: Neural program learning under noisy i/o,","venue":null,"work_id":"dbadb9cc-187b-40d2-919b-222c86c9f94b","year":2017},"citing_paper":{"arxiv_id":"2607.00635","last_updated":"2026-07-01T08:48:33Z","snapshot_observed_at":"2026-08-14T22:52:36.897259Z","submitted_at":"2026-07-01T08:48:33Z","title":"Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-07-02T08:45:25.011736Z"},"links":{"citing_paper":"/paper/2607.00635"},"observation_digest":"sha256:fbac4386e6767b910216ba95aca6ef6bd3b89daec03a572e146dee12c9382b61","observation_id":"d5ef8c57-cd63-4bb7-8db3-1552347435b0","resolution":{"observed_at":"2026-07-06T04:31:56.378383Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-07-06T04:31:56.411238Z","title":"DreamCoder: Bootstrapping inductive program synthesis with wake-sleep library learning,","venue":null,"work_id":"17b3b427-b0b7-420d-99d7-a1bcd5400542","year":2021},"citing_paper":{"arxiv_id":"2607.00635","last_updated":"2026-07-01T08:48:33Z","snapshot_observed_at":"2026-08-14T22:52:36.897259Z","submitted_at":"2026-07-01T08:48:33Z","title":"Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-07-02T08:45:25.011736Z"},"links":{"citing_paper":"/paper/2607.00635"},"observation_digest":"sha256:af84c2d817d910d64b1a58bedfce0259ee166e65a5b9ec485ef60d576e2e1af5","observation_id":"fed6922c-c347-4a06-ad74-2b9dde1edf38","resolution":{"observed_at":"2026-07-06T04:31:56.412635Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-07-06T04:31:56.408453Z","title":"Cypher, Ed.,Watch What I Do: Programming by Demonstration","venue":null,"work_id":"93c47f93-1bcc-4d3e-a6db-50063af404fe","year":1993},"citing_paper":{"arxiv_id":"2607.00635","last_updated":"2026-07-01T08:48:33Z","snapshot_observed_at":"2026-08-14T22:52:36.897259Z","submitted_at":"2026-07-01T08:48:33Z","title":"Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-07-02T08:45:25.011736Z"},"links":{"citing_paper":"/paper/2607.00635"},"observation_digest":"sha256:c2d51fb492e306e31f415e99c4ecf675b78f1b954bd23e07dcb52740b0d48640","observation_id":"fb8ffe0f-5d6d-427a-8cb9-dfabe35deab9","resolution":{"observed_at":"2026-07-06T04:31:56.409650Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-07-06T04:31:56.441326Z","title":"Lieberman, Ed.,Your Wish is My Command: Programming by Example","venue":null,"work_id":"d108649c-fc5e-42d4-8a85-f2c01829d02b","year":2001},"citing_paper":{"arxiv_id":"2607.00635","last_updated":"2026-07-01T08:48:33Z","snapshot_observed_at":"2026-08-14T22:52:36.897259Z","submitted_at":"2026-07-01T08:48:33Z","title":"Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-07-02T08:45:25.011736Z"},"links":{"citing_paper":"/paper/2607.00635"},"observation_digest":"sha256:9cbb85123e2520fdc948d00694935d5d640695f8748cd6229f183288ab26bbbc","observation_id":"c9b2b1a3-2702-45c6-a9ac-65b2948b6550","resolution":{"observed_at":"2026-07-06T04:31:56.442801Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-07-06T04:31:56.398221Z","title":"Program- ming by demonstration using version space algebra,","venue":null,"work_id":"c0f2052b-9db2-4a99-97dc-d8775830808c","year":2003},"citing_paper":{"arxiv_id":"2607.00635","last_updated":"2026-07-01T08:48:33Z","snapshot_observed_at":"2026-08-14T22:52:36.897259Z","submitted_at":"2026-07-01T08:48:33Z","title":"Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-07-02T08:45:25.011736Z"},"links":{"citing_paper":"/paper/2607.00635"},"observation_digest":"sha256:cd6e54568dab7c2f09e77ca7ad3cf63b9d311af0469dbd4364e6df13fd13e5cc","observation_id":"bd93d5fb-409e-4c4e-9cd3-ebdd825a0584","resolution":{"observed_at":"2026-07-06T04:31:56.399478Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-07-06T04:31:56.426559Z","title":"Neural program synthesis from diverse demonstration videos,","venue":null,"work_id":"d6f49939-2081-4bb9-bce5-b3dcb3e30cbf","year":2018},"citing_paper":{"arxiv_id":"2607.00635","last_updated":"2026-07-01T08:48:33Z","snapshot_observed_at":"2026-08-14T22:52:36.897259Z","submitted_at":"2026-07-01T08:48:33Z","title":"Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-07-02T08:45:25.011736Z"},"links":{"citing_paper":"/paper/2607.00635"},"observation_digest":"sha256:9b611454cd8e909d9749c36032cf98ddf57a3c237795b64a6158f6073410ee9a","observation_id":"74f7e1d3-3b45-402e-ac0e-f9c3544adcbe","resolution":{"observed_at":"2026-07-06T04:31:56.428070Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-07-06T04:31:56.350794Z","title":"Leveraging grammar and reinforcement learning for neural program synthesis,","venue":null,"work_id":"c61456ae-2b23-46cc-bc22-9bd735f0da68","year":2018},"citing_paper":{"arxiv_id":"2607.00635","last_updated":"2026-07-01T08:48:33Z","snapshot_observed_at":"2026-08-14T22:52:36.897259Z","submitted_at":"2026-07-01T08:48:33Z","title":"Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-07-02T08:45:25.011736Z"},"links":{"citing_paper":"/paper/2607.00635"},"observation_digest":"sha256:78e61610164c2066b885feda7e3a73eefa665f00a6ea8847a2a56dd7ac3db66e","observation_id":"ecdfd321-e325-416b-b6f7-f42be700b90e","resolution":{"observed_at":"2026-07-06T04:31:56.352428Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-07-06T04:31:56.436064Z","title":"Execution-guided neural program synthesis,","venue":null,"work_id":"42b12040-d463-40d7-be13-30c3cecb1656","year":2019},"citing_paper":{"arxiv_id":"2607.00635","last_updated":"2026-07-01T08:48:33Z","snapshot_observed_at":"2026-08-14T22:52:36.897259Z","submitted_at":"2026-07-01T08:48:33Z","title":"Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-07-02T08:45:25.011736Z"},"links":{"citing_paper":"/paper/2607.00635"},"observation_digest":"sha256:2bb7cfb9ea599f846aae43ce4f520df762b5886fa150af90260e53b0f072e76e","observation_id":"ae43c8bc-84eb-46bf-b7a2-54a352cee056","resolution":{"observed_at":"2026-07-06T04:31:56.437203Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-07-06T04:31:56.420369Z","title":"Deep convolutional inverse graphics network,","venue":null,"work_id":"665f0392-62c0-4ad8-8d69-818ab504add2","year":2015},"citing_paper":{"arxiv_id":"2607.00635","last_updated":"2026-07-01T08:48:33Z","snapshot_observed_at":"2026-08-14T22:52:36.897259Z","submitted_at":"2026-07-01T08:48:33Z","title":"Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-07-02T08:45:25.011736Z"},"links":{"citing_paper":"/paper/2607.00635"},"observation_digest":"sha256:d72703ab1cb25b259091b5425ab3fcc9b4bbad56f8dfe4c40fc4373d9a4bc1bc","observation_id":"bb5215a0-c2fd-4b03-8791-6f864fdfa0cd","resolution":{"observed_at":"2026-07-06T04:31:56.421435Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-07-06T04:31:56.403570Z","title":"Approximate bayesian image interpretation using generative probabilistic graphics programs,","venue":null,"work_id":"46522548-40ad-4f75-81a2-4c2290024510","year":2013},"citing_paper":{"arxiv_id":"2607.00635","last_updated":"2026-07-01T08:48:33Z","snapshot_observed_at":"2026-08-14T22:52:36.897259Z","submitted_at":"2026-07-01T08:48:33Z","title":"Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-07-02T08:45:25.011736Z"},"links":{"citing_paper":"/paper/2607.00635"},"observation_digest":"sha256:fa6c6d6b77fc45b455231f7d5066e8181e5708ea4396b8746c0dcb265e2675e8","observation_id":"37aff454-71f3-4d00-b3b8-a1dd05fe50a2","resolution":{"observed_at":"2026-07-06T04:31:56.404860Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-07-06T04:31:56.431233Z","title":"Neural scene de-rendering,","venue":null,"work_id":"1b2cb6f4-741f-4342-96d3-597fa52baa1f","year":2017},"citing_paper":{"arxiv_id":"2607.00635","last_updated":"2026-07-01T08:48:33Z","snapshot_observed_at":"2026-08-14T22:52:36.897259Z","submitted_at":"2026-07-01T08:48:33Z","title":"Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-07-02T08:45:25.011736Z"},"links":{"citing_paper":"/paper/2607.00635"},"observation_digest":"sha256:834091c8c35753fd9bc0594366ad512b9a94712b13e797384582e519ca8df2d3","observation_id":"a03cc3ba-a12f-4c0c-acbe-c2b019197031","resolution":{"observed_at":"2026-07-06T04:31:56.432352Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-07-06T04:31:56.437741Z","title":"Neural- symbolic VQA: Disentangling reasoning from vision and language understanding,","venue":null,"work_id":"344ac5bd-73b7-4085-aa71-4b20b080f856","year":2018},"citing_paper":{"arxiv_id":"2607.00635","last_updated":"2026-07-01T08:48:33Z","snapshot_observed_at":"2026-08-14T22:52:36.897259Z","submitted_at":"2026-07-01T08:48:33Z","title":"Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-07-02T08:45:25.011736Z"},"links":{"citing_paper":"/paper/2607.00635"},"observation_digest":"sha256:f124df9807e5b1a2bcdc35b10929b35ff843da22aab0bf3f05d5a9e86c79870c","observation_id":"3911992a-074b-4599-83c8-df1bb3bd2c1d","resolution":{"observed_at":"2026-07-06T04:31:56.438964Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-07-06T04:31:56.429236Z","title":"Learning to infer graphics programs from hand-drawn images,","venue":null,"work_id":"22c089e2-6a2b-4a91-a739-6d49746eecc3","year":2018},"citing_paper":{"arxiv_id":"2607.00635","last_updated":"2026-07-01T08:48:33Z","snapshot_observed_at":"2026-08-14T22:52:36.897259Z","submitted_at":"2026-07-01T08:48:33Z","title":"Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-07-02T08:45:25.011736Z"},"links":{"citing_paper":"/paper/2607.00635"},"observation_digest":"sha256:fce779ed068a5a3505ac0e53048a756ade872e8b897cad315d998f79ee1b0191","observation_id":"7f65e904-02d9-49e2-a6a1-959a21b319af","resolution":{"observed_at":"2026-07-06T04:31:56.430639Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-07-06T04:31:56.423747Z","title":"Learning to infer and execute 3d shape programs,","venue":null,"work_id":"18aaf2e3-13e4-47a2-9662-034e83a53de6","year":2019},"citing_paper":{"arxiv_id":"2607.00635","last_updated":"2026-07-01T08:48:33Z","snapshot_observed_at":"2026-08-14T22:52:36.897259Z","submitted_at":"2026-07-01T08:48:33Z","title":"Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-07-02T08:45:25.011736Z"},"links":{"citing_paper":"/paper/2607.00635"},"observation_digest":"sha256:c4835b70af1bc5f89d91da5b7c3058e0159312f577834100d87a088d7302bcfc","observation_id":"f556d6f5-5b67-46bd-a815-8d8f44d00251","resolution":{"observed_at":"2026-07-06T04:31:56.424946Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-07-06T04:31:56.432839Z","title":"Native x86 decompilation using semantics-preserving structural analysis and iterative control-flow structuring,","venue":null,"work_id":"3d993ae4-dd23-4ae8-8b27-2bc60c7bd1c0","year":2013},"citing_paper":{"arxiv_id":"2607.00635","last_updated":"2026-07-01T08:48:33Z","snapshot_observed_at":"2026-08-14T22:52:36.897259Z","submitted_at":"2026-07-01T08:48:33Z","title":"Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-07-02T08:45:25.011736Z"},"links":{"citing_paper":"/paper/2607.00635"},"observation_digest":"sha256:8f7db6cd9fb08ead19cc7c692df8459a7e00442090e0844bbb16dbd2ee96bcfd","observation_id":"6b38a2f1-b69e-4123-8ceb-0f7adc8228ff","resolution":{"observed_at":"2026-07-06T04:31:56.433943Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2403.05286","last_updated":"2024-10-22T03:58:20Z","snapshot_observed_at":"2026-08-16T14:11:37.942836Z","submitted_at":"2024-03-08T13:10:59Z","title":"LLM4Decompile: Decompiling Binary Code with Large Language Models","version":3},"cited_work":{"arxiv_id":"2403.05286","doi":"10.48550/arxiv.2403.05286","metadata_source":"arxiv_reference","pith_arxiv_id":"2403.05286","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Llm4decompile: Decompiling binary code with large language models","venue":"arXiv (Cornell University)","work_id":"e7904128-018a-4486-b395-6e9d2028d1e4","year":2024},"citing_paper":{"arxiv_id":"2607.00635","last_updated":"2026-07-01T08:48:33Z","snapshot_observed_at":"2026-08-14T22:52:36.897259Z","submitted_at":"2026-07-01T08:48:33Z","title":"Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-07-02T08:45:25.011736Z"},"links":{"cited_paper":"/paper/2403.05286","citing_paper":"/paper/2607.00635"},"observation_digest":"sha256:71e679ee58b9dcaee7ee42ca2b0f6879b61d330e5079b5a85035242099f46b86","observation_id":"75bc1bd0-c212-42a0-b1db-74b83415ba90","resolution":{"observed_at":"2026-07-02T08:46:48.487712Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-07-06T04:31:56.440524Z","title":"Coda: An end-to-end neural program decompiler,","venue":null,"work_id":"75e896e9-5bce-4467-ba02-37cde4f25399","year":2019},"citing_paper":{"arxiv_id":"2607.00635","last_updated":"2026-07-01T08:48:33Z","snapshot_observed_at":"2026-08-14T22:52:36.897259Z","submitted_at":"2026-07-01T08:48:33Z","title":"Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-07-02T08:45:25.011736Z"},"links":{"citing_paper":"/paper/2607.00635"},"observation_digest":"sha256:78bd65efbfde3e52bbc7aaff96243c9b4ebc7ec0f975273a61495c63d813885e","observation_id":"789b01ac-0758-40de-a7fe-776ecaebccd0","resolution":{"observed_at":"2026-07-06T04:31:56.441849Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-07-06T04:31:56.412341Z","title":"DIRE: A neural approach to decompiled identifier naming,","venue":null,"work_id":"1d615e34-e926-4f45-9718-11d0ba23b7a5","year":2019},"citing_paper":{"arxiv_id":"2607.00635","last_updated":"2026-07-01T08:48:33Z","snapshot_observed_at":"2026-08-14T22:52:36.897259Z","submitted_at":"2026-07-01T08:48:33Z","title":"Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-07-02T08:45:25.011736Z"},"links":{"citing_paper":"/paper/2607.00635"},"observation_digest":"sha256:1dace527ba1331f343122b214c54195f37b1f3c0356a52d9f175c1d3d654cac1","observation_id":"c4297db6-1620-4878-b61d-58157d7be009","resolution":{"observed_at":"2026-07-06T04:31:56.413612Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-07-06T04:31:56.392680Z","title":"Extracting code from programming tutorial videos,","venue":null,"work_id":"372929b2-18d6-4335-a7bf-1e673fe22d5b","year":2016},"citing_paper":{"arxiv_id":"2607.00635","last_updated":"2026-07-01T08:48:33Z","snapshot_observed_at":"2026-08-14T22:52:36.897259Z","submitted_at":"2026-07-01T08:48:33Z","title":"Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-07-02T08:45:25.011736Z"},"links":{"citing_paper":"/paper/2607.00635"},"observation_digest":"sha256:4aa55c6a3e06ed39233e5850eac4d0932ea6462bc2f4f1739fe8436a09015d8e","observation_id":"4d2e7e6b-0bfb-442c-803e-a0b42bebf54f","resolution":{"observed_at":"2026-07-06T04:31:56.394075Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-07-06T04:31:56.416732Z","title":"Too long; didn’t watch! extracting relevant fragments from software development video tutorials,","venue":null,"work_id":"d6ced2ff-427e-437f-9c6f-a71446594b61","year":2016},"citing_paper":{"arxiv_id":"2607.00635","last_updated":"2026-07-01T08:48:33Z","snapshot_observed_at":"2026-08-14T22:52:36.897259Z","submitted_at":"2026-07-01T08:48:33Z","title":"Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-07-02T08:45:25.011736Z"},"links":{"citing_paper":"/paper/2607.00635"},"observation_digest":"sha256:e3fc19de1eda4e288685d4a84e337734b49464e1192bd5af4c42d1a3ed2274e9","observation_id":"81891a8e-1ee8-48af-b005-a9096ef33e7e","resolution":{"observed_at":"2026-07-06T04:31:56.418055Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-07-06T04:31:56.439501Z","title":"psc2code: Denoising code extraction from programming screencasts,","venue":null,"work_id":"5a0bd31d-cd23-4137-8240-c34a3ac9f555","year":2020},"citing_paper":{"arxiv_id":"2607.00635","last_updated":"2026-07-01T08:48:33Z","snapshot_observed_at":"2026-08-14T22:52:36.897259Z","submitted_at":"2026-07-01T08:48:33Z","title":"Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-07-02T08:45:25.011736Z"},"links":{"citing_paper":"/paper/2607.00635"},"observation_digest":"sha256:ebf14497738312ef7fedab6718a4e4e0d8cf5329848160b33e637b90f354fd7a","observation_id":"46afe43a-cd37-4a0e-be6f-fe9582355111","resolution":{"observed_at":"2026-07-06T04:31:56.440679Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-07-06T04:31:56.438485Z","title":"Dr. scratch: A web tool to automatically evaluate scratch projects,","venue":null,"work_id":"ee07400c-9d47-4de2-b0f6-01184d42ee45","year":2015},"citing_paper":{"arxiv_id":"2607.00635","last_updated":"2026-07-01T08:48:33Z","snapshot_observed_at":"2026-08-14T22:52:36.897259Z","submitted_at":"2026-07-01T08:48:33Z","title":"Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-07-02T08:45:25.011736Z"},"links":{"citing_paper":"/paper/2607.00635"},"observation_digest":"sha256:58b5bc9c043ce0d20eb4c51b6f9b653836afc4802c162febb2b7573bf98d3997","observation_id":"6ab7bba6-bdb2-4ea2-a060-722ee411c835","resolution":{"observed_at":"2026-07-06T04:31:56.439841Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-07-06T04:31:56.382815Z","title":"Testing scratch programs automatically,","venue":null,"work_id":"d0078ed4-ae94-48d3-b128-5f82ad7cd2ae","year":2019},"citing_paper":{"arxiv_id":"2607.00635","last_updated":"2026-07-01T08:48:33Z","snapshot_observed_at":"2026-08-14T22:52:36.897259Z","submitted_at":"2026-07-01T08:48:33Z","title":"Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-07-02T08:45:25.011736Z"},"links":{"citing_paper":"/paper/2607.00635"},"observation_digest":"sha256:b50ea2545f3e037c9d196adcfd83792181ee9b852fcaaaa5a2f4d0e09e98d9ce","observation_id":"e1b13010-341e-4a17-9e40-239a28459634","resolution":{"observed_at":"2026-07-06T04:31:56.383950Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-07-06T04:31:56.446836Z","title":"LitterBox: A linter for scratch programs,","venue":null,"work_id":"4ff42836-815e-41a0-bef0-998a90214a07","year":2021},"citing_paper":{"arxiv_id":"2607.00635","last_updated":"2026-07-01T08:48:33Z","snapshot_observed_at":"2026-08-14T22:52:36.897259Z","submitted_at":"2026-07-01T08:48:33Z","title":"Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-07-02T08:45:25.011736Z"},"links":{"citing_paper":"/paper/2607.00635"},"observation_digest":"sha256:55a0735a20fc189df1c45b32010e702ab4da2cbaac56701e69eac21432ce7696","observation_id":"531bd994-ae65-4640-8498-242979bbdcc2","resolution":{"observed_at":"2026-07-06T04:31:56.448186Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-07-06T04:31:56.431073Z","title":"Hairball: Lint-inspired static analysis of scratch projects,","venue":null,"work_id":"621b2162-5d6e-4984-bc20-3d1b64e8784b","year":2013},"citing_paper":{"arxiv_id":"2607.00635","last_updated":"2026-07-01T08:48:33Z","snapshot_observed_at":"2026-08-14T22:52:36.897259Z","submitted_at":"2026-07-01T08:48:33Z","title":"Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-07-02T08:45:25.011736Z"},"links":{"citing_paper":"/paper/2607.00635"},"observation_digest":"sha256:d8519669a0147fea9ce4b349bc2cbab765b863ef3a4df1d99bcfb64f200e7ae7","observation_id":"c30dd136-78cc-4e4e-8c88-65e4096a89aa","resolution":{"observed_at":"2026-07-06T04:31:56.432579Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-07-06T04:31:56.418478Z","title":"How kids code and how we know: An exploratory study on the scratch repository,","venue":null,"work_id":"1df61981-1d27-42bb-8f07-8aa90f8ab1cb","year":2016},"citing_paper":{"arxiv_id":"2607.00635","last_updated":"2026-07-01T08:48:33Z","snapshot_observed_at":"2026-08-14T22:52:36.897259Z","submitted_at":"2026-07-01T08:48:33Z","title":"Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-07-02T08:45:25.011736Z"},"links":{"citing_paper":"/paper/2607.00635"},"observation_digest":"sha256:83e05920cb1ce61f9ad5729903535d845ac7fcdd6b59ff94bfcd78e36a1a8328","observation_id":"61f8ce90-52b1-4f51-b671-9aba7c3b9ad1","resolution":{"observed_at":"2026-07-06T04:31:56.423019Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-07-06T09:12:10.146644Z","title":"Scratch: Programming for all,","venue":null,"work_id":"8e264a52-19b2-4766-8758-39a38036ef6f","year":2009},"citing_paper":{"arxiv_id":"2607.00635","last_updated":"2026-07-01T08:48:33Z","snapshot_observed_at":"2026-08-14T22:52:36.897259Z","submitted_at":"2026-07-01T08:48:33Z","title":"Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-07-02T08:45:25.011736Z"},"links":{"citing_paper":"/paper/2607.00635"},"observation_digest":"sha256:3340de4502c3c7a332d2c266a0cdc1c10fc1d208872c3bee51c692b1992d0a4c","observation_id":"446c9c41-ae18-4626-98ed-26f265202667","resolution":{"observed_at":"2026-07-06T04:31:56.393254Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-07-06T04:31:56.360098Z","title":"The scratch programming language and environment,","venue":null,"work_id":"f3daaacd-b1a1-4f43-bc66-2cf3404b33fb","year":2010},"citing_paper":{"arxiv_id":"2607.00635","last_updated":"2026-07-01T08:48:33Z","snapshot_observed_at":"2026-08-14T22:52:36.897259Z","submitted_at":"2026-07-01T08:48:33Z","title":"Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-07-02T08:45:25.011736Z"},"links":{"citing_paper":"/paper/2607.00635"},"observation_digest":"sha256:8115cfbbb7dceba50196558642d21e1a68474d5c73a5078bed3ca2684435d1f2","observation_id":"e1ddc326-d0f4-427f-8356-304130b4a451","resolution":{"observed_at":"2026-07-06T04:31:56.361677Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2509.11065","last_updated":"2025-09-14T03:12:44Z","snapshot_observed_at":"2026-08-14T08:00:55.867926Z","submitted_at":"2025-09-14T03:12:44Z","title":"ViScratch: Using Large Language Models and Gameplay Videos for Automated Feedback in Scratch","version":1},"cited_work":{"arxiv_id":"2509.11065","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2509.11065","snapshot_observed_at":"2026-07-04T08:19:43.891396Z","title":"arXiv preprint arXiv:2509.11065","venue":null,"work_id":"4c2fe8f7-1a26-4522-87dc-7f4103c3f062","year":2015},"citing_paper":{"arxiv_id":"2607.00635","last_updated":"2026-07-01T08:48:33Z","snapshot_observed_at":"2026-08-14T22:52:36.897259Z","submitted_at":"2026-07-01T08:48:33Z","title":"Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-07-02T08:45:25.011736Z"},"links":{"cited_paper":"/paper/2509.11065","citing_paper":"/paper/2607.00635"},"observation_digest":"sha256:07669fd9a958456898aa5007bc94b94d80330e8facf3a7067c3dbd515795b152","observation_id":"5fa2f585-1762-47fe-bac5-8b3e59553572","resolution":{"observed_at":"2026-07-02T08:46:48.476340Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2510.26634","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-03T21:48:59.032896Z","title":"Stitch: Step-by-step LLM guided tutoring for Scratch,","venue":null,"work_id":"e01344b7-fe1a-4029-abaa-fdc2da7a696b","year":2025},"citing_paper":{"arxiv_id":"2607.00635","last_updated":"2026-07-01T08:48:33Z","snapshot_observed_at":"2026-08-14T22:52:36.897259Z","submitted_at":"2026-07-01T08:48:33Z","title":"Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-07-02T08:45:25.011736Z"},"links":{"citing_paper":"/paper/2607.00635"},"observation_digest":"sha256:eb148b04981ab01c674af6b25755b170f644b50c09634f6b7dd2b23d9a726025","observation_id":"082cb5f3-0143-479b-bef4-4b245343c6f2","resolution":{"observed_at":"2026-07-02T08:46:48.484650Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2602.00757","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-03T21:48:59.021070Z","title":"ScratchEval: A multi- modal evaluation framework for LLMs in block-based programming,","venue":null,"work_id":"4db9b3c6-6e24-40a7-aa75-1c0d005a9026","year":2026},"citing_paper":{"arxiv_id":"2607.00635","last_updated":"2026-07-01T08:48:33Z","snapshot_observed_at":"2026-08-14T22:52:36.897259Z","submitted_at":"2026-07-01T08:48:33Z","title":"Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-07-02T08:45:25.011736Z"},"links":{"citing_paper":"/paper/2607.00635"},"observation_digest":"sha256:be36da2bf39dadf8b5929e868110743f0c3cddfd0ec2df8cd2051dcca57202a6","observation_id":"8c242e16-46ee-4afa-b618-3cb3c1baeabd","resolution":{"observed_at":"2026-07-02T08:46:48.476074Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2603.29624","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-03T21:48:59.041336Z","title":"EcoScratch: Cost- effective multimodal repair for Scratch using execution feedback,","venue":null,"work_id":"8efdc490-1ef3-43bc-9c07-518e52d0b231","year":2026},"citing_paper":{"arxiv_id":"2607.00635","last_updated":"2026-07-01T08:48:33Z","snapshot_observed_at":"2026-08-14T22:52:36.897259Z","submitted_at":"2026-07-01T08:48:33Z","title":"Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-07-02T08:45:25.011736Z"},"links":{"citing_paper":"/paper/2607.00635"},"observation_digest":"sha256:8b0f708ec8d4a365d457b6e1f24e6a950781b50b646b57d086c412c0c35de276","observation_id":"7419f526-3ea0-4a6b-9bb7-531ed3fce061","resolution":{"observed_at":"2026-07-02T08:46:48.473501Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2604.17820","last_updated":"2026-04-20T05:19:38Z","snapshot_observed_at":"2026-08-13T00:18:44.289139Z","submitted_at":"2026-04-20T05:19:38Z","title":"Raven: Rethinking Automated Assessment for Scratch Programs via Video-Grounded Evaluation","version":1},"cited_work":{"arxiv_id":"2604.17820","doi":null,"metadata_source":"pith","pith_arxiv_id":"2604.17820","snapshot_observed_at":"2026-07-03T21:48:59.027016Z","title":"Raven: Rethinking Automated Assessment for Scratch Programs via Video-Grounded Evaluation","venue":"cs.SE","work_id":"fa6381fc-f5f3-4e67-b99e-f7cc9b005af9","year":2026},"citing_paper":{"arxiv_id":"2607.00635","last_updated":"2026-07-01T08:48:33Z","snapshot_observed_at":"2026-08-14T22:52:36.897259Z","submitted_at":"2026-07-01T08:48:33Z","title":"Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-07-02T08:45:25.011736Z"},"links":{"cited_paper":"/paper/2604.17820","citing_paper":"/paper/2607.00635"},"observation_digest":"sha256:debae9903c854533a3b7c3982906eece6678a900ee9d523a00e7019ce0459781","observation_id":"934208f6-c9c4-4cca-97c4-e1b71e8b6e9c","resolution":{"observed_at":"2026-07-02T08:46:48.471039Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2606.31689","last_updated":"2026-06-30T14:02:25Z","snapshot_observed_at":"2026-08-01T16:15:18.464315Z","submitted_at":"2026-06-30T14:02:25Z","title":"ScratchWorld: Evaluating If World Models Compute Executable Consequences","version":1},"cited_work":{"arxiv_id":"2606.31689","doi":null,"metadata_source":"pith","pith_arxiv_id":"2606.31689","snapshot_observed_at":"2026-07-03T21:48:59.024170Z","title":"ScratchWorld: Evaluating If World Models Compute Executable Consequences","venue":"cs.SE","work_id":"fe03e0c1-1c08-4940-9ca2-8d881406b75a","year":2026},"citing_paper":{"arxiv_id":"2607.00635","last_updated":"2026-07-01T08:48:33Z","snapshot_observed_at":"2026-08-14T22:52:36.897259Z","submitted_at":"2026-07-01T08:48:33Z","title":"Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-07-02T08:45:25.011736Z"},"links":{"cited_paper":"/paper/2606.31689","citing_paper":"/paper/2607.00635"},"observation_digest":"sha256:1c34083d5957229c312603d7273babce09e6680ad2b54496592bbd69b63ef699","observation_id":"438b088b-0fba-4206-856d-e1f4d7ffa692","resolution":{"observed_at":"2026-07-02T08:46:48.481562Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-07-06T09:12:10.125037Z","title":"Automated feedback generation for competition-level code,","venue":null,"work_id":"28583211-e3e8-4e87-abc7-c61358bba880","year":2022},"citing_paper":{"arxiv_id":"2607.00635","last_updated":"2026-07-01T08:48:33Z","snapshot_observed_at":"2026-08-14T22:52:36.897259Z","submitted_at":"2026-07-01T08:48:33Z","title":"Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-07-02T08:45:25.011736Z"},"links":{"citing_paper":"/paper/2607.00635"},"observation_digest":"sha256:837e61f1e3d7f6d87630da96abee16a54ccd09701b72a668709efce40fb7ad74","observation_id":"a2c568d4-6080-44d2-8c5f-6d5696e0fc84","resolution":{"observed_at":"2026-07-06T04:31:56.399312Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-07-06T09:12:10.116719Z","title":"PyDex: Repairing bugs in introductory python assignments using LLMs,","venue":null,"work_id":"052c7f42-7faf-4027-97bd-e039fb01ec7e","year":2024},"citing_paper":{"arxiv_id":"2607.00635","last_updated":"2026-07-01T08:48:33Z","snapshot_observed_at":"2026-08-14T22:52:36.897259Z","submitted_at":"2026-07-01T08:48:33Z","title":"Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-07-02T08:45:25.011736Z"},"links":{"citing_paper":"/paper/2607.00635"},"observation_digest":"sha256:46e45d21127c24d0ed53ddcff03e138ac06ed1792fed96c131302bb4d5f085aa","observation_id":"68801e49-dbb3-4a79-882d-443f5dcf8cb7","resolution":{"observed_at":"2026-07-06T04:31:56.425728Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2510.14339","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-03T21:48:59.046810Z","title":"A systematic study of time limit exceeded errors in online programming assignments,","venue":null,"work_id":"b387e809-46ea-4a1b-98dc-fb0019087e56","year":2025},"citing_paper":{"arxiv_id":"2607.00635","last_updated":"2026-07-01T08:48:33Z","snapshot_observed_at":"2026-08-14T22:52:36.897259Z","submitted_at":"2026-07-01T08:48:33Z","title":"Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-07-02T08:45:25.011736Z"},"links":{"citing_paper":"/paper/2607.00635"},"observation_digest":"sha256:4903f68257510d9ea8125a2c8b076ff703d6a987419ce02f31351ec83e83ac49","observation_id":"b0397622-ab5b-46e0-924b-483ab94a0a9c","resolution":{"observed_at":"2026-07-02T08:46:48.465689Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-07-06T04:31:56.390328Z","title":"Using pre-trained language models to resolve textual and semantic merge conflicts,","venue":null,"work_id":"231d4948-4f16-4031-bb49-a36177d082d8","year":2022},"citing_paper":{"arxiv_id":"2607.00635","last_updated":"2026-07-01T08:48:33Z","snapshot_observed_at":"2026-08-14T22:52:36.897259Z","submitted_at":"2026-07-01T08:48:33Z","title":"Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-07-02T08:45:25.011736Z"},"links":{"citing_paper":"/paper/2607.00635"},"observation_digest":"sha256:ee1c151cead9105803c514a9f3fe06152097e01ad31e3d161a6937ff85b31724","observation_id":"7f38e3bd-fd00-4774-89ec-5e1575979152","resolution":{"observed_at":"2026-07-06T04:31:56.391544Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-07-06T09:12:10.083729Z","title":"Learning CI configuration correctness for early build feedback,","venue":null,"work_id":"4610cd34-a082-4513-8c2c-f3f91443527b","year":2022},"citing_paper":{"arxiv_id":"2607.00635","last_updated":"2026-07-01T08:48:33Z","snapshot_observed_at":"2026-08-14T22:52:36.897259Z","submitted_at":"2026-07-01T08:48:33Z","title":"Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-07-02T08:45:25.011736Z"},"links":{"citing_paper":"/paper/2607.00635"},"observation_digest":"sha256:5619961506931dd5821467d70d2c3db971f85ad88a27ccdff1a9d321c1403132","observation_id":"68cb4bea-9fcd-47f2-baa9-4b7009c8552f","resolution":{"observed_at":"2026-07-06T04:31:56.395895Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-07-06T09:12:10.090930Z","title":"Static detection of silent misconfigurations with deep interaction analysis","venue":null,"work_id":"55988908-8fb2-4a1a-909b-9c2e4651b6df","year":2021},"citing_paper":{"arxiv_id":"2607.00635","last_updated":"2026-07-01T08:48:33Z","snapshot_observed_at":"2026-08-14T22:52:36.897259Z","submitted_at":"2026-07-01T08:48:33Z","title":"Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-07-02T08:45:25.011736Z"},"links":{"citing_paper":"/paper/2607.00635"},"observation_digest":"sha256:721b3f8b07360f1f6772ea1f2db427ec69568a8401a01352b37a68cd6b650c43","observation_id":"c3b0b69c-d81b-4309-a43c-f1cf304d7f15","resolution":{"observed_at":"2026-07-06T04:31:56.446250Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-07-06T04:31:56.434473Z","title":"Translation validation,","venue":null,"work_id":"22fc0acd-1870-451a-a84f-88220f51bd4f","year":1998},"citing_paper":{"arxiv_id":"2607.00635","last_updated":"2026-07-01T08:48:33Z","snapshot_observed_at":"2026-08-14T22:52:36.897259Z","submitted_at":"2026-07-01T08:48:33Z","title":"Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-07-02T08:45:25.011736Z"},"links":{"citing_paper":"/paper/2607.00635"},"observation_digest":"sha256:5bbd1fc224944c61e82931d8ec0a9cec47a3e8a74794af52306255de33a15d8b","observation_id":"ae3a85fa-34ef-4b03-8cc3-aa01d86bfa17","resolution":{"observed_at":"2026-07-06T04:31:56.435563Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-07-06T09:12:10.137476Z","title":"Translation validation for an optimizing compiler,","venue":null,"work_id":"7910e81c-f6b1-48b3-8514-44ba8d924626","year":2000},"citing_paper":{"arxiv_id":"2607.00635","last_updated":"2026-07-01T08:48:33Z","snapshot_observed_at":"2026-08-14T22:52:36.897259Z","submitted_at":"2026-07-01T08:48:33Z","title":"Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-07-02T08:45:25.011736Z"},"links":{"citing_paper":"/paper/2607.00635"},"observation_digest":"sha256:20069f2cfad24329384b6cdc6a5aae966a5529e1831f079d27394b2f0e82c63c","observation_id":"ca0fb836-c570-4480-9df3-d23cca75a0d6","resolution":{"observed_at":"2026-07-06T04:31:56.389655Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-07-06T04:31:56.388794Z","title":"Alive2: Bounded translation validation for LLVM,","venue":null,"work_id":"3b63ff69-f296-468f-a33f-79c6015cd868","year":2021},"citing_paper":{"arxiv_id":"2607.00635","last_updated":"2026-07-01T08:48:33Z","snapshot_observed_at":"2026-08-14T22:52:36.897259Z","submitted_at":"2026-07-01T08:48:33Z","title":"Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-07-02T08:45:25.011736Z"},"links":{"citing_paper":"/paper/2607.00635"},"observation_digest":"sha256:2b631815dfc320431ea59c3f7a90e9e5312226e2be612f0660e6b9542ed10505","observation_id":"dd60fd47-c6df-4775-806d-bbc8f7d77f8c","resolution":{"observed_at":"2026-07-06T04:31:56.390137Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-07-06T04:31:56.425556Z","title":"Data-driven equivalence checking,","venue":null,"work_id":"eeba81b4-0c54-4a7d-850c-c7a6d95f992e","year":2013},"citing_paper":{"arxiv_id":"2607.00635","last_updated":"2026-07-01T08:48:33Z","snapshot_observed_at":"2026-08-14T22:52:36.897259Z","submitted_at":"2026-07-01T08:48:33Z","title":"Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-07-02T08:45:25.011736Z"},"links":{"citing_paper":"/paper/2607.00635"},"observation_digest":"sha256:3d30db8719959fab050c9fdba3c9c3da6859a78216a08e3116f58c67508f2662","observation_id":"95d4635c-bd1d-4ac8-b455-0cd7f15646b2","resolution":{"observed_at":"2026-07-06T04:31:56.426929Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-07-06T04:31:56.442658Z","title":"Semantic program alignment for equivalence checking,","venue":null,"work_id":"eb5ee71a-b12f-40d3-91be-e6f6bc133ed3","year":2019},"citing_paper":{"arxiv_id":"2607.00635","last_updated":"2026-07-01T08:48:33Z","snapshot_observed_at":"2026-08-14T22:52:36.897259Z","submitted_at":"2026-07-01T08:48:33Z","title":"Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-07-02T08:45:25.011736Z"},"links":{"citing_paper":"/paper/2607.00635"},"observation_digest":"sha256:9d82003b432f5524d0fc08dce0b0fe22c77d8c9d0cc9233a95de5897eb909595","observation_id":"0bfdabba-7c30-4ebd-a4ba-ac9ada95c2cb","resolution":{"observed_at":"2026-07-06T04:31:56.443987Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-07-06T04:31:56.407293Z","title":"Proof-carrying code,","venue":null,"work_id":"f61c8ce7-7a7c-47e3-8b53-5eab5791fbd3","year":1997},"citing_paper":{"arxiv_id":"2607.00635","last_updated":"2026-07-01T08:48:33Z","snapshot_observed_at":"2026-08-14T22:52:36.897259Z","submitted_at":"2026-07-01T08:48:33Z","title":"Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-07-02T08:45:25.011736Z"},"links":{"citing_paper":"/paper/2607.00635"},"observation_digest":"sha256:dce5f764d86dc9dfa052ab40a31c0b2fef683ce6cf4b3b721c458455ca937f5e","observation_id":"339e4bf0-6512-4a94-93f0-19cf46e687f9","resolution":{"observed_at":"2026-07-06T04:31:56.408604Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-07-06T09:12:10.141123Z","title":"Formal verification of a realistic compiler,","venue":null,"work_id":"d2a5e8eb-04ac-45f5-8612-9484cf480c7a","year":2009},"citing_paper":{"arxiv_id":"2607.00635","last_updated":"2026-07-01T08:48:33Z","snapshot_observed_at":"2026-08-14T22:52:36.897259Z","submitted_at":"2026-07-01T08:48:33Z","title":"Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-07-02T08:45:25.011736Z"},"links":{"citing_paper":"/paper/2607.00635"},"observation_digest":"sha256:e74904ea703475e0a87e7f5dfbdf114c82d709aad873b41cf7500626e06e80a2","observation_id":"07247eea-d1d9-4a61-8c22-cbbd521d77cf","resolution":{"observed_at":"2026-07-06T04:31:56.437909Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-07-06T04:31:56.393798Z","title":"Automatic patch generation by learning correct code,","venue":null,"work_id":"49947bfa-c284-4fd5-af14-632882a040fc","year":2016},"citing_paper":{"arxiv_id":"2607.00635","last_updated":"2026-07-01T08:48:33Z","snapshot_observed_at":"2026-08-14T22:52:36.897259Z","submitted_at":"2026-07-01T08:48:33Z","title":"Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-07-02T08:45:25.011736Z"},"links":{"citing_paper":"/paper/2607.00635"},"observation_digest":"sha256:17f45ffccacf6907e03ea21fa7ba80f5cc28281579746b20f960fdb317d01c52","observation_id":"5bdc9fe1-faa3-4a34-b2fb-a442e40256f2","resolution":{"observed_at":"2026-07-06T04:31:56.395346Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-07-06T04:31:56.428919Z","title":"Angelix: Scalable multiline program patch synthesis via symbolic analysis,","venue":null,"work_id":"0984f565-494d-4f48-8c9f-20f7e8e2ab71","year":2016},"citing_paper":{"arxiv_id":"2607.00635","last_updated":"2026-07-01T08:48:33Z","snapshot_observed_at":"2026-08-14T22:52:36.897259Z","submitted_at":"2026-07-01T08:48:33Z","title":"Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-07-02T08:45:25.011736Z"},"links":{"citing_paper":"/paper/2607.00635"},"observation_digest":"sha256:5ecf24d36eee2345402f4aafe75083c7ab56d45ea1313af2b8e393bd1acd01f7","observation_id":"ec5eba65-076d-4743-86ab-51eac37d58b7","resolution":{"observed_at":"2026-07-06T04:31:56.430462Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2607.00635","last_updated":"2026-07-01T08:48:33Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-14T22:52:36.897259Z","submitted_at":"2026-07-01T08:48:33Z","title":"Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators"},"reference_resolution":{"displayed":64,"state_counts":{"malformed_identifier":0,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":0,"verified_exact":8,"verified_fuzzy":55},"total_outbound_references":64},"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-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"thesis":"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."}