{"as_of":"2026-08-13T05:34:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:7d39af5df773b0772beb0aa96bf96f3589eef600e8f15e54dbec4dd7a3066147","coverage":[{"denominator":23,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":23,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-12T11:31:12.971976Z","state":"measured"},{"denominator":23,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":23,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-12T06:34:41.77262+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"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":[],"links":{"evidence":"/evidence","html":"/paper/2411.18158/citation-record","integrity":"/paper/2411.18158/integrity","json":"/paper/2411.18158/citation-record.json","paper":"/paper/2411.18158"},"outbound":[{"citation":{"cited_paper":{"arxiv_id":"2310.02255","last_updated":"2024-01-21T03:47:06Z","snapshot_observed_at":"2026-07-06T16:27:15.027202Z","submitted_at":"2023-10-03T17:57:24Z","title":"MathVista: Evaluating Mathematical Reasoning of Foundation Models in Visual Contexts","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.02255","snapshot_observed_at":"2026-08-12T11:31:12.894726Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.18158","last_updated":"2024-11-27T09:09:00Z","snapshot_observed_at":"2026-08-13T01:04:30.708026Z","submitted_at":"2024-11-27T09:09:00Z","title":"Abductive Symbolic Solver on Abstraction and Reasoning Corpus","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-12T11:31:12.894726Z"},"links":{"cited_paper":"/paper/2310.02255","citing_paper":"/paper/2411.18158"},"observation_digest":"sha256:6a919c64d6da098800b0cabcd718c408a4fe02928d0362a7a8d90095bcecf676","observation_id":"0fc857ed-f735-4d3a-9b15-18d89ba87928","resolution":{"observed_at":"2026-08-12T11:31:12.894726Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1911.01547","last_updated":"2019-11-25T13:02:04Z","snapshot_observed_at":"2026-07-06T08:34:41.399203Z","submitted_at":"2019-11-05T00:31:38Z","title":"On the Measure of Intelligence","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1911.01547","snapshot_observed_at":"2026-08-12T11:31:12.898908Z","title":"Chollet, On the measure of intelligence, 2019","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2411.18158","last_updated":"2024-11-27T09:09:00Z","snapshot_observed_at":"2026-08-13T01:04:30.708026Z","submitted_at":"2024-11-27T09:09:00Z","title":"Abductive Symbolic Solver on Abstraction and Reasoning Corpus","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-12T11:31:12.898908Z"},"links":{"cited_paper":"/paper/1911.01547","citing_paper":"/paper/2411.18158"},"observation_digest":"sha256:4e082519bb53c4650ea7e3a4872e014e032929289ac8bef0cce72cf64823a97e","observation_id":"2a16b05b-cd74-4dcb-9099-9b7c8029e8ad","resolution":{"observed_at":"2026-08-12T11:31:12.898908Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:31:13.210795Z","title":"Raven, Raven progressive matrices, in: Handbook of nonverbal assessment, Springer, 2003, pp","venue":null,"work_id":"87b032e8-51ef-4a8e-b1b8-324804fccd5d","year":2003},"citing_paper":{"arxiv_id":"2411.18158","last_updated":"2024-11-27T09:09:00Z","snapshot_observed_at":"2026-08-13T01:04:30.708026Z","submitted_at":"2024-11-27T09:09:00Z","title":"Abductive Symbolic Solver on Abstraction and Reasoning Corpus","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-12T11:31:12.902551Z"},"links":{"citing_paper":"/paper/2411.18158"},"observation_digest":"sha256:b2b5494bbe9a6f0844f230a79b0807e33d4abb81914de86957d275f59c23dd4c","observation_id":"bb3e1c2e-4ef0-4452-bca5-ea92caa30433","resolution":{"observed_at":"2026-08-12T11:31:13.214632Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:31:12.906317Z","title":"Antol, A","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2411.18158","last_updated":"2024-11-27T09:09:00Z","snapshot_observed_at":"2026-08-13T01:04:30.708026Z","submitted_at":"2024-11-27T09:09:00Z","title":"Abductive Symbolic Solver on Abstraction and Reasoning Corpus","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-12T11:31:12.906317Z"},"links":{"citing_paper":"/paper/2411.18158"},"observation_digest":"sha256:c7465da0afd645b323d6a7ab4f55ad09023612c828863c857d00981c8cbbf7ff","observation_id":"f4315a50-4801-4e0d-916e-1508f8a34d23","resolution":{"observed_at":"2026-08-12T11:31:12.906317Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2403.03864","last_updated":"2024-03-13T00:50:05Z","snapshot_observed_at":"2026-08-13T04:02:05.388142Z","submitted_at":"2024-03-06T17:15:04Z","title":"Are Language Models Puzzle Prodigies? Algorithmic Puzzles Unveil Serious Challenges in Multimodal Reasoning","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2403.03864","snapshot_observed_at":"2026-08-12T11:31:12.909851Z","title":"Ghosal, V","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.18158","last_updated":"2024-11-27T09:09:00Z","snapshot_observed_at":"2026-08-13T01:04:30.708026Z","submitted_at":"2024-11-27T09:09:00Z","title":"Abductive Symbolic Solver on Abstraction and Reasoning Corpus","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-12T11:31:12.909851Z"},"links":{"cited_paper":"/paper/2403.03864","citing_paper":"/paper/2411.18158"},"observation_digest":"sha256:dd714d7fe925b42d8be687125525e0ad83e90c8836d780122e304eb706612e27","observation_id":"2e0db2d1-a23c-4eab-b0bf-a9329bb4ef59","resolution":{"observed_at":"2026-08-12T11:31:12.909851Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:31:13.194606Z","title":null,"venue":null,"work_id":"ac2a2a5f-0701-4029-b8c6-952eb317d66f","year":2021},"citing_paper":{"arxiv_id":"2411.18158","last_updated":"2024-11-27T09:09:00Z","snapshot_observed_at":"2026-08-13T01:04:30.708026Z","submitted_at":"2024-11-27T09:09:00Z","title":"Abductive Symbolic Solver on Abstraction and Reasoning Corpus","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-12T11:31:12.913842Z"},"links":{"citing_paper":"/paper/2411.18158"},"observation_digest":"sha256:4bc742f906adf8f30831121a512660fe20c7919e1a934819486c3817a5f7f65a","observation_id":"f3b4fa87-d020-47db-a50a-ae96e60b345a","resolution":{"observed_at":"2026-08-12T11:31:13.198096Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-08-12T11:31:13.185631Z","title":"Hodel, arc-dsl, https://github.com/michaelhodel/arc-dsl, 2022","venue":null,"work_id":"2048d38a-b3fb-4ce8-b7d7-9fa6134c9038","year":2022},"citing_paper":{"arxiv_id":"2411.18158","last_updated":"2024-11-27T09:09:00Z","snapshot_observed_at":"2026-08-13T01:04:30.708026Z","submitted_at":"2024-11-27T09:09:00Z","title":"Abductive Symbolic Solver on Abstraction and Reasoning Corpus","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-12T11:31:12.917925Z"},"links":{"citing_paper":"/paper/2411.18158"},"observation_digest":"sha256:3e4f733bc1c2d386bcf2edfa86066624622646ceea21e3845cddcae3f4103512","observation_id":"ea31000d-fe0c-44e2-a007-aa7481b42148","resolution":{"observed_at":"2026-08-12T11:31:13.188922Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2305.18354","last_updated":"2024-02-14T21:15:31Z","snapshot_observed_at":"2026-08-10T22:22:30.223110Z","submitted_at":"2023-05-26T16:32:17Z","title":"LLMs and the Abstraction and Reasoning Corpus: Successes, Failures, and the Importance of Object-based Representations","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.18354","snapshot_observed_at":"2026-08-12T11:31:12.921179Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.18158","last_updated":"2024-11-27T09:09:00Z","snapshot_observed_at":"2026-08-13T01:04:30.708026Z","submitted_at":"2024-11-27T09:09:00Z","title":"Abductive Symbolic Solver on Abstraction and Reasoning Corpus","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-12T11:31:12.921179Z"},"links":{"cited_paper":"/paper/2305.18354","citing_paper":"/paper/2411.18158"},"observation_digest":"sha256:8553d723b95e28476f9a818e9103a3a6b859896e12ba0b85b3f3e1b413ffe135","observation_id":"f735049f-4ea9-4cb4-8a58-854c1d413dc8","resolution":{"observed_at":"2026-08-12T11:31:12.921179Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2403.11793","last_updated":"2024-11-23T03:26:41Z","snapshot_observed_at":"2026-08-13T00:51:53.433163Z","submitted_at":"2024-03-18T13:50:50Z","title":"Reasoning Abilities of Large Language Models: In-Depth Analysis on the Abstraction and Reasoning Corpus","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2403.11793","snapshot_observed_at":"2026-08-12T11:31:12.924810Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.18158","last_updated":"2024-11-27T09:09:00Z","snapshot_observed_at":"2026-08-13T01:04:30.708026Z","submitted_at":"2024-11-27T09:09:00Z","title":"Abductive Symbolic Solver on Abstraction and Reasoning Corpus","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-12T11:31:12.924810Z"},"links":{"cited_paper":"/paper/2403.11793","citing_paper":"/paper/2411.18158"},"observation_digest":"sha256:2f673587f585496d2e086130ece4c03c2bf3727b24d8fad6200b5bf47d764e61","observation_id":"ebd22ca1-0352-4c27-a5ae-f2831882f4e5","resolution":{"observed_at":"2026-08-12T11:31:12.924810Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2309.05660","last_updated":"2024-05-30T23:10:00Z","snapshot_observed_at":"2026-08-10T12:04:04.090408Z","submitted_at":"2023-09-11T17:56:57Z","title":"Hypothesis Search: Inductive Reasoning with Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2309.05660","snapshot_observed_at":"2026-08-12T11:31:12.928188Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.18158","last_updated":"2024-11-27T09:09:00Z","snapshot_observed_at":"2026-08-13T01:04:30.708026Z","submitted_at":"2024-11-27T09:09:00Z","title":"Abductive Symbolic Solver on Abstraction and Reasoning Corpus","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-12T11:31:12.928188Z"},"links":{"cited_paper":"/paper/2309.05660","citing_paper":"/paper/2411.18158"},"observation_digest":"sha256:9ae7bb1cbc6929f0164caf7ed0faf68fe051348fd5d285accd6664333203cf6f","observation_id":"ddc1f214-ec51-40b3-9c90-97977bf1a847","resolution":{"observed_at":"2026-08-12T11:31:12.928188Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2203.14040","last_updated":"2022-03-26T10:17:03Z","snapshot_observed_at":"2026-08-08T23:02:47.506790Z","submitted_at":"2022-03-26T10:17:03Z","title":"Visual Abductive Reasoning","version":1},"cited_work":{"arxiv_id":"2203.14040","doi":null,"metadata_source":"pith","pith_arxiv_id":"2203.14040","snapshot_observed_at":"2026-08-12T11:31:13.051835Z","title":"Visual Abductive Reasoning","venue":"cs.CV","work_id":"362ac6d7-4c5d-445b-83f6-6677732acbf1","year":2022},"citing_paper":{"arxiv_id":"2411.18158","last_updated":"2024-11-27T09:09:00Z","snapshot_observed_at":"2026-08-13T01:04:30.708026Z","submitted_at":"2024-11-27T09:09:00Z","title":"Abductive Symbolic Solver on Abstraction and Reasoning Corpus","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-12T11:31:12.931869Z"},"links":{"cited_paper":"/paper/2203.14040","citing_paper":"/paper/2411.18158"},"observation_digest":"sha256:40fe0cdff48b317c1194e6395c4434f2850776baa8c36f820c9d04d420d4786f","observation_id":"ed5d9d78-7ca5-4c16-b5eb-8f0919925156","resolution":{"observed_at":"2026-08-12T11:31:13.056349Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2404.07353","last_updated":"2024-04-10T21:16:59Z","snapshot_observed_at":"2026-08-13T00:33:05.990211Z","submitted_at":"2024-04-10T21:16:59Z","title":"Addressing the Abstraction and Reasoning Corpus via Procedural Example Generation","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2404.07353","snapshot_observed_at":"2026-08-12T11:31:12.935446Z","title":"Hodel, Addressing the abstraction and reasoning corpus via procedural example generation, arXiv preprint arXiv:2404.07353 (2024)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.18158","last_updated":"2024-11-27T09:09:00Z","snapshot_observed_at":"2026-08-13T01:04:30.708026Z","submitted_at":"2024-11-27T09:09:00Z","title":"Abductive Symbolic Solver on Abstraction and Reasoning Corpus","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-12T11:31:12.935446Z"},"links":{"cited_paper":"/paper/2404.07353","citing_paper":"/paper/2411.18158"},"observation_digest":"sha256:1f06bbb1f8eb791d6ff483d8229aeb310e7add567b0a4804ed443e7ae73c654b","observation_id":"b7ff9c6a-a837-494a-853f-9091c40c2ed4","resolution":{"observed_at":"2026-08-12T11:31:12.935446Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2302.09425","last_updated":"2023-10-31T18:05:28Z","snapshot_observed_at":"2026-07-06T14:53:20.639529Z","submitted_at":"2023-02-18T21:30:44Z","title":"A Neurodiversity-Inspired Solver for the Abstraction \\& Reasoning Corpus (ARC) Using Visual Imagery and Program Synthesis","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2302.09425","snapshot_observed_at":"2026-08-12T11:31:12.939011Z","title":"Ainooson, D","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.18158","last_updated":"2024-11-27T09:09:00Z","snapshot_observed_at":"2026-08-13T01:04:30.708026Z","submitted_at":"2024-11-27T09:09:00Z","title":"Abductive Symbolic Solver on Abstraction and Reasoning Corpus","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-12T11:31:12.939011Z"},"links":{"cited_paper":"/paper/2302.09425","citing_paper":"/paper/2411.18158"},"observation_digest":"sha256:9a15a224ca7038ccfd456c0ab034e583f19640de819043800e9b919f07a8b5cc","observation_id":"38ef9abe-c52b-4c8e-8fbe-055a847eef6b","resolution":{"observed_at":"2026-08-12T11:31:12.939011Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:31:13.175594Z","title":"Alford, A","venue":null,"work_id":"8be6c414-5fb3-4ac0-a341-2db280564097","year":2021},"citing_paper":{"arxiv_id":"2411.18158","last_updated":"2024-11-27T09:09:00Z","snapshot_observed_at":"2026-08-13T01:04:30.708026Z","submitted_at":"2024-11-27T09:09:00Z","title":"Abductive Symbolic Solver on Abstraction and Reasoning Corpus","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-12T11:31:12.942761Z"},"links":{"citing_paper":"/paper/2411.18158"},"observation_digest":"sha256:f8bad3bf7811624e038cc18207233cb0702d88a2f4fdab065adc4e9e133d076b","observation_id":"0f76766e-96f0-4da3-a969-3fd109d45729","resolution":{"observed_at":"2026-08-12T11:31:13.179352Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2210.09880","last_updated":"2022-12-02T00:54:33Z","snapshot_observed_at":"2026-07-06T14:07:15.678393Z","submitted_at":"2022-10-18T14:13:43Z","title":"Graphs, Constraints, and Search for the Abstraction and Reasoning Corpus","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2210.09880","snapshot_observed_at":"2026-08-12T11:31:12.945968Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2411.18158","last_updated":"2024-11-27T09:09:00Z","snapshot_observed_at":"2026-08-13T01:04:30.708026Z","submitted_at":"2024-11-27T09:09:00Z","title":"Abductive Symbolic Solver on Abstraction and Reasoning Corpus","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-12T11:31:12.945968Z"},"links":{"cited_paper":"/paper/2210.09880","citing_paper":"/paper/2411.18158"},"observation_digest":"sha256:79d3f4ab9041bd490202be8acaafe6e3d5945f2249a021e37c367219cb23ae74","observation_id":"3cb695c2-8dc4-4611-9434-f44985658cb3","resolution":{"observed_at":"2026-08-12T11:31:12.945968Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2306.08204","last_updated":"2023-06-14T02:12:49Z","snapshot_observed_at":"2026-07-06T15:42:22.027803Z","submitted_at":"2023-06-14T02:12:49Z","title":"Unraveling the ARC Puzzle: Mimicking Human Solutions with Object-Centric Decision Transformer","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2306.08204","snapshot_observed_at":"2026-08-12T11:31:12.949189Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.18158","last_updated":"2024-11-27T09:09:00Z","snapshot_observed_at":"2026-08-13T01:04:30.708026Z","submitted_at":"2024-11-27T09:09:00Z","title":"Abductive Symbolic Solver on Abstraction and Reasoning Corpus","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-12T11:31:12.949189Z"},"links":{"cited_paper":"/paper/2306.08204","citing_paper":"/paper/2411.18158"},"observation_digest":"sha256:de0a90fb1a553a6fa71538f17482abc0ac29cb3ab8b077c9d24f4f5b67495963","observation_id":"91b0b3b2-a19d-43cd-bc36-0259acecfd96","resolution":{"observed_at":"2026-08-12T11:31:12.949189Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:31:13.164475Z","title":"Kovács, K","venue":null,"work_id":"d144b65d-1a6c-4b9f-99a9-c563913f32db","year":2005},"citing_paper":{"arxiv_id":"2411.18158","last_updated":"2024-11-27T09:09:00Z","snapshot_observed_at":"2026-08-13T01:04:30.708026Z","submitted_at":"2024-11-27T09:09:00Z","title":"Abductive Symbolic Solver on Abstraction and Reasoning Corpus","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-12T11:31:12.952595Z"},"links":{"citing_paper":"/paper/2411.18158"},"observation_digest":"sha256:420c5ff5fe3e899a30c8514d821ea65166eb2f024443bd9a86b758707a97b1f3","observation_id":"7a33ed9d-b005-40c0-be5f-676e301a7498","resolution":{"observed_at":"2026-08-12T11:31:13.168117Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-08-12T11:31:13.155102Z","title":null,"venue":null,"work_id":"fc5bb4aa-a5a9-477c-b17c-3892e749beec","year":2012},"citing_paper":{"arxiv_id":"2411.18158","last_updated":"2024-11-27T09:09:00Z","snapshot_observed_at":"2026-08-13T01:04:30.708026Z","submitted_at":"2024-11-27T09:09:00Z","title":"Abductive Symbolic Solver on Abstraction and Reasoning Corpus","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-12T11:31:12.955637Z"},"links":{"citing_paper":"/paper/2411.18158"},"observation_digest":"sha256:26ff0ea421c003bf66fc3cc5e918d5e9c8169c2629cbacf0a5c863c5471505fc","observation_id":"d43e71e3-3f0f-4425-98ee-5265860562e8","resolution":{"observed_at":"2026-08-12T11:31:13.158273Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-08-12T11:31:13.145249Z","title":"Thagard, C","venue":null,"work_id":"69a1a007-5a12-4060-8caa-d3b9d9e32001","year":1995},"citing_paper":{"arxiv_id":"2411.18158","last_updated":"2024-11-27T09:09:00Z","snapshot_observed_at":"2026-08-13T01:04:30.708026Z","submitted_at":"2024-11-27T09:09:00Z","title":"Abductive Symbolic Solver on Abstraction and Reasoning Corpus","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-12T11:31:12.958327Z"},"links":{"citing_paper":"/paper/2411.18158"},"observation_digest":"sha256:07f9e1bc5392c5f233d819eabb30156465cb75701e5295ecfdd7442e2dce3403","observation_id":"1e6d5867-5d15-4736-80d5-609a4e7a4960","resolution":{"observed_at":"2026-08-12T11:31:13.148819Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-08-12T11:31:13.131991Z","title":"Gulwani, Automating string processing in spreadsheets using input-output examples, ACM Sigplan Notices 46 (2011) 317–330","venue":null,"work_id":"1f061389-1e8d-4c0f-b40c-563025d7df67","year":2011},"citing_paper":{"arxiv_id":"2411.18158","last_updated":"2024-11-27T09:09:00Z","snapshot_observed_at":"2026-08-13T01:04:30.708026Z","submitted_at":"2024-11-27T09:09:00Z","title":"Abductive Symbolic Solver on Abstraction and Reasoning Corpus","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-12T11:31:12.961298Z"},"links":{"citing_paper":"/paper/2411.18158"},"observation_digest":"sha256:3ada186bcbe21d8c3fff8a969f5525e6db4750ee225d161d064d1635688b6fe1","observation_id":"7002fbf6-b1a3-4568-9a87-44fd1352c3dc","resolution":{"observed_at":"2026-08-12T11:31:13.137849Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-08-12T11:31:13.120867Z","title":null,"venue":null,"work_id":"43418ef4-e74f-4c03-a27b-2f7c4c1f585a","year":2018},"citing_paper":{"arxiv_id":"2411.18158","last_updated":"2024-11-27T09:09:00Z","snapshot_observed_at":"2026-08-13T01:04:30.708026Z","submitted_at":"2024-11-27T09:09:00Z","title":"Abductive Symbolic Solver on Abstraction and Reasoning Corpus","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-12T11:31:12.965438Z"},"links":{"citing_paper":"/paper/2411.18158"},"observation_digest":"sha256:98a6166ecc277d1ca04b00e19917f5177a6c114b596843454c32c673328bc5cd","observation_id":"20989b22-abd7-4cef-82c0-0b648cbf2c67","resolution":{"observed_at":"2026-08-12T11:31:13.124370Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2306.03460","last_updated":"2023-06-06T07:28:49Z","snapshot_observed_at":"2026-07-06T15:39:02.609692Z","submitted_at":"2023-06-06T07:28:49Z","title":"Natural Language Commanding via Program Synthesis","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2306.03460","snapshot_observed_at":"2026-08-12T11:31:12.968631Z","title":"Gandhi, T","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.18158","last_updated":"2024-11-27T09:09:00Z","snapshot_observed_at":"2026-08-13T01:04:30.708026Z","submitted_at":"2024-11-27T09:09:00Z","title":"Abductive Symbolic Solver on Abstraction and Reasoning Corpus","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-12T11:31:12.968631Z"},"links":{"cited_paper":"/paper/2306.03460","citing_paper":"/paper/2411.18158"},"observation_digest":"sha256:68d334eb4ff93e57d1b172a1e71f3c46c022823e363b8150df2b631882d20e14","observation_id":"53a36ab2-bc5c-427f-b9f3-74fb9fc1c9bb","resolution":{"observed_at":"2026-08-12T11:31:12.968631Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2301.03094","last_updated":"2024-12-24T10:00:23Z","snapshot_observed_at":"2026-08-06T02:46:43.789053Z","submitted_at":"2023-01-08T19:10:55Z","title":"A Divide-Align-Conquer Strategy for Program Synthesis","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2301.03094","snapshot_observed_at":"2026-08-12T11:31:12.971976Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.18158","last_updated":"2024-11-27T09:09:00Z","snapshot_observed_at":"2026-08-13T01:04:30.708026Z","submitted_at":"2024-11-27T09:09:00Z","title":"Abductive Symbolic Solver on Abstraction and Reasoning Corpus","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-12T11:31:12.971976Z"},"links":{"cited_paper":"/paper/2301.03094","citing_paper":"/paper/2411.18158"},"observation_digest":"sha256:29b6fd8c9553bd7b8259f353fd4b10c9e1cf0e4803b149b4345d6c840571358a","observation_id":"a0b8d2f1-bf31-49ab-b043-47ccaceb35b9","resolution":{"observed_at":"2026-08-12T11:31:12.971976Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2411.18158","last_updated":"2024-11-27T09:09:00Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-13T01:04:30.708026Z","submitted_at":"2024-11-27T09:09:00Z","title":"Abductive Symbolic Solver on Abstraction and Reasoning Corpus"},"reference_resolution":{"displayed":23,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":16,"verified_exact":1,"verified_fuzzy":6},"total_outbound_references":23},"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-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"thesis":"As of 13 August 2026, this Paper Citation Record lists 23 of 23 outbound references and 0 inbound Pith citation observations for arXiv:2411.18158."}