Paper Citation Record · LEDGER

Abductive Symbolic Solver on Abstraction and Reasoning Corpus

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.

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

pith.paper-citation-record.v1
2411.18158 v1

Coverage vector

measured 23 of 23 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-12T11:31:12.971976Z

measured 23 of 23 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-14T06:32:32.682623+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

23 of 23 outbound references displayed

verified exact1
verified fuzzy6
unresolved16
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 0fc857ed-f735-4d3a-9b15-18d89ba87928 · outbound

This paper cites MathVista: Evaluating Mathematical Reasoning of Foundation Models in Visual Contexts.

Abductive Symbolic Solver on Abstraction and Reasoning Corpus MathVista: Evaluating Mathematical Reasoning of Foundation Models in Visual Contexts

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-12T11:31:12.894726Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2a16b05b-cd74-4dcb-9099-9b7c8029e8ad · outbound

This paper cites On the Measure of Intelligence.

Abductive Symbolic Solver on Abstraction and Reasoning Corpus On the Measure of Intelligence

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-12T11:31:12.898908Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bb3e1c2e-4ef0-4452-bca5-ea92caa30433 · outbound

This paper cites Raven, Raven progressive matrices, in: Handbook of nonverbal assessment, Springer, 2003, pp.

Abductive Symbolic Solver on Abstraction and Reasoning Corpus Raven, Raven progressive matrices, in: Handbook of nonverbal assessment, Springer, 2003, pp

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:31:13.214632Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation f4315a50-4801-4e0d-916e-1508f8a34d23 · outbound

This paper cites Antol, A.

Abductive Symbolic Solver on Abstraction and Reasoning Corpus Antol, A

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-12T11:31:12.906317Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2e0db2d1-a23c-4eab-b0bf-a9329bb4ef59 · outbound

This paper cites Are Language Models Puzzle Prodigies? Algorithmic Puzzles Unveil Serious Challenges in Multimodal Reasoning.

Abductive Symbolic Solver on Abstraction and Reasoning Corpus Are Language Models Puzzle Prodigies? Algorithmic Puzzles Unveil Serious Challenges in Multimodal Reasoning

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-12T11:31:12.909851Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f3b4fa87-d020-47db-a50a-ae96e60b345a · outbound

This paper cites an unresolved cited work.

Abductive Symbolic Solver on Abstraction and Reasoning Corpus Unresolved cited work

Reference 6

Resolution: unresolved; raw_fallback, observed 2026-08-12T11:31:13.198096Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation ea31000d-fe0c-44e2-a007-aa7481b42148 · outbound

This paper cites Hodel, arc-dsl, https://github.com/michaelhodel/arc-dsl, 2022.

Abductive Symbolic Solver on Abstraction and Reasoning Corpus Hodel, arc-dsl, https://github.com/michaelhodel/arc-dsl, 2022

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:31:13.188922Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation f735049f-4ea9-4cb4-8a58-854c1d413dc8 · outbound

This paper cites LLMs and the Abstraction and Reasoning Corpus: Successes, Failures, and the Importance of Object-based Representations.

Abductive Symbolic Solver on Abstraction and Reasoning Corpus LLMs and the Abstraction and Reasoning Corpus: Successes, Failures, and the Importance of Object-based Representations

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-12T11:31:12.921179Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ebd22ca1-0352-4c27-a5ae-f2831882f4e5 · outbound

This paper cites Reasoning Abilities of Large Language Models: In-Depth Analysis on the Abstraction and Reasoning Corpus.

Abductive Symbolic Solver on Abstraction and Reasoning Corpus Reasoning Abilities of Large Language Models: In-Depth Analysis on the Abstraction and Reasoning Corpus

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-12T11:31:12.924810Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ddc1f214-ec51-40b3-9c90-97977bf1a847 · outbound

This paper cites Hypothesis Search: Inductive Reasoning with Language Models.

Abductive Symbolic Solver on Abstraction and Reasoning Corpus Hypothesis Search: Inductive Reasoning with Language Models

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-12T11:31:12.928188Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ed5d9d78-7ca5-4c16-b5eb-8f0919925156 · outbound

This paper cites Visual Abductive Reasoning.

Abductive Symbolic Solver on Abstraction and Reasoning Corpus Visual Abductive Reasoning

Reference 11

Resolution: verified exact; local_arxiv, observed 2026-08-12T11:31:13.056349Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation b7ff9c6a-a837-494a-853f-9091c40c2ed4 · outbound

This paper cites Addressing the Abstraction and Reasoning Corpus via Procedural Example Generation.

Abductive Symbolic Solver on Abstraction and Reasoning Corpus Addressing the Abstraction and Reasoning Corpus via Procedural Example Generation

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-12T11:31:12.935446Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 38ef9abe-c52b-4c8e-8fbe-055a847eef6b · outbound

This paper cites A Neurodiversity-Inspired Solver for the Abstraction \& Reasoning Corpus (ARC) Using Visual Imagery and Program Synthesis.

Abductive Symbolic Solver on Abstraction and Reasoning Corpus A Neurodiversity-Inspired Solver for the Abstraction \& Reasoning Corpus (ARC) Using Visual Imagery and Program Synthesis

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-12T11:31:12.939011Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0f76766e-96f0-4da3-a969-3fd109d45729 · outbound

This paper cites Alford, A.

Abductive Symbolic Solver on Abstraction and Reasoning Corpus Alford, A

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:31:13.179352Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 3cb695c2-8dc4-4611-9434-f44985658cb3 · outbound

This paper cites Graphs, Constraints, and Search for the Abstraction and Reasoning Corpus.

Abductive Symbolic Solver on Abstraction and Reasoning Corpus Graphs, Constraints, and Search for the Abstraction and Reasoning Corpus

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-12T11:31:12.945968Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 91b0b3b2-a19d-43cd-bc36-0259acecfd96 · outbound

This paper cites Unraveling the ARC Puzzle: Mimicking Human Solutions with Object-Centric Decision Transformer.

Abductive Symbolic Solver on Abstraction and Reasoning Corpus Unraveling the ARC Puzzle: Mimicking Human Solutions with Object-Centric Decision Transformer

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-12T11:31:12.949189Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7a33ed9d-b005-40c0-be5f-676e301a7498 · outbound

This paper cites Kovács, K.

Abductive Symbolic Solver on Abstraction and Reasoning Corpus Kovács, K

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:31:13.168117Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation d43e71e3-3f0f-4425-98ee-5265860562e8 · outbound

This paper cites an unresolved cited work.

Abductive Symbolic Solver on Abstraction and Reasoning Corpus Unresolved cited work

Reference 18

Resolution: unresolved; raw_fallback, observed 2026-08-12T11:31:13.158273Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 1e6d5867-5d15-4736-80d5-609a4e7a4960 · outbound

This paper cites Thagard, C.

Abductive Symbolic Solver on Abstraction and Reasoning Corpus Thagard, C

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:31:13.148819Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 7002fbf6-b1a3-4568-9a87-44fd1352c3dc · outbound

This paper cites Gulwani, Automating string processing in spreadsheets using input-output examples, ACM Sigplan Notices 46 (2011) 317–330.

Abductive Symbolic Solver on Abstraction and Reasoning Corpus Gulwani, Automating string processing in spreadsheets using input-output examples, ACM Sigplan Notices 46 (2011) 317–330

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:31:13.137849Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 20989b22-abd7-4cef-82c0-0b648cbf2c67 · outbound

This paper cites an unresolved cited work.

Abductive Symbolic Solver on Abstraction and Reasoning Corpus Unresolved cited work

Reference 21

Resolution: unresolved; raw_fallback, observed 2026-08-12T11:31:13.124370Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 53a36ab2-bc5c-427f-b9f3-74fb9fc1c9bb · outbound

This paper cites Natural Language Commanding via Program Synthesis.

Abductive Symbolic Solver on Abstraction and Reasoning Corpus Natural Language Commanding via Program Synthesis

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-12T11:31:12.968631Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a0b8d2f1-bf31-49ab-b043-47ccaceb35b9 · outbound

This paper cites A Divide-Align-Conquer Strategy for Program Synthesis.

Abductive Symbolic Solver on Abstraction and Reasoning Corpus A Divide-Align-Conquer Strategy for Program Synthesis

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-12T11:31:12.971976Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.