{"as_of":"2026-08-14T20:35:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:c51939b89308bd1125cce9df51ebca77fc2fb20bc5a0885be95b890794b2a896","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-14T06:32:32.682623+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:0f0f0f081cb0617eacceb09e0b082db0422de88fb13442fc73fbf44935c80322","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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:4590eb3d5a0836f3229f7b11ca56c55e719c8cffc24c03deb28780ee3f9f795e","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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:606b7a9509bdb3fff912f3f9a47ae56d362655a5dd65ef6794d44f4ff6aa5f47","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-13T11:32:16.840125Z","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:7874032fff12a431c91253fe4ee753e98cf4deffa32318f9ed35c7e5f419c306","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-13T10:15:48.512306Z","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:8509335396744ec91b34e44e85e158989a8c8efdcea7377ed8fe857ed515edfa","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-13T16:14:57.143632Z","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:4e38d8f00ab1e9503db2cc8d8505d760dd5864283a3d88da9a969736b570e5c6","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-08-14T09:55:13.773511Z","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:52ba7a643de103b21053eb70583b8d39944f9c13e122ff636c8f9019be590af2","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:8665aa98f9daf5749ff096bf2d2ab84e03904b589c61fc11b4ee92661390de8e","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-08-13T14:02:48.835952Z","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:9bd3e55369c10523413873ef1086ce165bf026b63f8efc571ec8da3c8a63f301","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-08-13T11:17:47.176130Z","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:f632aa53b58b91bcf17f0a7fd1fc2eb21f6541f76d6ad2d9ce26e134795d934d","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:c6820ec9fd68be37c0cfeb60c0c3c7d539a17396c50887bb13f4e172cfa475f0","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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:33674d60236733e38001a1e2c7a57b4dfd701aed32a9d0a792d23b97bcc7aa5f","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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:520bc6bf6c2111768603f91b0e1790585e59e28dfd533be8e6b5db41382dc414","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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:fe7146e00d5461b17de643310c075c80a319a8e0dd8bc5960537b340ad434675","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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:11410c937dcd095e4fa913c8932a29c110a61e25288a918c1222cdc24cccc9b9","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-08-13T11:23:41.128242Z","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:48a3c99b5ea584c3458cddb51023d86b68be940e3b7b94fe9434cc8a7c404979","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-13T13:08:09.311123Z","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:d73985b2bffa59f648b842436fe5bccb686943446bba3f4d1d8edd8c8bc4c395","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-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"thesis":"As of 14 August 2026, this Paper Citation Record lists 23 of 23 outbound references and 0 inbound Pith citation observations for arXiv:2411.18158."}