{"as_of":"2026-08-15T07:49:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:7907775806871ca1c32af0ec8c719ad1393d576d1900c1a1a82625e4a0dc5372","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-15T06:32:42.880941+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-15T06:39:55.081827Z","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:3adc443a81756f9dc0789da5190bf795a154553e2c13d4162c95746276dea248","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-15T06:39:55.081827Z","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:a2a828ff8c43e0db0733e1c740d97a3ebbb527127347084537ec7d0b32ba9436","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-15T06:39:55.081827Z","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:9531aa21978794145b299d5f64da074c7412a1286de8f3cc889b531f2acb3bab","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-15T06:39:55.081827Z","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:8a17d8203e18ed5f8f1ca85698362e6e97f2f41a994bffc28fa9625a7a27c9d1","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-15T06:39:55.081827Z","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:7bcd1004902a92ce3a00e0bde4bf3fe386a3a77cffe7c250e84baf86fde14d65","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-15T06:39:55.081827Z","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:a2f3e64d367bf079597a926b9cda2735d6bca2be193435e40fec8049332207d5","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-15T06:39:55.081827Z","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:85b2780963b07ce216c00fa6467d46da2df28bb9b0604f2a666bb367360e3d3c","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-15T06:39:55.081827Z","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:937a9914e85240ebb9ae8a4d391182c6e9a800d7841a8cdcd6db90a4656b9d49","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-15T06:39:55.081827Z","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:439e2fe44bea349468230ddd2231767a64b4259ea07a451f2c1189f9f945233c","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-15T06:39:55.081827Z","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:1b36b59a78a653bbfd4a7f557b8d758f56740122a52e9f06d6504adefd24e1d3","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-15T06:39:55.081827Z","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:1cfaf80f926fafab8449ea376c4192dde7fffec0dcaacfa90e6fb546c57a97d2","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-15T06:39:55.081827Z","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:6e8c94fd3d7364d30633c4111fd06a91ad53afc3523d78068cacf973295856ca","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-15T06:39:55.081827Z","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:98013d8d350b4d56f71ff47971a00a2db87a9ff505d4927d7abcabf74c4426d2","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-15T06:39:55.081827Z","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:d66f4dff248d1789aa1c828617bde44ec4133233218255a1530163abbb87281f","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-15T06:39:55.081827Z","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:d633e6c49a7ac28dbd9fb548481c7be62886bc22d50005edd01580a201477af8","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-15T06:39:55.081827Z","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:631cc8ac303f68c753cf2140a838d2e6b1155c4f4615f60f736e1e632688a291","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-15T06:39:55.081827Z","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:6c9562b11dbf71e04cfb08a64f8b99152ab7bb67e1ade47bed8039fd6d52576d","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-15T06:39:55.081827Z","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:ea7817bbb9421d92d91f21764b746bb7de408ac82441072eb49a77b642a603ac","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-15T06:39:55.081827Z","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:a8459ea1ed2e88b6b8b01950ba6e05bd545f2bb6a67ffa7d2710abf4b65d7788","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-15T06:39:55.081827Z","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:eda21e0c1268b089e4769216a81154dfae9db0908e30fb991637409bade071ee","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-15T06:39:55.081827Z","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:c766a0196cd906dcac915b981af6384043c801a8d93b2c6d7001c61026d5a180","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-15T06:39:55.081827Z","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:204948f0a013f9ab0a823d68828e78358be83b138b7b81239f9cbaf7e55073a0","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-15T06:39:55.081827Z","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:61f324695b4d57f9d0849926a6bb40ca09c6781d71b4c4d6f2c107118a6e2743","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-15T06:39:55.081827Z","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:55b66b158f9e111740018859e59420eedbe05467b0cdba6848cef03892685137","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T23:59:28.062726Z","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-15T06:39:55.081827Z","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:212304f228cc046ef71fff19f279f16c530eb593d2e0b2e8b8450eb10a34957e","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-15T06:39:55.081827Z","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:c73c22fcbeb19d8665f20261db032aef8fc17f82042a96ef94ebc1acaeef8eb5","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-15T06:39:55.081827Z","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:0b390726fc9a17157ae7a5a78c9ed42a80cb2fd0fa99d5da91d90a47cfb2a087","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-15T06:39:55.081827Z","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:1d157793beef192e88941be3f0c8d2f4af1b7ea1bcca948b5e7034b7c33e6d10","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-15T06:39:55.081827Z","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:fc89c30cfda6900285b7bd5314170c3e5e22f6ba857aafae76cc7e820b41a6d7","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-15T06:39:55.081827Z","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:c12beb6231a40ff53b54457149cceb34a311cc3fa51e279731ac2dde25783f44","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-15T06:39:55.081827Z","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:4e6333a6b4df98e9c2b4271a5c8caeed73a1197f686c1bf6831ccbb41c2943fb","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-15T06:39:55.081827Z","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:9496b3dda1523b6a4f53cee25c43c7d0a9190cd3107f78579ec5956537922e0a","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-15T06:39:55.081827Z","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:8b084c4e378e2d98c54555eed3218273f780658c58c0fdb6cbc4d16fde5c6dfa","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-15T06:39:55.081827Z","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:3e911226b2231aa1bb7c49297f0d308ddbe5e1dd23e38b55db3458ce8cf55bf4","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-15T06:39:55.081827Z","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:37cb9b03544018154b49f51d979f7e6dfc73cf2ddf42614a03b7c4bfe4d8f3e9","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-15T06:39:55.081827Z","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:90045af77921fdc7a6a4e5080f189a47e88624e3d1e4071bd86d804f3fc91be7","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-15T06:39:55.081827Z","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:0983689e3bf88301ca028d8e9af3216d2880dc9031fe53a1bcfb68dc20364ccf","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-15T06:39:55.081827Z","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:0b6df61dfe03eac1b506ae76cee7aaf64d56329b6c876af65fbb3fc63979f183","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-15T06:39:55.081827Z","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:2a55003a82b7b296d5f81ef095b5e8bf9ee85e24cde24d6a30dc582522e504a3","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-15T06:39:55.081827Z","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:3abfc1446aef72050b62e7715d1e021c8acfeb48fd8f1b81309ca524ffbdf857","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-15T06:39:55.081827Z","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:ecd97fb174fbbd6661e766901c6676e1372e3006339972e47941eae7bfd2b58d","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-15T06:39:55.081827Z","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:d37f27ca43d5ffc0c804540d5f3feae3e52b57a10cbacb092df6d59f7dddf08e","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-15T06:39:55.081827Z","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:113d52d2783cd90aefd46834afeb6a6437c01e7427126db527f863c44eb630d4","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-15T06:39:55.081827Z","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-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"thesis":"As of 15 August 2026, this Paper Citation Record lists 43 of 43 outbound references and 0 inbound Pith citation observations for arXiv:2501.10126."}