{"as_of":"2026-08-11T04:18:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:50a17870fc94dcc3ffacaa409679cf08c80026997cbe144f94748a8cc4f547c5","coverage":[{"denominator":43,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":43,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-10T19:30:54.470793Z","state":"measured"},{"denominator":43,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":43,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-10T06:31:04.303077+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/2501.10126/citation-record","integrity":"/paper/2501.10126/integrity","json":"/paper/2501.10126/citation-record.json","paper":"/paper/2501.10126"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T19:30:54.949796Z","title":"In: TACAS","venue":null,"work_id":"c6b9f1f2-e269-4aa5-b91e-07cd55caaeab","year":2021},"citing_paper":{"arxiv_id":"2501.10126","last_updated":"2025-05-22T12:48:23Z","snapshot_observed_at":"2026-08-10T19:35:51.831715Z","submitted_at":"2025-01-17T11:30:31Z","title":"Small Decision Trees for MDPs with Deductive Synthesis","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-10T19:30:54.313036Z"},"links":{"citing_paper":"/paper/2501.10126"},"observation_digest":"sha256:2697b3d7ae245da058e243f8b3f820c3035e3168c446c62fb012ade943cba581","observation_id":"d1059329-0e7e-4a17-ad45-5e411801982a","resolution":{"observed_at":"2026-08-10T19:30:54.953338Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T19:30:54.939646Z","title":null,"venue":null,"work_id":"729176ed-ea82-4580-a796-67456d96a824","year":2022},"citing_paper":{"arxiv_id":"2501.10126","last_updated":"2025-05-22T12:48:23Z","snapshot_observed_at":"2026-08-10T19:35:51.831715Z","submitted_at":"2025-01-17T11:30:31Z","title":"Small Decision Trees for MDPs with Deductive Synthesis","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-10T19:30:54.319198Z"},"links":{"citing_paper":"/paper/2501.10126"},"observation_digest":"sha256:02426c792cff879bcff61502c1f16e79832b59a42db0cd900a788042fdab139b","observation_id":"f305b5b2-cbf2-45b4-b7c0-c40def1dfcaa","resolution":{"observed_at":"2026-08-10T19:30:54.943247Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T19:30:54.929211Z","title":"In: CA V","venue":null,"work_id":"2df03505-8b7f-4da1-ba3d-e7241d33c9bd","year":2021},"citing_paper":{"arxiv_id":"2501.10126","last_updated":"2025-05-22T12:48:23Z","snapshot_observed_at":"2026-08-10T19:35:51.831715Z","submitted_at":"2025-01-17T11:30:31Z","title":"Small Decision Trees for MDPs with Deductive Synthesis","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-10T19:30:54.323625Z"},"links":{"citing_paper":"/paper/2501.10126"},"observation_digest":"sha256:cfd69cd3fd3fffbf127f09f09b46c57cb2671c56ee9dcb189470e0202412f8f5","observation_id":"7c4a1908-dd4e-49aa-a40c-4ff2d7bffbbe","resolution":{"observed_at":"2026-08-10T19:30:54.932811Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T19:30:54.919661Z","title":"In: UAI (to appear) (2025)","venue":null,"work_id":"7ba7080f-d700-4eb4-9782-385d6ff7e8bf","year":2025},"citing_paper":{"arxiv_id":"2501.10126","last_updated":"2025-05-22T12:48:23Z","snapshot_observed_at":"2026-08-10T19:35:51.831715Z","submitted_at":"2025-01-17T11:30:31Z","title":"Small Decision Trees for MDPs with Deductive Synthesis","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-10T19:30:54.327956Z"},"links":{"citing_paper":"/paper/2501.10126"},"observation_digest":"sha256:33155f4d3daa14749945276e5bf63db304c8112a3f7cd01a8a402c1bbbaeba7c","observation_id":"60d3996d-a592-44d2-a910-918160bf0d20","resolution":{"observed_at":"2026-08-10T19:30:54.922881Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T19:30:54.909299Z","title":"In: TACAS","venue":null,"work_id":"ca9bcf0a-fe4a-4891-981f-311872a26507","year":2021},"citing_paper":{"arxiv_id":"2501.10126","last_updated":"2025-05-22T12:48:23Z","snapshot_observed_at":"2026-08-10T19:35:51.831715Z","submitted_at":"2025-01-17T11:30:31Z","title":"Small Decision Trees for MDPs with Deductive Synthesis","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-10T19:30:54.333216Z"},"links":{"citing_paper":"/paper/2501.10126"},"observation_digest":"sha256:0d64a4f7a7bfcbcd36eaad75e695f3a3689556c372da5c0b7556eeb0187c2b73","observation_id":"dec4a832-dcab-475e-96dd-045187816378","resolution":{"observed_at":"2026-08-10T19:30:54.912837Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T19:30:54.899196Z","title":"In: QEST","venue":null,"work_id":"863e2a33-f240-40a6-b611-51cee4583a05","year":2019},"citing_paper":{"arxiv_id":"2501.10126","last_updated":"2025-05-22T12:48:23Z","snapshot_observed_at":"2026-08-10T19:35:51.831715Z","submitted_at":"2025-01-17T11:30:31Z","title":"Small Decision Trees for MDPs with Deductive Synthesis","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-10T19:30:54.337471Z"},"links":{"citing_paper":"/paper/2501.10126"},"observation_digest":"sha256:15359e6d70c930089fa3d5417c68103153cf4e7e057ae4694550038cf6da208a","observation_id":"d70e671f-de9a-4538-b0bd-4774b1629e33","resolution":{"observed_at":"2026-08-10T19:30:54.902507Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T19:30:54.889003Z","title":"In: Handbook of Model Checking, pp","venue":null,"work_id":"f64646f3-97e8-4ddf-a4bb-8fea4343221f","year":2018},"citing_paper":{"arxiv_id":"2501.10126","last_updated":"2025-05-22T12:48:23Z","snapshot_observed_at":"2026-08-10T19:35:51.831715Z","submitted_at":"2025-01-17T11:30:31Z","title":"Small Decision Trees for MDPs with Deductive Synthesis","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-10T19:30:54.341780Z"},"links":{"citing_paper":"/paper/2501.10126"},"observation_digest":"sha256:e047df4540ba82c7ed7d285968bf1b1779e98006300a3b1755c072e76cded6af","observation_id":"099aac3e-8eb4-457a-b1a3-bfbf3ff158d8","resolution":{"observed_at":"2026-08-10T19:30:54.893022Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T19:30:54.877958Z","title":"Advances in neural information processing systems 31 (2018)","venue":null,"work_id":"9a55eec0-3a79-4091-ac77-b5600acec30f","year":2018},"citing_paper":{"arxiv_id":"2501.10126","last_updated":"2025-05-22T12:48:23Z","snapshot_observed_at":"2026-08-10T19:35:51.831715Z","submitted_at":"2025-01-17T11:30:31Z","title":"Small Decision Trees for MDPs with Deductive Synthesis","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-10T19:30:54.346206Z"},"links":{"citing_paper":"/paper/2501.10126"},"observation_digest":"sha256:d5e294f0f3bf5305b96d9fd9ed1856ce3aac1e165a2a2971c07a521dab1bfcdd","observation_id":"15fcfe8c-f25e-4ade-90af-67a2b4c6a2c7","resolution":{"observed_at":"2026-08-10T19:30:54.881674Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T19:30:54.867908Z","title":"Proceedings of the ACM on Programming Languages 8(POPL), 2792–2820 (2024)","venue":null,"work_id":"c7d79641-a9c7-44db-a1e5-90f951973918","year":2024},"citing_paper":{"arxiv_id":"2501.10126","last_updated":"2025-05-22T12:48:23Z","snapshot_observed_at":"2026-08-10T19:35:51.831715Z","submitted_at":"2025-01-17T11:30:31Z","title":"Small Decision Trees for MDPs with Deductive Synthesis","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-10T19:30:54.350168Z"},"links":{"citing_paper":"/paper/2501.10126"},"observation_digest":"sha256:cb55e0878fe1216535cdfc369b9ab19859a29c73de215ec8b7cdbaad48768aeb","observation_id":"00c3d3bd-4707-479b-9d48-313b467fe265","resolution":{"observed_at":"2026-08-10T19:30:54.871440Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T19:30:54.856921Z","title":null,"venue":null,"work_id":"eaef4a04-cc70-4c1e-b5f4-e0de6ba2dc98","year":2009},"citing_paper":{"arxiv_id":"2501.10126","last_updated":"2025-05-22T12:48:23Z","snapshot_observed_at":"2026-08-10T19:35:51.831715Z","submitted_at":"2025-01-17T11:30:31Z","title":"Small Decision Trees for MDPs with Deductive Synthesis","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-10T19:30:54.353958Z"},"links":{"citing_paper":"/paper/2501.10126"},"observation_digest":"sha256:9a515892330dcece408f15908c639d06f95443eb48289de65431c51a44a73478","observation_id":"c18ee33b-fcc9-4ee2-b669-4900902286d7","resolution":{"observed_at":"2026-08-10T19:30:54.860413Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T19:30:54.846629Z","title":"In: CA V","venue":null,"work_id":"0e3b0bbe-9f37-434c-9efa-af16046004f7","year":2015},"citing_paper":{"arxiv_id":"2501.10126","last_updated":"2025-05-22T12:48:23Z","snapshot_observed_at":"2026-08-10T19:35:51.831715Z","submitted_at":"2025-01-17T11:30:31Z","title":"Small Decision Trees for MDPs with Deductive Synthesis","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-10T19:30:54.357837Z"},"links":{"citing_paper":"/paper/2501.10126"},"observation_digest":"sha256:4afa56cff6794a9cef211051b97c262fa7c7b98a12ea5e5024f1489535b7025b","observation_id":"57080d39-f848-4c5f-b753-f8e2be147af5","resolution":{"observed_at":"2026-08-10T19:30:54.850047Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T19:30:54.837447Z","title":"In: ISoLA","venue":null,"work_id":"a6b529da-ac42-470d-9839-4daabcf55c0a","year":2020},"citing_paper":{"arxiv_id":"2501.10126","last_updated":"2025-05-22T12:48:23Z","snapshot_observed_at":"2026-08-10T19:35:51.831715Z","submitted_at":"2025-01-17T11:30:31Z","title":"Small Decision Trees for MDPs with Deductive Synthesis","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-10T19:30:54.361467Z"},"links":{"citing_paper":"/paper/2501.10126"},"observation_digest":"sha256:dfa369721033f0bd711ff98455ecae06cc4c638d1f19de9ae13d85ccb0824517","observation_id":"f188e33b-4ecb-4e14-8517-35cb80e1765b","resolution":{"observed_at":"2026-08-10T19:30:54.840442Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T19:30:54.828009Z","title":"In: TACAS","venue":null,"work_id":"0cb3839f-164a-4bbb-88ed-a60cfa5e31fd","year":2019},"citing_paper":{"arxiv_id":"2501.10126","last_updated":"2025-05-22T12:48:23Z","snapshot_observed_at":"2026-08-10T19:35:51.831715Z","submitted_at":"2025-01-17T11:30:31Z","title":"Small Decision Trees for MDPs with Deductive Synthesis","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-10T19:30:54.365425Z"},"links":{"citing_paper":"/paper/2501.10126"},"observation_digest":"sha256:314102a26ff21cefe9a90c4bea8a84a39d67ed662d623c44a0a99b3ca4d1e840","observation_id":"78f248ff-0286-49ed-9f0f-e80820eaa855","resolution":{"observed_at":"2026-08-10T19:30:54.830927Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T19:30:54.817768Z","title":"In: ICAPS","venue":null,"work_id":"7606232e-d9fc-48b9-bf53-f3888ea24bae","year":2018},"citing_paper":{"arxiv_id":"2501.10126","last_updated":"2025-05-22T12:48:23Z","snapshot_observed_at":"2026-08-10T19:35:51.831715Z","submitted_at":"2025-01-17T11:30:31Z","title":"Small Decision Trees for MDPs with Deductive Synthesis","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-10T19:30:54.368540Z"},"links":{"citing_paper":"/paper/2501.10126"},"observation_digest":"sha256:42cd14a36e2e1154b3db595cbaa14ecefe00f2c9861e248e7b9f451b6b582b31","observation_id":"b076162b-ca0b-4a6a-b6de-231f0a23288a","resolution":{"observed_at":"2026-08-10T19:30:54.821401Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T19:30:54.807183Z","title":"In: TACAS","venue":null,"work_id":"318c66ae-1aef-411c-81c1-de8a707ae78f","year":2015},"citing_paper":{"arxiv_id":"2501.10126","last_updated":"2025-05-22T12:48:23Z","snapshot_observed_at":"2026-08-10T19:35:51.831715Z","submitted_at":"2025-01-17T11:30:31Z","title":"Small Decision Trees for MDPs with Deductive Synthesis","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-10T19:30:54.371608Z"},"links":{"citing_paper":"/paper/2501.10126"},"observation_digest":"sha256:6c21798e9d78826a7a8319176b2cbb2048a5f8d21843e4ff98fb3f87e92f95cd","observation_id":"b59f6321-1ed1-4d5a-9a11-6e65ee71d3d7","resolution":{"observed_at":"2026-08-10T19:30:54.811074Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T19:30:54.796804Z","title":"In: ATV A","venue":null,"work_id":"5084f7b4-8134-4b2f-b33a-ced99c05aa67","year":2014},"citing_paper":{"arxiv_id":"2501.10126","last_updated":"2025-05-22T12:48:23Z","snapshot_observed_at":"2026-08-10T19:35:51.831715Z","submitted_at":"2025-01-17T11:30:31Z","title":"Small Decision Trees for MDPs with Deductive Synthesis","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-10T19:30:54.374725Z"},"links":{"citing_paper":"/paper/2501.10126"},"observation_digest":"sha256:1cf726151562490e1c425008e3c758c32d639d38dab14a9e9cd1df84a5d44292","observation_id":"3b230988-eb0f-4909-94f4-5612becfaa64","resolution":{"observed_at":"2026-08-10T19:30:54.800459Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T19:30:54.785892Z","title":"In: TACAS","venue":null,"work_id":"f0bb2a04-2257-4602-b869-73ac4c61bc49","year":2020},"citing_paper":{"arxiv_id":"2501.10126","last_updated":"2025-05-22T12:48:23Z","snapshot_observed_at":"2026-08-10T19:35:51.831715Z","submitted_at":"2025-01-17T11:30:31Z","title":"Small Decision Trees for MDPs with Deductive Synthesis","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-10T19:30:54.379100Z"},"links":{"citing_paper":"/paper/2501.10126"},"observation_digest":"sha256:5d8d79196a1a6e85d977ef0195475e86ea550a1c42339f886692e93e188f1b3e","observation_id":"3b812281-7b62-4f3b-aeb3-e9874cd92c44","resolution":{"observed_at":"2026-08-10T19:30:54.789782Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T19:30:54.773365Z","title":"Logical Methods in Computer Science 11 (2015)","venue":null,"work_id":"3a7e981c-b3a4-4e80-99d1-75452ca2eeb4","year":2015},"citing_paper":{"arxiv_id":"2501.10126","last_updated":"2025-05-22T12:48:23Z","snapshot_observed_at":"2026-08-10T19:35:51.831715Z","submitted_at":"2025-01-17T11:30:31Z","title":"Small Decision Trees for MDPs with Deductive Synthesis","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-10T19:30:54.382550Z"},"links":{"citing_paper":"/paper/2501.10126"},"observation_digest":"sha256:5917d0314c257693f2a66f165056adb9fee281d7723c9a3235266774f3b1cddb","observation_id":"798e4047-9e91-4b12-b60c-bb5fe738df74","resolution":{"observed_at":"2026-08-10T19:30:54.778199Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T19:30:54.764066Z","title":null,"venue":null,"work_id":"1618a252-a9aa-41b1-9784-d5d8f15e4703","year":2024},"citing_paper":{"arxiv_id":"2501.10126","last_updated":"2025-05-22T12:48:23Z","snapshot_observed_at":"2026-08-10T19:35:51.831715Z","submitted_at":"2025-01-17T11:30:31Z","title":"Small Decision Trees for MDPs with Deductive Synthesis","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-10T19:30:54.386344Z"},"links":{"citing_paper":"/paper/2501.10126"},"observation_digest":"sha256:52c8f7982cf7f09a615622f5556e57fdfb79f84fdc990e6bbbf3ae768fc3e7c6","observation_id":"9535873a-bb77-499b-baf1-1d91ca88e579","resolution":{"observed_at":"2026-08-10T19:30:54.767104Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T19:30:54.753773Z","title":"In: AAAI","venue":null,"work_id":"883961f2-4ffb-4e7a-bef2-19927c0af308","year":2015},"citing_paper":{"arxiv_id":"2501.10126","last_updated":"2025-05-22T12:48:23Z","snapshot_observed_at":"2026-08-10T19:35:51.831715Z","submitted_at":"2025-01-17T11:30:31Z","title":"Small Decision Trees for MDPs with Deductive Synthesis","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-10T19:30:54.389669Z"},"links":{"citing_paper":"/paper/2501.10126"},"observation_digest":"sha256:79cb3e6b170650e8b5be4ce58b3d0448ef829a7b02351ad63c41fd90fd598913","observation_id":"e7193c8f-79cf-443d-b68c-839a920c4eb1","resolution":{"observed_at":"2026-08-10T19:30:54.757183Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T19:30:54.742957Z","title":"Information and Computation 126(2), 114–122 (1996)","venue":null,"work_id":"b7af0703-8d15-4f12-bae1-728a30c95c89","year":1996},"citing_paper":{"arxiv_id":"2501.10126","last_updated":"2025-05-22T12:48:23Z","snapshot_observed_at":"2026-08-10T19:35:51.831715Z","submitted_at":"2025-01-17T11:30:31Z","title":"Small Decision Trees for MDPs with Deductive Synthesis","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-10T19:30:54.393699Z"},"links":{"citing_paper":"/paper/2501.10126"},"observation_digest":"sha256:ca88bdb70aeb18cf151067fb0bfd725b5b6a5001d820fe4f32e2d55ed7431182","observation_id":"51f90344-99a7-4d77-9fb3-8b9f34d300f5","resolution":{"observed_at":"2026-08-10T19:30:54.746593Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T19:30:54.731912Z","title":"In: AAAI/IAAI","venue":null,"work_id":"9ef3a7d4-5b35-447d-9f99-3dc4d412bc5d","year":1997},"citing_paper":{"arxiv_id":"2501.10126","last_updated":"2025-05-22T12:48:23Z","snapshot_observed_at":"2026-08-10T19:35:51.831715Z","submitted_at":"2025-01-17T11:30:31Z","title":"Small Decision Trees for MDPs with Deductive Synthesis","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-10T19:30:54.397674Z"},"links":{"citing_paper":"/paper/2501.10126"},"observation_digest":"sha256:e1a8d1e2d45b8e8a0d5e778492d2d0a2cf99dbe3155db38a52cc3288359c99d7","observation_id":"ff89e5f0-59ef-4bf9-8e6d-66b7136cd574","resolution":{"observed_at":"2026-08-10T19:30:54.735465Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T19:30:54.720352Z","title":null,"venue":null,"work_id":"fad6638c-895b-41ff-ba48-cb0036ea4e2c","year":2022},"citing_paper":{"arxiv_id":"2501.10126","last_updated":"2025-05-22T12:48:23Z","snapshot_observed_at":"2026-08-10T19:35:51.831715Z","submitted_at":"2025-01-17T11:30:31Z","title":"Small Decision Trees for MDPs with Deductive Synthesis","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-10T19:30:54.401089Z"},"links":{"citing_paper":"/paper/2501.10126"},"observation_digest":"sha256:ba5f3af7e50d0f9ac5d63d1c9ec921287011aa613b18eaddfeac87c5a9ebba89","observation_id":"2115accf-773e-4f08-a1cf-41fd137c402b","resolution":{"observed_at":"2026-08-10T19:30:54.724537Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T19:30:54.709024Z","title":"In: TACAS","venue":null,"work_id":"22e3cc2a-b9cb-481e-b916-523eba037a5b","year":2016},"citing_paper":{"arxiv_id":"2501.10126","last_updated":"2025-05-22T12:48:23Z","snapshot_observed_at":"2026-08-10T19:35:51.831715Z","submitted_at":"2025-01-17T11:30:31Z","title":"Small Decision Trees for MDPs with Deductive Synthesis","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-10T19:30:54.404876Z"},"links":{"citing_paper":"/paper/2501.10126"},"observation_digest":"sha256:0a4ae205ae76988f0282426ae782159f57c52bb89a02efb982827a033eb85aea","observation_id":"cc3917ce-dd9a-47b1-bab2-6c889f76baac","resolution":{"observed_at":"2026-08-10T19:30:54.712866Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.14956","last_updated":"2024-05-23T18:07:38Z","snapshot_observed_at":"2026-08-03T20:33:04.114191Z","submitted_at":"2024-05-23T18:07:38Z","title":"Interpretable and Editable Programmatic Tree Policies for Reinforcement Learning","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.14956","snapshot_observed_at":"2026-08-10T19:30:54.408504Z","title":"Preprint arXiv:2405.14956 (2024)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2501.10126","last_updated":"2025-05-22T12:48:23Z","snapshot_observed_at":"2026-08-10T19:35:51.831715Z","submitted_at":"2025-01-17T11:30:31Z","title":"Small Decision Trees for MDPs with Deductive Synthesis","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-10T19:30:54.408504Z"},"links":{"cited_paper":"/paper/2405.14956","citing_paper":"/paper/2501.10126"},"observation_digest":"sha256:2275791ccfe9bc8bfd384ec036679bbabb883552f474726aaef606383ca476fe","observation_id":"c0c0ad0b-248b-4083-badb-719320ba596e","resolution":{"observed_at":"2026-08-10T19:30:54.408504Z","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-10T19:30:54.697610Z","title":null,"venue":null,"work_id":"499ff506-d9ff-4052-9332-3afb5441660e","year":2024},"citing_paper":{"arxiv_id":"2501.10126","last_updated":"2025-05-22T12:48:23Z","snapshot_observed_at":"2026-08-10T19:35:51.831715Z","submitted_at":"2025-01-17T11:30:31Z","title":"Small Decision Trees for MDPs with Deductive Synthesis","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-10T19:30:54.412528Z"},"links":{"citing_paper":"/paper/2501.10126"},"observation_digest":"sha256:8d438477a8966a3e003842084a8e543a39e8435898511a666e0c3a0a42050c8f","observation_id":"f13396ba-c8e6-4f84-aa73-6bc290a43c38","resolution":{"observed_at":"2026-08-10T19:30:54.701582Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T19:30:54.686619Z","title":"In: ICAPS","venue":null,"work_id":"6a831ba3-eb1d-44f5-8f1c-3111ccf31b03","year":2015},"citing_paper":{"arxiv_id":"2501.10126","last_updated":"2025-05-22T12:48:23Z","snapshot_observed_at":"2026-08-10T19:35:51.831715Z","submitted_at":"2025-01-17T11:30:31Z","title":"Small Decision Trees for MDPs with Deductive Synthesis","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-10T19:30:54.416369Z"},"links":{"citing_paper":"/paper/2501.10126"},"observation_digest":"sha256:18a5b4aadd51b394ed3882a30fad5d06ed364ac9c8ac2d52f88d58edf6a8c822","observation_id":"b9f1c203-38ff-4fe7-be1a-dbdb3415a6b4","resolution":{"observed_at":"2026-08-10T19:30:54.689920Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T19:30:54.676159Z","title":"In: CA V","venue":null,"work_id":"9d13b6f1-e09c-4914-8f43-7416b3f7f8b5","year":2011},"citing_paper":{"arxiv_id":"2501.10126","last_updated":"2025-05-22T12:48:23Z","snapshot_observed_at":"2026-08-10T19:35:51.831715Z","submitted_at":"2025-01-17T11:30:31Z","title":"Small Decision Trees for MDPs with Deductive Synthesis","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-10T19:30:54.420493Z"},"links":{"citing_paper":"/paper/2501.10126"},"observation_digest":"sha256:26ba11cfc8cb2dbe8d063916451dd603b515ccd2df1529b8e204573096de672c","observation_id":"640cec94-ded4-4338-af23-2db0846e0f97","resolution":{"observed_at":"2026-08-10T19:30:54.679498Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T19:30:54.664146Z","title":"Information processing letters 5(1), 15–17 (1976)","venue":null,"work_id":"93589233-5075-4742-88f8-99641cd3b769","year":1976},"citing_paper":{"arxiv_id":"2501.10126","last_updated":"2025-05-22T12:48:23Z","snapshot_observed_at":"2026-08-10T19:35:51.831715Z","submitted_at":"2025-01-17T11:30:31Z","title":"Small Decision Trees for MDPs with Deductive Synthesis","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-10T19:30:54.424495Z"},"links":{"citing_paper":"/paper/2501.10126"},"observation_digest":"sha256:6c85ebb0b19850a85a66daaf40a077939ba34789a1f83273c31ea5eb42a69355","observation_id":"6090c73e-9ed5-49f1-af47-a13b60fcc19d","resolution":{"observed_at":"2026-08-10T19:30:54.667566Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T19:30:54.649923Z","title":"European Journal of Operational Research 211(3), 556–567 (2011)","venue":null,"work_id":"12c90aed-c876-43ee-90c5-a6b1d8f52e36","year":2011},"citing_paper":{"arxiv_id":"2501.10126","last_updated":"2025-05-22T12:48:23Z","snapshot_observed_at":"2026-08-10T19:35:51.831715Z","submitted_at":"2025-01-17T11:30:31Z","title":"Small Decision Trees for MDPs with Deductive Synthesis","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-10T19:30:54.428464Z"},"links":{"citing_paper":"/paper/2501.10126"},"observation_digest":"sha256:c4c9a57919904f39785170917e656f8f885e621ef3693f6334c28053ec2998f0","observation_id":"a861762e-ef6b-42a6-bb78-5d4f0b0985bb","resolution":{"observed_at":"2026-08-10T19:30:54.655522Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T19:30:54.637991Z","title":"Robotics and Autonomous Systems 131, 103568 (2020)","venue":null,"work_id":"15fc438e-540a-4a1e-a4f5-d042d3df9de3","year":2020},"citing_paper":{"arxiv_id":"2501.10126","last_updated":"2025-05-22T12:48:23Z","snapshot_observed_at":"2026-08-10T19:35:51.831715Z","submitted_at":"2025-01-17T11:30:31Z","title":"Small Decision Trees for MDPs with Deductive Synthesis","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-10T19:30:54.432543Z"},"links":{"citing_paper":"/paper/2501.10126"},"observation_digest":"sha256:50c30c77d0375baef54b1e1b0ae5a10700017d002f00e651e352bd10b9eb64d4","observation_id":"0e78a820-00ff-4627-adb3-75f9fc4d9523","resolution":{"observed_at":"2026-08-10T19:30:54.641993Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T19:30:54.626090Z","title":"In: TACAS","venue":null,"work_id":"5039c57a-440d-48fa-b597-391d89a27c9a","year":2008},"citing_paper":{"arxiv_id":"2501.10126","last_updated":"2025-05-22T12:48:23Z","snapshot_observed_at":"2026-08-10T19:35:51.831715Z","submitted_at":"2025-01-17T11:30:31Z","title":"Small Decision Trees for MDPs with Deductive Synthesis","version":2},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-10T19:30:54.436397Z"},"links":{"citing_paper":"/paper/2501.10126"},"observation_digest":"sha256:d9dde70aabcd4bf186d5d38602579106db641b8b208d08ef5c56f617ab7af0c0","observation_id":"37db6fed-f549-494b-b125-0c5482f071a7","resolution":{"observed_at":"2026-08-10T19:30:54.630276Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T19:30:54.614818Z","title":"In: IJCAI","venue":null,"work_id":"7c20bd0a-bda0-440e-bd8d-3376551d13c7","year":2018},"citing_paper":{"arxiv_id":"2501.10126","last_updated":"2025-05-22T12:48:23Z","snapshot_observed_at":"2026-08-10T19:35:51.831715Z","submitted_at":"2025-01-17T11:30:31Z","title":"Small Decision Trees for MDPs with Deductive Synthesis","version":2},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-10T19:30:54.440291Z"},"links":{"citing_paper":"/paper/2501.10126"},"observation_digest":"sha256:821475cc7a98d72dfcd05aa9073b52014ebe3120e8e3363d5711f4c26e76e95e","observation_id":"53d9927c-7204-4a3a-807b-9952cc6b29f8","resolution":{"observed_at":"2026-08-10T19:30:54.618588Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T19:30:54.443407Z","title":"Wiley Series in Probability and Statistics, Wiley (1994)","venue":null,"work_id":null,"year":1994},"citing_paper":{"arxiv_id":"2501.10126","last_updated":"2025-05-22T12:48:23Z","snapshot_observed_at":"2026-08-10T19:35:51.831715Z","submitted_at":"2025-01-17T11:30:31Z","title":"Small Decision Trees for MDPs with Deductive Synthesis","version":2},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-10T19:30:54.443407Z"},"links":{"citing_paper":"/paper/2501.10126"},"observation_digest":"sha256:b91123a789724e2b808d61eaf461bc3609d385649f7c3de23089e0d0d51ab4b7","observation_id":"4fcc2e90-67a2-4f7f-8bec-2ad436f23a44","resolution":{"observed_at":"2026-08-10T19:30:54.443407Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T19:30:54.446357Z","title":"John Wiley & Sons (2014)","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2501.10126","last_updated":"2025-05-22T12:48:23Z","snapshot_observed_at":"2026-08-10T19:35:51.831715Z","submitted_at":"2025-01-17T11:30:31Z","title":"Small Decision Trees for MDPs with Deductive Synthesis","version":2},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-10T19:30:54.446357Z"},"links":{"citing_paper":"/paper/2501.10126"},"observation_digest":"sha256:b1ec42685fae3a7a7b81f7647a67e94ce23cfb1a569e219fe3daca1db36d09e1","observation_id":"a2a7892c-0b80-429f-9c45-3a7cdcb3028a","resolution":{"observed_at":"2026-08-10T19:30:54.446357Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T19:30:54.448939Z","title":"MIT Press (2018)","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2501.10126","last_updated":"2025-05-22T12:48:23Z","snapshot_observed_at":"2026-08-10T19:35:51.831715Z","submitted_at":"2025-01-17T11:30:31Z","title":"Small Decision Trees for MDPs with Deductive Synthesis","version":2},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-10T19:30:54.448939Z"},"links":{"citing_paper":"/paper/2501.10126"},"observation_digest":"sha256:ac95274d1b503eb4724b51e694529350587d5963ad3b4dd93607255c2e5342c4","observation_id":"b0e7a891-e049-484d-8fd1-24e40872c79a","resolution":{"observed_at":"2026-08-10T19:30:54.448939Z","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-10T19:30:54.582684Z","title":"In: AAAI","venue":null,"work_id":"9941045c-4148-4c27-9e78-4d5d2084658f","year":2021},"citing_paper":{"arxiv_id":"2501.10126","last_updated":"2025-05-22T12:48:23Z","snapshot_observed_at":"2026-08-10T19:35:51.831715Z","submitted_at":"2025-01-17T11:30:31Z","title":"Small Decision Trees for MDPs with Deductive Synthesis","version":2},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-10T19:30:54.451979Z"},"links":{"citing_paper":"/paper/2501.10126"},"observation_digest":"sha256:274cc084eea9140492b0186f3a4e6970a295df9a35b2a6fd6d1234ccda713663","observation_id":"4cbf846c-8f48-49ea-9df7-50844fc3ed6d","resolution":{"observed_at":"2026-08-10T19:30:54.586641Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T19:30:54.571950Z","title":null,"venue":null,"work_id":"488d8d0c-58c1-4736-8b3c-26f2911e651d","year":2021},"citing_paper":{"arxiv_id":"2501.10126","last_updated":"2025-05-22T12:48:23Z","snapshot_observed_at":"2026-08-10T19:35:51.831715Z","submitted_at":"2025-01-17T11:30:31Z","title":"Small Decision Trees for MDPs with Deductive Synthesis","version":2},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-10T19:30:54.454687Z"},"links":{"citing_paper":"/paper/2501.10126"},"observation_digest":"sha256:89ff186983bca236d270a50fe7bf7ea7772d16a94873e18deca68b11572ffa56","observation_id":"2873ab1b-d472-4507-b80c-a86eee36da19","resolution":{"observed_at":"2026-08-10T19:30:54.575487Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T19:30:54.560933Z","title":"In: ICML","venue":null,"work_id":"1e9692ba-4b4b-4dde-9eb0-5247773c00dd","year":2018},"citing_paper":{"arxiv_id":"2501.10126","last_updated":"2025-05-22T12:48:23Z","snapshot_observed_at":"2026-08-10T19:35:51.831715Z","submitted_at":"2025-01-17T11:30:31Z","title":"Small Decision Trees for MDPs with Deductive Synthesis","version":2},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-10T19:30:54.457695Z"},"links":{"citing_paper":"/paper/2501.10126"},"observation_digest":"sha256:782f19e3df4dba50270eab9de447ad763cb134e24912f6eee579ed70aced04bd","observation_id":"998d6787-8bfa-475a-96fd-93799b472242","resolution":{"observed_at":"2026-08-10T19:30:54.564348Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T19:30:54.549578Z","title":"In: IJCAI","venue":null,"work_id":"57380c83-6406-4180-992a-4bb0074338f0","year":2023},"citing_paper":{"arxiv_id":"2501.10126","last_updated":"2025-05-22T12:48:23Z","snapshot_observed_at":"2026-08-10T19:35:51.831715Z","submitted_at":"2025-01-17T11:30:31Z","title":"Small Decision Trees for MDPs with Deductive Synthesis","version":2},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-10T19:30:54.460723Z"},"links":{"citing_paper":"/paper/2501.10126"},"observation_digest":"sha256:d66d28205d201932cd5c5f759df40f1cabfaeada22ec693068e2f84d6c89fa98","observation_id":"944dc197-e739-4e51-8f86-ef3698f2ede1","resolution":{"observed_at":"2026-08-10T19:30:54.553359Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T19:30:54.537974Z","title":null,"venue":null,"work_id":"f0e5009c-4948-4116-9814-056588f800da","year":null},"citing_paper":{"arxiv_id":"2501.10126","last_updated":"2025-05-22T12:48:23Z","snapshot_observed_at":"2026-08-10T19:35:51.831715Z","submitted_at":"2025-01-17T11:30:31Z","title":"Small Decision Trees for MDPs with Deductive Synthesis","version":2},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-10T19:30:54.463545Z"},"links":{"citing_paper":"/paper/2501.10126"},"observation_digest":"sha256:79b953187d90d3c49a1a3cc4b37f6858d8374ad52fad0d35b74577911649794a","observation_id":"e700d5e7-8148-48c3-a400-f7ad4a7a1c5c","resolution":{"observed_at":"2026-08-10T19:30:54.541640Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T19:30:54.525824Z","title":null,"venue":null,"work_id":"e255a33f-4827-4ea0-8a9c-c01003f7d2a6","year":null},"citing_paper":{"arxiv_id":"2501.10126","last_updated":"2025-05-22T12:48:23Z","snapshot_observed_at":"2026-08-10T19:35:51.831715Z","submitted_at":"2025-01-17T11:30:31Z","title":"Small Decision Trees for MDPs with Deductive Synthesis","version":2},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-10T19:30:54.466761Z"},"links":{"citing_paper":"/paper/2501.10126"},"observation_digest":"sha256:9c2ca60ea4374fe18b7f9700076cd667d26d493c54d6c1bffc07db893abed3e5","observation_id":"d949bd60-7c97-4f4e-999a-ee39e8458a07","resolution":{"observed_at":"2026-08-10T19:30:54.529945Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T19:30:54.510322Z","title":"the decision tree that achieves value above 0 .5 indeed needs to distinguish all these n+3 states into separate leaf nodes","venue":null,"work_id":"95ab9019-dba6-4ad5-909f-3d83a75a69d1","year":1950},"citing_paper":{"arxiv_id":"2501.10126","last_updated":"2025-05-22T12:48:23Z","snapshot_observed_at":"2026-08-10T19:35:51.831715Z","submitted_at":"2025-01-17T11:30:31Z","title":"Small Decision Trees for MDPs with Deductive Synthesis","version":2},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-10T19:30:54.470793Z"},"links":{"citing_paper":"/paper/2501.10126"},"observation_digest":"sha256:6a1df663e89e380e2bff475c2be737c9d76a770a359b3352852a38d13f48aaf4","observation_id":"5696b332-b745-4e81-83e6-09c72cb860f9","resolution":{"observed_at":"2026-08-10T19:30:54.516559Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2501.10126","last_updated":"2025-05-22T12:48:23Z","latest_version":2,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-10T19:35:51.831715Z","submitted_at":"2025-01-17T11:30:31Z","title":"Small Decision Trees for MDPs with Deductive Synthesis"},"reference_resolution":{"displayed":43,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":12,"verified_exact":0,"verified_fuzzy":31},"total_outbound_references":43},"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-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"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."}