Paper Citation Record · LEDGER

Small Decision Trees for MDPs with Deductive Synthesis

As of 11 August 2026, this Paper Citation Record lists 43 of 43 outbound references and 0 inbound Pith citation observations for arXiv:2501.10126.

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

pith.paper-citation-record.v1
2501.10126 v2

Coverage vector

measured 43 of 43 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-10T19:30:54.470793Z

measured 43 of 43 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-10T06:31:04.303077+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

43 of 43 outbound references displayed

verified exact0
verified fuzzy31
unresolved12
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation d1059329-0e7e-4a17-ad45-5e411801982a · outbound

This paper cites In: TACAS.

Small Decision Trees for MDPs with Deductive Synthesis In: TACAS

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T19:30:54.953338Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation f305b5b2-cbf2-45b4-b7c0-c40def1dfcaa · outbound

This paper cites an unresolved cited work.

Small Decision Trees for MDPs with Deductive Synthesis Unresolved cited work

Reference 2

Resolution: unresolved; raw_fallback, observed 2026-08-10T19:30:54.943247Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 7c4a1908-dd4e-49aa-a40c-4ff2d7bffbbe · outbound

This paper cites In: CA V.

Small Decision Trees for MDPs with Deductive Synthesis In: CA V

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T19:30:54.932811Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 60d3996d-a592-44d2-a910-918160bf0d20 · outbound

This paper cites In: UAI (to appear) (2025).

Small Decision Trees for MDPs with Deductive Synthesis In: UAI (to appear) (2025)

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T19:30:54.922881Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation dec4a832-dcab-475e-96dd-045187816378 · outbound

This paper cites In: TACAS.

Small Decision Trees for MDPs with Deductive Synthesis In: TACAS

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T19:30:54.912837Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation d70e671f-de9a-4538-b0bd-4774b1629e33 · outbound

This paper cites In: QEST.

Small Decision Trees for MDPs with Deductive Synthesis In: QEST

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T19:30:54.902507Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 099aac3e-8eb4-457a-b1a3-bfbf3ff158d8 · outbound

This paper cites In: Handbook of Model Checking, pp.

Small Decision Trees for MDPs with Deductive Synthesis In: Handbook of Model Checking, pp

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T19:30:54.893022Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 15fcfe8c-f25e-4ade-90af-67a2b4c6a2c7 · outbound

This paper cites Advances in neural information processing systems 31 (2018).

Small Decision Trees for MDPs with Deductive Synthesis Advances in neural information processing systems 31 (2018)

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T19:30:54.881674Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 00c3d3bd-4707-479b-9d48-313b467fe265 · outbound

This paper cites Proceedings of the ACM on Programming Languages 8(POPL), 2792–2820 (2024).

Small Decision Trees for MDPs with Deductive Synthesis Proceedings of the ACM on Programming Languages 8(POPL), 2792–2820 (2024)

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T19:30:54.871440Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation c18ee33b-fcc9-4ee2-b669-4900902286d7 · outbound

This paper cites an unresolved cited work.

Small Decision Trees for MDPs with Deductive Synthesis Unresolved cited work

Reference 10

Resolution: unresolved; raw_fallback, observed 2026-08-10T19:30:54.860413Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 57080d39-f848-4c5f-b753-f8e2be147af5 · outbound

This paper cites In: CA V.

Small Decision Trees for MDPs with Deductive Synthesis In: CA V

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T19:30:54.850047Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation f188e33b-4ecb-4e14-8517-35cb80e1765b · outbound

This paper cites In: ISoLA.

Small Decision Trees for MDPs with Deductive Synthesis In: ISoLA

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T19:30:54.840442Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 78f248ff-0286-49ed-9f0f-e80820eaa855 · outbound

This paper cites In: TACAS.

Small Decision Trees for MDPs with Deductive Synthesis In: TACAS

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T19:30:54.830927Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation b076162b-ca0b-4a6a-b6de-231f0a23288a · outbound

This paper cites In: ICAPS.

Small Decision Trees for MDPs with Deductive Synthesis In: ICAPS

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T19:30:54.821401Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation b59f6321-1ed1-4d5a-9a11-6e65ee71d3d7 · outbound

This paper cites In: TACAS.

Small Decision Trees for MDPs with Deductive Synthesis In: TACAS

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T19:30:54.811074Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 3b230988-eb0f-4909-94f4-5612becfaa64 · outbound

This paper cites In: ATV A.

Small Decision Trees for MDPs with Deductive Synthesis In: ATV A

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T19:30:54.800459Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 3b812281-7b62-4f3b-aeb3-e9874cd92c44 · outbound

This paper cites In: TACAS.

Small Decision Trees for MDPs with Deductive Synthesis In: TACAS

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T19:30:54.789782Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 798e4047-9e91-4b12-b60c-bb5fe738df74 · outbound

This paper cites Logical Methods in Computer Science 11 (2015).

Small Decision Trees for MDPs with Deductive Synthesis Logical Methods in Computer Science 11 (2015)

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T19:30:54.778199Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 9535873a-bb77-499b-baf1-1d91ca88e579 · outbound

This paper cites an unresolved cited work.

Small Decision Trees for MDPs with Deductive Synthesis Unresolved cited work

Reference 19

Resolution: unresolved; raw_fallback, observed 2026-08-10T19:30:54.767104Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation e7193c8f-79cf-443d-b68c-839a920c4eb1 · outbound

This paper cites In: AAAI.

Small Decision Trees for MDPs with Deductive Synthesis In: AAAI

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T19:30:54.757183Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 51f90344-99a7-4d77-9fb3-8b9f34d300f5 · outbound

This paper cites Information and Computation 126(2), 114–122 (1996).

Small Decision Trees for MDPs with Deductive Synthesis Information and Computation 126(2), 114–122 (1996)

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T19:30:54.746593Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation ff89e5f0-59ef-4bf9-8e6d-66b7136cd574 · outbound

This paper cites In: AAAI/IAAI.

Small Decision Trees for MDPs with Deductive Synthesis In: AAAI/IAAI

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T19:30:54.735465Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 2115accf-773e-4f08-a1cf-41fd137c402b · outbound

This paper cites an unresolved cited work.

Small Decision Trees for MDPs with Deductive Synthesis Unresolved cited work

Reference 23

Resolution: unresolved; raw_fallback, observed 2026-08-10T19:30:54.724537Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation cc3917ce-dd9a-47b1-bab2-6c889f76baac · outbound

This paper cites In: TACAS.

Small Decision Trees for MDPs with Deductive Synthesis In: TACAS

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T19:30:54.712866Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation c0c0ad0b-248b-4083-badb-719320ba596e · outbound

This paper cites Interpretable and Editable Programmatic Tree Policies for Reinforcement Learning.

Small Decision Trees for MDPs with Deductive Synthesis Interpretable and Editable Programmatic Tree Policies for Reinforcement Learning

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-10T19:30:54.408504Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f13396ba-c8e6-4f84-aa73-6bc290a43c38 · outbound

This paper cites an unresolved cited work.

Small Decision Trees for MDPs with Deductive Synthesis Unresolved cited work

Reference 26

Resolution: unresolved; raw_fallback, observed 2026-08-10T19:30:54.701582Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation b9f1c203-38ff-4fe7-be1a-dbdb3415a6b4 · outbound

This paper cites In: ICAPS.

Small Decision Trees for MDPs with Deductive Synthesis In: ICAPS

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T19:30:54.689920Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 640cec94-ded4-4338-af23-2db0846e0f97 · outbound

This paper cites In: CA V.

Small Decision Trees for MDPs with Deductive Synthesis In: CA V

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T19:30:54.679498Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 6090c73e-9ed5-49f1-af47-a13b60fcc19d · outbound

This paper cites Information processing letters 5(1), 15–17 (1976).

Small Decision Trees for MDPs with Deductive Synthesis Information processing letters 5(1), 15–17 (1976)

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T19:30:54.667566Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation a861762e-ef6b-42a6-bb78-5d4f0b0985bb · outbound

This paper cites European Journal of Operational Research 211(3), 556–567 (2011).

Small Decision Trees for MDPs with Deductive Synthesis European Journal of Operational Research 211(3), 556–567 (2011)

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T19:30:54.655522Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 0e78a820-00ff-4627-adb3-75f9fc4d9523 · outbound

This paper cites Robotics and Autonomous Systems 131, 103568 (2020).

Small Decision Trees for MDPs with Deductive Synthesis Robotics and Autonomous Systems 131, 103568 (2020)

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T19:30:54.641993Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 37db6fed-f549-494b-b125-0c5482f071a7 · outbound

This paper cites In: TACAS.

Small Decision Trees for MDPs with Deductive Synthesis In: TACAS

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T19:30:54.630276Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 53d9927c-7204-4a3a-807b-9952cc6b29f8 · outbound

This paper cites In: IJCAI.

Small Decision Trees for MDPs with Deductive Synthesis In: IJCAI

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T19:30:54.618588Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 4fcc2e90-67a2-4f7f-8bec-2ad436f23a44 · outbound

This paper cites Wiley Series in Probability and Statistics, Wiley (1994).

Small Decision Trees for MDPs with Deductive Synthesis Wiley Series in Probability and Statistics, Wiley (1994)

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-10T19:30:54.443407Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a2a7892c-0b80-429f-9c45-3a7cdcb3028a · outbound

This paper cites John Wiley & Sons (2014).

Small Decision Trees for MDPs with Deductive Synthesis John Wiley & Sons (2014)

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-10T19:30:54.446357Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b0e7a891-e049-484d-8fd1-24e40872c79a · outbound

This paper cites MIT Press (2018).

Small Decision Trees for MDPs with Deductive Synthesis MIT Press (2018)

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-10T19:30:54.448939Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4cbf846c-8f48-49ea-9df7-50844fc3ed6d · outbound

This paper cites In: AAAI.

Small Decision Trees for MDPs with Deductive Synthesis In: AAAI

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T19:30:54.586641Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 2873ab1b-d472-4507-b80c-a86eee36da19 · outbound

This paper cites an unresolved cited work.

Small Decision Trees for MDPs with Deductive Synthesis Unresolved cited work

Reference 38

Resolution: unresolved; raw_fallback, observed 2026-08-10T19:30:54.575487Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 998d6787-8bfa-475a-96fd-93799b472242 · outbound

This paper cites In: ICML.

Small Decision Trees for MDPs with Deductive Synthesis In: ICML

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T19:30:54.564348Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 944dc197-e739-4e51-8f86-ef3698f2ede1 · outbound

This paper cites In: IJCAI.

Small Decision Trees for MDPs with Deductive Synthesis In: IJCAI

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T19:30:54.553359Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation e700d5e7-8148-48c3-a400-f7ad4a7a1c5c · outbound

This paper cites an unresolved cited work.

Small Decision Trees for MDPs with Deductive Synthesis Unresolved cited work

Reference 41

Resolution: unresolved; raw_fallback, observed 2026-08-10T19:30:54.541640Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation d949bd60-7c97-4f4e-999a-ee39e8458a07 · outbound

This paper cites an unresolved cited work.

Small Decision Trees for MDPs with Deductive Synthesis Unresolved cited work

Reference 42

Resolution: unresolved; raw_fallback, observed 2026-08-10T19:30:54.529945Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 5696b332-b745-4e81-83e6-09c72cb860f9 · outbound

This paper cites the decision tree that achieves value above 0 .5 indeed needs to distinguish all these n+3 states into separate leaf nodes.

Small Decision Trees for MDPs with Deductive Synthesis the decision tree that achieves value above 0 .5 indeed needs to distinguish all these n+3 states into separate leaf nodes

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T19:30:54.516559Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Pith citing papers

No inbound Pith citation observations are available.