Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-16T04:31:11.941553Z
Paper Citation Record · LEDGER
MADIL: An MDL-based Framework for Efficient Program Synthesis in the ARC Benchmark
As of 19 August 2026, this Paper Citation Record lists 28 of 28 outbound references and 0 inbound Pith citation observations for arXiv:2505.01081.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-19T06:32:44.657259+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
28 of 28 outbound references displayed
- verified exact0
- verified fuzzy19
- unresolved9
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 61cd546d-6fd6-4017-9069-e6176bb8e1d6 · outbound
This paper cites Krizhevsky, I.
MADIL: An MDL-based Framework for Efficient Program Synthesis in the ARC Benchmark Krizhevsky, I
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T04:31:12.706922Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation f65541b2-4c42-4eaa-84dd-1b4d71ca8ca7 · outbound
This paper cites Silver, A.
MADIL: An MDL-based Framework for Efficient Program Synthesis in the ARC Benchmark Silver, A
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T04:31:12.671602Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 0a5fc4c8-481a-4582-a3cb-2f2fd93a3e3e · outbound
This paper cites Goertzel, Artificial general intelligence: concept, state of the art, and future prospects, Journal of Artificial General Intelligence 5 (1) (2014).
MADIL: An MDL-based Framework for Efficient Program Synthesis in the ARC Benchmark Goertzel, Artificial general intelligence: concept, state of the art, and future prospects, Journal of Artificial General Intelligence 5 (1) (2014)
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T04:31:12.646375Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 39fe581b-2564-4221-81fd-cd2330d64807 · outbound
This paper cites Chollet, A definition of intelligence for the real world, Journal of Artificial General Intelligence 11 (2) (2020) 27–30.
MADIL: An MDL-based Framework for Efficient Program Synthesis in the ARC Benchmark Chollet, A definition of intelligence for the real world, Journal of Artificial General Intelligence 11 (2) (2020) 27–30
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T04:31:12.623296Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 11b92086-42ed-4656-9021-af89526a76a8 · outbound
This paper cites Fast and flexible: Human program induction in abstract reasoning tasks.
MADIL: An MDL-based Framework for Efficient Program Synthesis in the ARC Benchmark Fast and flexible: Human program induction in abstract reasoning tasks
Reference 5
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T04:31:11.792024Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7044857f-5b8a-4d0c-81d1-e758ba3c57b0 · outbound
This paper cites Menon, O.
MADIL: An MDL-based Framework for Efficient Program Synthesis in the ARC Benchmark Menon, O
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T04:31:12.602054Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 688fe5af-33d6-4284-bf11-6fa72cee84da · outbound
This paper cites Rissanen, Modeling by shortest data description, Automatica 14 (5) (1978) 465–471.
MADIL: An MDL-based Framework for Efficient Program Synthesis in the ARC Benchmark Rissanen, Modeling by shortest data description, Automatica 14 (5) (1978) 465–471
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T04:31:12.579784Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 7b046aca-b98c-4a1f-8d52-55857b2dfefe · outbound
This paper cites Grünwald, T.
MADIL: An MDL-based Framework for Efficient Program Synthesis in the ARC Benchmark Grünwald, T
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T04:31:12.554372Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 73514238-930d-4dcc-b0f5-29b9e7e894a0 · outbound
This paper cites Ferré, Dexteris: Data exploration and transformation with a guided query builder approach, in: Int.
MADIL: An MDL-based Framework for Efficient Program Synthesis in the ARC Benchmark Ferré, Dexteris: Data exploration and transformation with a guided query builder approach, in: Int
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T04:31:12.529452Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 083d80d3-f637-4406-b740-0a2b5b9868d5 · outbound
This paper cites Ferré, Tackling the abstraction and reasoning corpus (ARC) with object-centric models and the MDL principle, in: Int.
MADIL: An MDL-based Framework for Efficient Program Synthesis in the ARC Benchmark Ferré, Tackling the abstraction and reasoning corpus (ARC) with object-centric models and the MDL principle, in: Int
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T04:31:12.497884Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation dad0414c-6ebb-45dd-b937-e3b9dcdacd18 · outbound
This paper cites Fischer, M.
MADIL: An MDL-based Framework for Efficient Program Synthesis in the ARC Benchmark Fischer, M
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T04:31:12.468320Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation a7b3553b-4f1d-4470-bca4-ce47c5bfa496 · outbound
This paper cites Alford, A.
MADIL: An MDL-based Framework for Efficient Program Synthesis in the ARC Benchmark Alford, A
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T04:31:12.445318Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 4dd4465f-b8e3-4051-86c1-59873c4eb897 · outbound
This paper cites Towards Efficient Neurally-Guided Program Induction for ARC-AGI.
MADIL: An MDL-based Framework for Efficient Program Synthesis in the ARC Benchmark Towards Efficient Neurally-Guided Program Induction for ARC-AGI
Reference 13
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T04:31:11.843173Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0b93fd1d-3d96-474a-90b7-1208a9fe2486 · outbound
This paper cites Graphs, Constraints, and Search for the Abstraction and Reasoning Corpus.
MADIL: An MDL-based Framework for Efficient Program Synthesis in the ARC Benchmark Graphs, Constraints, and Search for the Abstraction and Reasoning Corpus
Reference 14
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T04:31:11.849939Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4490370b-df40-42ae-8f0c-a834e21b55b3 · outbound
This paper cites A Neurodiversity-Inspired Solver for the Abstraction \& Reasoning Corpus (ARC) Using Visual Imagery and Program Synthesis.
MADIL: An MDL-based Framework for Efficient Program Synthesis in the ARC Benchmark A Neurodiversity-Inspired Solver for the Abstraction \& Reasoning Corpus (ARC) Using Visual Imagery and Program Synthesis
Reference 15
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T04:31:11.858032Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f7732a38-5a62-44b4-8aa0-770f1bc82b67 · outbound
This paper cites Greenblatt, Getting 50%(sota) on arc-agi with gpt-4o (2024).
MADIL: An MDL-based Framework for Efficient Program Synthesis in the ARC Benchmark Greenblatt, Getting 50%(sota) on arc-agi with gpt-4o (2024)
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T04:31:12.425769Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 9bf3dc9c-9180-4478-b8dd-12c14d407515 · outbound
This paper cites Berman, How i came in first on arc-agi-pub using sonnet 3.5 with evolutionary test-time compute (2024).
MADIL: An MDL-based Framework for Efficient Program Synthesis in the ARC Benchmark Berman, How i came in first on arc-agi-pub using sonnet 3.5 with evolutionary test-time compute (2024)
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T04:31:12.400288Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation f7629964-aeb7-45c2-be67-2edc8cbe5fa1 · outbound
This paper cites On the Measure of Intelligence.
MADIL: An MDL-based Framework for Efficient Program Synthesis in the ARC Benchmark On the Measure of Intelligence
Reference 18
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T04:31:11.877104Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation cff6143c-1d0f-4ec4-a94e-b19241a2c32f · outbound
This paper cites Acquaviva, Y.
MADIL: An MDL-based Framework for Efficient Program Synthesis in the ARC Benchmark Acquaviva, Y
Reference 19
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T04:31:12.376086Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 530165a3-ee57-4f5d-bb72-a0677c496cbb · outbound
This paper cites Lieberman, Your Wish is My Command, The Morgan Kaufmann series in interactive technologies, Morgan Kaufmann / Elsevier, 2001.
MADIL: An MDL-based Framework for Efficient Program Synthesis in the ARC Benchmark Lieberman, Your Wish is My Command, The Morgan Kaufmann series in interactive technologies, Morgan Kaufmann / Elsevier, 2001
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T04:31:12.353480Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 5838e12f-99f1-4794-a096-2016ca7e3b98 · outbound
This paper cites Muggleton, L.
MADIL: An MDL-based Framework for Efficient Program Synthesis in the ARC Benchmark Muggleton, L
Reference 21
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T04:31:12.330331Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation f400354c-9ccf-4c21-b971-1d557fcd9b83 · outbound
This paper cites Polozov, S.
MADIL: An MDL-based Framework for Efficient Program Synthesis in the ARC Benchmark Polozov, S
Reference 22
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T04:31:12.307233Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 69fe3d18-811a-4864-8726-464e0083f81d · outbound
This paper cites Mulleners, J.
MADIL: An MDL-based Framework for Efficient Program Synthesis in the ARC Benchmark Mulleners, J
Reference 23
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T04:31:12.279361Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 98738711-a277-4218-93aa-27a16e779279 · outbound
This paper cites an unresolved cited work.
MADIL: An MDL-based Framework for Efficient Program Synthesis in the ARC Benchmark Unresolved cited work
Reference 24
- Resolution
- unresolved
- raw_fallback, observed 2026-08-16T04:31:12.247794Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 59e45b1e-b4c6-473a-bdd8-594e9f9425fc · outbound
This paper cites Ellis, et al., Dreamcoder: Bootstrapping inductive program synthe- sis with wake-sleep library learning, in: ACM Int.
MADIL: An MDL-based Framework for Efficient Program Synthesis in the ARC Benchmark Ellis, et al., Dreamcoder: Bootstrapping inductive program synthe- sis with wake-sleep library learning, in: ACM Int
Reference 25
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T04:31:12.222227Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 356fcee5-67b3-46f9-879c-68314ac1e150 · outbound
This paper cites an unresolved cited work.
MADIL: An MDL-based Framework for Efficient Program Synthesis in the ARC Benchmark Unresolved cited work
Reference 26
- Resolution
- unresolved
- raw_fallback, observed 2026-08-16T04:31:12.198546Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation fe0b2d5f-05f7-4a8d-817e-36be9a2950da · outbound
This paper cites an unresolved cited work.
MADIL: An MDL-based Framework for Efficient Program Synthesis in the ARC Benchmark Unresolved cited work
Reference 27
- Resolution
- unresolved
- raw_fallback, observed 2026-08-16T04:31:12.175990Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation b25687e4-c0e8-4e44-abe2-380d01e6cc21 · outbound
This paper cites an unresolved cited work.
MADIL: An MDL-based Framework for Efficient Program Synthesis in the ARC Benchmark Unresolved cited work
Reference 28
- Resolution
- unresolved
- raw_fallback, observed 2026-08-16T04:31:12.151416Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Pith citing papers
No inbound Pith citation observations are available.