{"as_of":"2026-08-16T20:01:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:b477a5e0cb1aa45eb135a1c7ab339585810c129b2b213fecb8052281cbe98969","coverage":[{"denominator":0,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":15,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":15,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-16T06:30:59.297886+00:00","state":"measured"},{"denominator":15,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":15,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-16T12:39:09.573317Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-05-20T13:18:18.504080Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2403.16437","last_updated":"2024-09-21T07:48:58Z","snapshot_observed_at":"2026-08-16T14:06:49.594818Z","submitted_at":"2024-03-25T05:37:16Z","title":"Reasoning Runtime Behavior of a Program with LLM: How Far Are We?","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2403.16437","snapshot_observed_at":"2026-08-10T16:51:39.184683Z","title":"Junkai Chen, Zhiyuan Pan, Xing Hu, Zhenhao Li, Ge Li, and Xin Xia","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2501.12793","last_updated":"2025-01-22T10:54:19Z","snapshot_observed_at":"2026-08-13T19:09:50.158573Z","submitted_at":"2025-01-22T10:54:19Z","title":"Revisit Self-Debugging with Self-Generated Tests for Code Generation","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-10T16:51:39.184683Z"},"links":{"cited_paper":"/paper/2403.16437","citing_paper":"/paper/2501.12793"},"observation_digest":"sha256:3a8a913903d0dddc238055cbe06faaa3bec7a29b21f5a9c16a334a0c7232404e","observation_id":"0fbb1997-8f7a-4b8c-a04f-e8b41c096c37","resolution":{"observed_at":"2026-08-10T16:51:39.184683Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2403.16437","last_updated":"2024-09-21T07:48:58Z","snapshot_observed_at":"2026-08-16T14:06:49.594818Z","submitted_at":"2024-03-25T05:37:16Z","title":"Reasoning Runtime Behavior of a Program with LLM: How Far Are We?","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2403.16437","snapshot_observed_at":"2026-08-10T16:51:39.189567Z","title":"URLhttps://doi.org/10.48550/arXiv.2403.16437","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2501.12793","last_updated":"2025-01-22T10:54:19Z","snapshot_observed_at":"2026-08-13T19:09:50.158573Z","submitted_at":"2025-01-22T10:54:19Z","title":"Revisit Self-Debugging with Self-Generated Tests for Code Generation","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-10T16:51:39.189567Z"},"links":{"cited_paper":"/paper/2403.16437","citing_paper":"/paper/2501.12793"},"observation_digest":"sha256:23c43eae4aab733623fe6f3b4649991c353e195749a2dbd32181fda75db4f2f9","observation_id":"99d810e9-d44a-4571-8dc1-02e5fd678b7d","resolution":{"observed_at":"2026-08-10T16:51:39.189567Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2403.16437","last_updated":"2024-09-21T07:48:58Z","snapshot_observed_at":"2026-08-16T14:06:49.594818Z","submitted_at":"2024-03-25T05:37:16Z","title":"Reasoning Runtime Behavior of a Program with LLM: How Far Are We?","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2403.16437","snapshot_observed_at":"2026-08-10T16:41:30.968570Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2501.12934","last_updated":"2025-08-02T04:08:59Z","snapshot_observed_at":"2026-08-16T18:25:19.302127Z","submitted_at":"2025-01-22T15:04:13Z","title":"Correctness Assessment of Code Generated by Large Language Models Using Internal Representations","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-10T16:41:30.968570Z"},"links":{"cited_paper":"/paper/2403.16437","citing_paper":"/paper/2501.12934"},"observation_digest":"sha256:de6d1fde8e24a048190105179265afed15821fd45a5dc1dac40d9bb3f3a4c20b","observation_id":"ab520caa-90c8-46c1-ad45-70795c519053","resolution":{"observed_at":"2026-08-10T16:41:30.968570Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2403.16437","last_updated":"2024-09-21T07:48:58Z","snapshot_observed_at":"2026-08-16T14:06:49.594818Z","submitted_at":"2024-03-25T05:37:16Z","title":"Reasoning Runtime Behavior of a Program with LLM: How Far Are We?","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2403.16437","snapshot_observed_at":"2026-08-16T12:39:09.573317Z","title":"Reasoning runtime behavior of a program with llm: How far are we? arXiv preprint cs.SE/2403.16437,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2504.12365","last_updated":"2025-04-16T16:07:18Z","snapshot_observed_at":"2026-08-16T12:32:52.784095Z","submitted_at":"2025-04-16T16:07:18Z","title":"Themisto: Jupyter-Based Runtime Benchmark","version":1},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-16T12:39:09.573317Z"},"links":{"cited_paper":"/paper/2403.16437","citing_paper":"/paper/2504.12365"},"observation_digest":"sha256:2b66b70883ab14b4341aeb6f45a90d1a0ceddcffb7db33c36070d1cbefe01651","observation_id":"ca356ac8-4503-48c0-8ee3-fde4e711400c","resolution":{"observed_at":"2026-08-16T12:39:09.573317Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2403.16437","last_updated":"2024-09-21T07:48:58Z","snapshot_observed_at":"2026-08-16T14:06:49.594818Z","submitted_at":"2024-03-25T05:37:16Z","title":"Reasoning Runtime Behavior of a Program with LLM: How Far Are We?","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2403.16437","snapshot_observed_at":"2026-08-16T12:11:29.371954Z","title":"Reasoning runtime behavior of a program with llm: How far are we?","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.13515","last_updated":"2025-04-18T07:09:56Z","snapshot_observed_at":"2026-08-16T12:04:35.487867Z","submitted_at":"2025-04-18T07:09:56Z","title":"Large Language Models for Validating Network Protocol Parsers","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-16T12:11:29.371954Z"},"links":{"cited_paper":"/paper/2403.16437","citing_paper":"/paper/2504.13515"},"observation_digest":"sha256:7c85c0897705f3c9d83f5f025340636bd408567f8583c822c42847fc67dd6768","observation_id":"836c8ef8-0d64-4947-bf9b-9f06c91e59d6","resolution":{"observed_at":"2026-08-16T12:11:29.371954Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2403.16437","last_updated":"2024-09-21T07:48:58Z","snapshot_observed_at":"2026-08-16T14:06:49.594818Z","submitted_at":"2024-03-25T05:37:16Z","title":"Reasoning Runtime Behavior of a Program with LLM: How Far Are We?","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2403.16437","snapshot_observed_at":"2026-08-06T14:50:27.845007Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.17548","last_updated":"2025-07-23T14:26:58Z","snapshot_observed_at":"2026-08-15T16:35:32.231406Z","submitted_at":"2025-07-23T14:26:58Z","title":"CodeReasoner: Enhancing the Code Reasoning Ability with Reinforcement Learning","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-06T14:50:27.845007Z"},"links":{"cited_paper":"/paper/2403.16437","citing_paper":"/paper/2507.17548"},"observation_digest":"sha256:5eb8fef8d0f20066ed3cd2b24b1c7c1273671fb31e25e952b71682afd46b2cf8","observation_id":"429d2b99-726b-41f9-8a8e-d868dd008394","resolution":{"observed_at":"2026-08-06T14:50:27.845007Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2403.16437","last_updated":"2024-09-21T07:48:58Z","snapshot_observed_at":"2026-08-16T14:06:49.594818Z","submitted_at":"2024-03-25T05:37:16Z","title":"Reasoning Runtime Behavior of a Program with LLM: How Far Are We?","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2403.16437","snapshot_observed_at":"2026-08-15T15:56:17.432853Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.14335","last_updated":"2026-07-18T05:58:59Z","snapshot_observed_at":"2026-08-15T15:49:14.132428Z","submitted_at":"2025-09-17T18:05:21Z","title":"Is \"Knowing It's Malicious Enough?\" Evaluating LLMs for Fine-Grained Malware Behavior Auditing","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-15T15:56:17.432853Z"},"links":{"cited_paper":"/paper/2403.16437","citing_paper":"/paper/2509.14335"},"observation_digest":"sha256:307a060329b2ad2104e8785217bd77af581e1c6c274c5ebe8bfab591710a3b2c","observation_id":"112c9392-b6ca-49d3-a9d7-c49ade4da725","resolution":{"observed_at":"2026-08-15T15:56:17.432853Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2403.16437","last_updated":"2024-09-21T07:48:58Z","snapshot_observed_at":"2026-08-16T14:06:49.594818Z","submitted_at":"2024-03-25T05:37:16Z","title":"Reasoning Runtime Behavior of a Program with LLM: How Far Are We?","version":3},"cited_work":{"arxiv_id":"2403.16437","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2403.16437","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Reasoning runtime behavior of a program with llm: How far are we?","venue":null,"work_id":"db2fad79-f36c-4d3f-b47d-1b4031f4f381","year":2024},"citing_paper":{"arxiv_id":"2512.14917","last_updated":"2026-04-23T22:42:11Z","snapshot_observed_at":"2026-08-14T18:38:40.452738Z","submitted_at":"2025-12-16T21:12:53Z","title":"Evaluating Code Reasoning Abilities of Large Language Models Under Real-World Settings","version":3},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-05-16T21:23:44.762007Z"},"links":{"cited_paper":"/paper/2403.16437","citing_paper":"/paper/2512.14917"},"observation_digest":"sha256:78a3259e817912b0d4371030476f86874285d5ce7af964db1458f85dd01a9795","observation_id":"8abf2aad-fd56-48d2-a9ae-ffd92cae8f1d","resolution":{"observed_at":"2026-05-16T21:28:34.242076Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2403.16437","last_updated":"2024-09-21T07:48:58Z","snapshot_observed_at":"2026-08-16T14:06:49.594818Z","submitted_at":"2024-03-25T05:37:16Z","title":"Reasoning Runtime Behavior of a Program with LLM: How Far Are We?","version":3},"cited_work":{"arxiv_id":"2403.16437","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2403.16437","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Reasoning runtime behavior of a program with llm: How far are we?","venue":null,"work_id":"db2fad79-f36c-4d3f-b47d-1b4031f4f381","year":2024},"citing_paper":{"arxiv_id":"2604.21765","last_updated":"2026-04-23T15:18:50Z","snapshot_observed_at":"2026-08-14T00:35:54.213025Z","submitted_at":"2026-04-23T15:18:50Z","title":"PrismaDV: Automated Task-Aware Data Unit Test Generation","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-05-09T22:14:30.829159Z"},"links":{"cited_paper":"/paper/2403.16437","citing_paper":"/paper/2604.21765"},"observation_digest":"sha256:c95513a0a81bd9b62281d24803c69fbc5c2a8c11b80e8200605ea5a89667d3e3","observation_id":"67104567-29bb-4455-9500-76d5bf907c95","resolution":{"observed_at":"2026-05-09T22:49:16.092795Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2403.16437","last_updated":"2024-09-21T07:48:58Z","snapshot_observed_at":"2026-08-16T14:06:49.594818Z","submitted_at":"2024-03-25T05:37:16Z","title":"Reasoning Runtime Behavior of a Program with LLM: How Far Are We?","version":3},"cited_work":{"arxiv_id":"2403.16437","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2403.16437","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Reasoning runtime behavior of a program with llm: How far are we?","venue":null,"work_id":"db2fad79-f36c-4d3f-b47d-1b4031f4f381","year":2024},"citing_paper":{"arxiv_id":"2605.11922","last_updated":"2026-05-12T10:36:56Z","snapshot_observed_at":"2026-08-16T17:52:24.749522Z","submitted_at":"2026-05-12T10:36:56Z","title":"StepCodeReasoner: Aligning Code Reasoning with Stepwise Execution Traces via Reinforcement Learning","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-05-13T05:27:37.521421Z"},"links":{"cited_paper":"/paper/2403.16437","citing_paper":"/paper/2605.11922"},"observation_digest":"sha256:6eeeb5c5b1c6e623a595ed3ce476f37df4742b9778aa5fef6d1c22d88075417a","observation_id":"c13ff555-23ad-45f9-b8d6-f5f9071277f2","resolution":{"observed_at":"2026-05-13T05:32:20.277543Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2403.16437","last_updated":"2024-09-21T07:48:58Z","snapshot_observed_at":"2026-08-16T14:06:49.594818Z","submitted_at":"2024-03-25T05:37:16Z","title":"Reasoning Runtime Behavior of a Program with LLM: How Far Are We?","version":3},"cited_work":{"arxiv_id":"2403.16437","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2403.16437","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Reasoning runtime behavior of a program with llm: How far are we?","venue":null,"work_id":"db2fad79-f36c-4d3f-b47d-1b4031f4f381","year":2024},"citing_paper":{"arxiv_id":"2605.15097","last_updated":"2026-07-18T06:02:16Z","snapshot_observed_at":"2026-08-12T16:14:30.458784Z","submitted_at":"2026-05-14T17:16:11Z","title":"Veritas: Grounding LLM Agents for Reliable Vulnerability Reasoning over Stripped Binaries","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-05-15T14:04:16.443346Z"},"links":{"cited_paper":"/paper/2403.16437","citing_paper":"/paper/2605.15097"},"observation_digest":"sha256:38c4da9093dbc22aa8e2730bd08fff4ffaa3c91b58939109e6200df256618cf2","observation_id":"f1da4b3a-9d38-4ae7-be12-7ef3628a7a09","resolution":{"observed_at":"2026-05-15T14:05:54.699476Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2403.16437","last_updated":"2024-09-21T07:48:58Z","snapshot_observed_at":"2026-08-16T14:06:49.594818Z","submitted_at":"2024-03-25T05:37:16Z","title":"Reasoning Runtime Behavior of a Program with LLM: How Far Are We?","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2403.16437","snapshot_observed_at":"2026-07-12T16:46:36.842198Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2605.15097","last_updated":"2026-07-18T06:02:16Z","snapshot_observed_at":"2026-08-12T16:14:30.458784Z","submitted_at":"2026-05-14T17:16:11Z","title":"Veritas: Grounding LLM Agents for Reliable Vulnerability Reasoning over Stripped Binaries","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-07-12T16:46:36.842198Z"},"links":{"cited_paper":"/paper/2403.16437","citing_paper":"/paper/2605.15097"},"observation_digest":"sha256:3f9723b9bc1ab3291ed9f1370a9d6d27f96c3602d68d0efbfd12414329142fdc","observation_id":"49b215d5-e978-4967-997c-f696f5bc0e0d","resolution":{"observed_at":"2026-07-12T16:46:36.842198Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2403.16437","last_updated":"2024-09-21T07:48:58Z","snapshot_observed_at":"2026-08-16T14:06:49.594818Z","submitted_at":"2024-03-25T05:37:16Z","title":"Reasoning Runtime Behavior of a Program with LLM: How Far Are We?","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2403.16437","snapshot_observed_at":"2026-08-02T14:03:35.157446Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2605.15097","last_updated":"2026-07-18T06:02:16Z","snapshot_observed_at":"2026-08-12T16:14:30.458784Z","submitted_at":"2026-05-14T17:16:11Z","title":"Veritas: Grounding LLM Agents for Reliable Vulnerability Reasoning over Stripped Binaries","version":3},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-02T14:03:35.157446Z"},"links":{"cited_paper":"/paper/2403.16437","citing_paper":"/paper/2605.15097"},"observation_digest":"sha256:acdaaa499337345999138e1877e69dbd613e846a291203c168efb7fb191d03ff","observation_id":"634c1555-1267-4590-a966-9671b5a6c608","resolution":{"observed_at":"2026-08-02T14:03:35.157446Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2403.16437","last_updated":"2024-09-21T07:48:58Z","snapshot_observed_at":"2026-08-16T14:06:49.594818Z","submitted_at":"2024-03-25T05:37:16Z","title":"Reasoning Runtime Behavior of a Program with LLM: How Far Are We?","version":3},"cited_work":{"arxiv_id":"2403.16437","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2403.16437","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Reasoning runtime behavior of a program with llm: How far are we?","venue":null,"work_id":"db2fad79-f36c-4d3f-b47d-1b4031f4f381","year":2024},"citing_paper":{"arxiv_id":"2605.17958","last_updated":"2026-05-18T07:12:44Z","snapshot_observed_at":"2026-08-15T07:31:26.334946Z","submitted_at":"2026-05-18T07:12:44Z","title":"Enhancing the Code Reasoning Capabilities of LLMs via Consistency-based Reinforcement Learning","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-05-20T13:13:51.081597Z"},"links":{"cited_paper":"/paper/2403.16437","citing_paper":"/paper/2605.17958"},"observation_digest":"sha256:785c8a99da2a88102c1e36b8a71dbd4e490d578e48539e5b2b7db024086073f9","observation_id":"efa2aa85-e696-43f6-ba4d-2ec73ccb5503","resolution":{"observed_at":"2026-05-20T13:18:18.506006Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2403.16437","last_updated":"2024-09-21T07:48:58Z","snapshot_observed_at":"2026-08-16T14:06:49.594818Z","submitted_at":"2024-03-25T05:37:16Z","title":"Reasoning Runtime Behavior of a Program with LLM: How Far Are We?","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2403.16437","snapshot_observed_at":"2026-08-01T00:57:33.349547Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.25996","last_updated":"2026-07-28T17:12:41Z","snapshot_observed_at":"2026-08-13T23:24:34.248458Z","submitted_at":"2026-07-28T17:12:41Z","title":"RepoReasoner: Evaluating Repository-Level Code Reasoning Ability of Long-Context Language Models","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-01T00:57:33.349547Z"},"links":{"cited_paper":"/paper/2403.16437","citing_paper":"/paper/2607.25996"},"observation_digest":"sha256:10cec49217b0ebb057db2fbfdf060b790d7056a1eb13f96c2502dc78c253a0f1","observation_id":"e5c2710d-5e12-459e-bd55-419dfed68c47","resolution":{"observed_at":"2026-08-01T00:57:33.349547Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2403.16437/citation-record","integrity":"/paper/2403.16437/integrity","json":"/paper/2403.16437/citation-record.json","paper":"/paper/2403.16437"},"outbound":[],"paper":{"arxiv_id":"2403.16437","last_updated":"2024-09-21T07:48:58Z","latest_version":3,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-16T14:06:49.594818Z","submitted_at":"2024-03-25T05:37:16Z","title":"Reasoning Runtime Behavior of a Program with LLM: How Far Are We?"},"reference_resolution":{"displayed":0,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":0,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":0},"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-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"thesis":"As of 16 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 15 inbound Pith citation observations for arXiv:2403.16437."}