{"as_of":"2026-08-10T12:04:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:3ea463c3218987a0816047fb99735464e44c5ec1576fe7d93ada45f87d1d54dd","coverage":[{"denominator":26,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":26,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-13T21:49:42.006847Z","state":"measured"},{"denominator":26,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":26,"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/2603.19954/citation-record","integrity":"/paper/2603.19954/integrity","json":"/paper/2603.19954/citation-record.json","paper":"/paper/2603.19954"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T21:49:42.006847Z","title":"Jiang, H., Hahn, M., Zetzsche, G., and Lin, A","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2603.19954","last_updated":"2026-07-03T09:42:27Z","snapshot_observed_at":"2026-08-10T09:23:21.400262Z","submitted_at":"2026-03-20T13:55:29Z","title":"On the Ability of Transformers to Verify Plans","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-07-13T21:49:42.006847Z"},"links":{"citing_paper":"/paper/2603.19954"},"observation_digest":"sha256:165a540c6e95b8888836851adfe0709ceeec23b00f28e79cd23860ad413c8f06","observation_id":"26ed432b-aa5d-4f14-8f94-e438d9dc98f3","resolution":{"observed_at":"2026-07-13T21:49:42.006847Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2308.03212","last_updated":"2023-08-21T18:54:56Z","snapshot_observed_at":"2026-08-10T09:23:13.726246Z","submitted_at":"2023-08-06T21:23:22Z","title":"Average-Hard Attention Transformers are Constant-Depth Uniform Threshold Circuits","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2308.03212","snapshot_observed_at":"2026-07-13T21:49:42.006847Z","title":"Stein, K., Fiˇser, D., Hoffmann, J., and Koller, A","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2603.19954","last_updated":"2026-07-03T09:42:27Z","snapshot_observed_at":"2026-08-10T09:23:21.400262Z","submitted_at":"2026-03-20T13:55:29Z","title":"On the Ability of Transformers to Verify Plans","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-07-13T21:49:42.006847Z"},"links":{"cited_paper":"/paper/2308.03212","citing_paper":"/paper/2603.19954"},"observation_digest":"sha256:8c8c6512a04cf666db2df1a027c2de2eec88197e82bccd21b77ce41df8ce15c4","observation_id":"b91be800-59b6-4fc9-8730-d150fc366dbe","resolution":{"observed_at":"2026-07-13T21:49:42.006847Z","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-07-13T21:49:42.006847Z","title":"Weiss, G., Goldberg, Y ., and Yahav, E","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2603.19954","last_updated":"2026-07-03T09:42:27Z","snapshot_observed_at":"2026-08-10T09:23:21.400262Z","submitted_at":"2026-03-20T13:55:29Z","title":"On the Ability of Transformers to Verify Plans","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-07-13T21:49:42.006847Z"},"links":{"citing_paper":"/paper/2603.19954"},"observation_digest":"sha256:3bec845eadc12b2dfeeada073e072111dc8c8e7f70a08d7dd13b16ec3446f5a8","observation_id":"76c8f42b-7f86-483c-97f2-e55bca13327f","resolution":{"observed_at":"2026-07-13T21:49:42.006847Z","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-07-13T21:49:42.006847Z","title":"Zhou, H., Bradley, A., Littwin, E., Razin, N., Saremi, O., Susskind, J","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2603.19954","last_updated":"2026-07-03T09:42:27Z","snapshot_observed_at":"2026-08-10T09:23:21.400262Z","submitted_at":"2026-03-20T13:55:29Z","title":"On the Ability of Transformers to Verify Plans","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-07-13T21:49:42.006847Z"},"links":{"citing_paper":"/paper/2603.19954"},"observation_digest":"sha256:5a6f03d6526857dfb38887843c9617fcf537397e12b0f581d725a15280647495","observation_id":"a99faea7-446c-4fc9-9c37-85500eb14a99","resolution":{"observed_at":"2026-07-13T21:49:42.006847Z","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-07-13T21:49:42.006847Z","title":"Proof of Statement 1","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2603.19954","last_updated":"2026-07-03T09:42:27Z","snapshot_observed_at":"2026-08-10T09:23:21.400262Z","submitted_at":"2026-03-20T13:55:29Z","title":"On the Ability of Transformers to Verify Plans","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-07-13T21:49:42.006847Z"},"links":{"citing_paper":"/paper/2603.19954"},"observation_digest":"sha256:55afaf8fae35dd533e2fdeb1c1e7d10b48c9521122a5d2803b2ff6d4e5b7e246","observation_id":"c823c4da-c828-46b4-9a8d-ac89dbca3471","resolution":{"observed_at":"2026-07-13T21:49:42.006847Z","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-07-13T21:49:42.006847Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2603.19954","last_updated":"2026-07-03T09:42:27Z","snapshot_observed_at":"2026-08-10T09:23:21.400262Z","submitted_at":"2026-03-20T13:55:29Z","title":"On the Ability of Transformers to Verify Plans","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-07-13T21:49:42.006847Z"},"links":{"citing_paper":"/paper/2603.19954"},"observation_digest":"sha256:e3d7e7faa4b286d870c164fb3b51cbfecc214ebc2a2464402dd94416dd96f007","observation_id":"6212d31f-e16d-4c38-8846-a55425a3cf6a","resolution":{"observed_at":"2026-07-13T21:49:42.006847Z","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-07-13T21:49:42.006847Z","title":"Let a∈A be a specific ground action, defined by schema α and argument objects u�,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2603.19954","last_updated":"2026-07-03T09:42:27Z","snapshot_observed_at":"2026-08-10T09:23:21.400262Z","submitted_at":"2026-03-20T13:55:29Z","title":"On the Ability of Transformers to Verify Plans","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-07-13T21:49:42.006847Z"},"links":{"citing_paper":"/paper/2603.19954"},"observation_digest":"sha256:29cb46e5c53a7466f4148cac3202fa6f36b75763861c957cacde9971d9f22230","observation_id":"db927e49-ea64-4815-a2cc-da28b9c4eefb","resolution":{"observed_at":"2026-07-13T21:49:42.006847Z","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-07-13T21:49:42.006847Z","title":"These sets will be fixed and known a priori, given our fixed objects and domain","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2603.19954","last_updated":"2026-07-03T09:42:27Z","snapshot_observed_at":"2026-08-10T09:23:21.400262Z","submitted_at":"2026-03-20T13:55:29Z","title":"On the Ability of Transformers to Verify Plans","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-07-13T21:49:42.006847Z"},"links":{"citing_paper":"/paper/2603.19954"},"observation_digest":"sha256:45b9906de90127328c898fe3639bffb320c411a73fc6fe5b5e1421bc328c7157","observation_id":"460c3017-e49a-4bff-a4d9-24b40cbc6a83","resolution":{"observed_at":"2026-07-13T21:49:42.006847Z","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-07-13T21:49:42.006847Z","title":"• Well-Formed: Because of well-formedness, the truth value of a proposition toggles (False → True → False)","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2603.19954","last_updated":"2026-07-03T09:42:27Z","snapshot_observed_at":"2026-08-10T09:23:21.400262Z","submitted_at":"2026-03-20T13:55:29Z","title":"On the Ability of Transformers to Verify Plans","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-07-13T21:49:42.006847Z"},"links":{"citing_paper":"/paper/2603.19954"},"observation_digest":"sha256:4be3c96d110be3bf0e18b6dd05c21bc5623142c2f15318c3633886a9c216883f","observation_id":"f460ab86-5950-4aed-ae6d-9ec26db43501","resolution":{"observed_at":"2026-07-13T21:49:42.006847Z","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-07-13T21:49:42.006847Z","title":"We need to check that all the preconditions are satisfiedbeforethe action effect takes place","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2603.19954","last_updated":"2026-07-03T09:42:27Z","snapshot_observed_at":"2026-08-10T09:23:21.400262Z","submitted_at":"2026-03-20T13:55:29Z","title":"On the Ability of Transformers to Verify Plans","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-07-13T21:49:42.006847Z"},"links":{"citing_paper":"/paper/2603.19954"},"observation_digest":"sha256:4af0274effb62980627628f9a11447a5ab935b5adcd330c5685dc37409757aac","observation_id":"574821ea-b37f-4a12-806b-4a30d0e8dd6f","resolution":{"observed_at":"2026-07-13T21:49:42.006847Z","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-07-13T21:49:42.006847Z","title":"We iterate over our ground propositions","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2603.19954","last_updated":"2026-07-03T09:42:27Z","snapshot_observed_at":"2026-08-10T09:23:21.400262Z","submitted_at":"2026-03-20T13:55:29Z","title":"On the Ability of Transformers to Verify Plans","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-07-13T21:49:42.006847Z"},"links":{"citing_paper":"/paper/2603.19954"},"observation_digest":"sha256:3aa53ea5afb9aac44fc6d18b68869aaf045d0dc6e0377cd824ccead1b4b659ec","observation_id":"e5136e6a-fa09-4ca6-958d-ea7eab42d3eb","resolution":{"observed_at":"2026-07-13T21:49:42.006847Z","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-07-13T21:49:42.006847Z","title":"In particular, generalization from both limited number of objects and plan lengths during training to a increased number of objects and plan lengths is expected","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2603.19954","last_updated":"2026-07-03T09:42:27Z","snapshot_observed_at":"2026-08-10T09:23:21.400262Z","submitted_at":"2026-03-20T13:55:29Z","title":"On the Ability of Transformers to Verify Plans","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-07-13T21:49:42.006847Z"},"links":{"citing_paper":"/paper/2603.19954"},"observation_digest":"sha256:cbfcda158ccd8f6d2ee8c2f1ad998d51b96d5822b102dfc2c31c5fd378da2a5c","observation_id":"498c8253-041b-4c23-8bee-7181ee726c3d","resolution":{"observed_at":"2026-07-13T21:49:42.006847Z","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-07-13T21:49:42.006847Z","title":"Generalization to instances with longer plans or increased number of objects is thus not expected","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2603.19954","last_updated":"2026-07-03T09:42:27Z","snapshot_observed_at":"2026-08-10T09:23:21.400262Z","submitted_at":"2026-03-20T13:55:29Z","title":"On the Ability of Transformers to Verify Plans","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-07-13T21:49:42.006847Z"},"links":{"citing_paper":"/paper/2603.19954"},"observation_digest":"sha256:1aab32d5e9a47ed0d3ac45c1402735b0dc28270b7e97988c21824772c52231e8","observation_id":"727d93c7-0151-42bd-a034-77d9a14a8eb0","resolution":{"observed_at":"2026-07-13T21:49:42.006847Z","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-07-13T21:49:42.006847Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2603.19954","last_updated":"2026-07-03T09:42:27Z","snapshot_observed_at":"2026-08-10T09:23:21.400262Z","submitted_at":"2026-03-20T13:55:29Z","title":"On the Ability of Transformers to Verify Plans","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-07-13T21:49:42.006847Z"},"links":{"citing_paper":"/paper/2603.19954"},"observation_digest":"sha256:8ab3acd1281db31eb72bb0df9d8269152d3f54a8fa93f038b292ea77e2a3ea02","observation_id":"9f1c0613-b6c5-48cf-99f1-70835788c2ff","resolution":{"observed_at":"2026-07-13T21:49:42.006847Z","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-07-13T21:49:42.006847Z","title":"•F P �: The set of action names along with placeholder object arguments α∈� that have p in their delete-effects (eff(α)� )","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2603.19954","last_updated":"2026-07-03T09:42:27Z","snapshot_observed_at":"2026-08-10T09:23:21.400262Z","submitted_at":"2026-03-20T13:55:29Z","title":"On the Ability of Transformers to Verify Plans","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-07-13T21:49:42.006847Z"},"links":{"citing_paper":"/paper/2603.19954"},"observation_digest":"sha256:400a8ff94b3f76a287bb7e62bf6c96d20347a4fe59310820474b21a9ef22013c","observation_id":"5fcd9452-a670-419a-9fef-d97d1134af34","resolution":{"observed_at":"2026-07-13T21:49:42.006847Z","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-07-13T21:49:42.006847Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2603.19954","last_updated":"2026-07-03T09:42:27Z","snapshot_observed_at":"2026-08-10T09:23:21.400262Z","submitted_at":"2026-03-20T13:55:29Z","title":"On the Ability of Transformers to Verify Plans","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-07-13T21:49:42.006847Z"},"links":{"citing_paper":"/paper/2603.19954"},"observation_digest":"sha256:e3fb28f3dc4ab0f2da7defcb7ebfe1a56468a2b376dab07382e1651042d45fed","observation_id":"684d3c85-a18e-4331-bc31-0e664a62b30f","resolution":{"observed_at":"2026-07-13T21:49:42.006847Z","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-07-13T21:49:42.006847Z","title":"Thus, we compare them exclusively through their positions relative to the object names","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2603.19954","last_updated":"2026-07-03T09:42:27Z","snapshot_observed_at":"2026-08-10T09:23:21.400262Z","submitted_at":"2026-03-20T13:55:29Z","title":"On the Ability of Transformers to Verify Plans","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-07-13T21:49:42.006847Z"},"links":{"citing_paper":"/paper/2603.19954"},"observation_digest":"sha256:ee9ac0e5642342c3d0b534557139904263655e0c52d1a925178ddb396f63485c","observation_id":"c2a7a78e-5530-4553-af5a-1e251adcfc55","resolution":{"observed_at":"2026-07-13T21:49:42.006847Z","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-07-13T21:49:42.006847Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2603.19954","last_updated":"2026-07-03T09:42:27Z","snapshot_observed_at":"2026-08-10T09:23:21.400262Z","submitted_at":"2026-03-20T13:55:29Z","title":"On the Ability of Transformers to Verify Plans","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-07-13T21:49:42.006847Z"},"links":{"citing_paper":"/paper/2603.19954"},"observation_digest":"sha256:d0a1d4bfffc6c0c1ed85667ddfd81662ae6b6364d34c56b3acea79a2c1244226","observation_id":"45921eba-38b4-4086-8c64-bdd0fd79a3f4","resolution":{"observed_at":"2026-07-13T21:49:42.006847Z","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-07-13T21:49:42.006847Z","title":"We iterate over all predicates p∈ P","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2603.19954","last_updated":"2026-07-03T09:42:27Z","snapshot_observed_at":"2026-08-10T09:23:21.400262Z","submitted_at":"2026-03-20T13:55:29Z","title":"On the Ability of Transformers to Verify Plans","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-07-13T21:49:42.006847Z"},"links":{"citing_paper":"/paper/2603.19954"},"observation_digest":"sha256:9c5b9dde17308fa3b5def99a87b772d6ff0cd4d3a910682f96667fd9c5e67ecb","observation_id":"086ea9d7-af8d-4e68-864c-9c24b50fb72e","resolution":{"observed_at":"2026-07-13T21:49:42.006847Z","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-07-13T21:49:42.006847Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2603.19954","last_updated":"2026-07-03T09:42:27Z","snapshot_observed_at":"2026-08-10T09:23:21.400262Z","submitted_at":"2026-03-20T13:55:29Z","title":"On the Ability of Transformers to Verify Plans","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-07-13T21:49:42.006847Z"},"links":{"citing_paper":"/paper/2603.19954"},"observation_digest":"sha256:e14ab44f917754744ed22bc21341c13906e6adc22f5d81b02e40aec3f5cf5f02","observation_id":"1f5a84be-e5a3-4592-9ed0-83c87c4dd0f0","resolution":{"observed_at":"2026-07-13T21:49:42.006847Z","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-07-13T21:49:42.006847Z","title":"Thus, the interaction collapses to aConstant","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2603.19954","last_updated":"2026-07-03T09:42:27Z","snapshot_observed_at":"2026-08-10T09:23:21.400262Z","submitted_at":"2026-03-20T13:55:29Z","title":"On the Ability of Transformers to Verify Plans","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-07-13T21:49:42.006847Z"},"links":{"citing_paper":"/paper/2603.19954"},"observation_digest":"sha256:01315c70a7a21d59287fe2baa37b520ceda810cc365f2f22a658c2c7a7909178","observation_id":"b13f33ae-5848-4875-81d5-38164bd60d80","resolution":{"observed_at":"2026-07-13T21:49:42.006847Z","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-07-13T21:49:42.006847Z","title":"There existsC emb >0such that: sup ��� ∥� �∥ ≤C emb andsup ��� ∥�� ∥ ≤C emb (13)","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2603.19954","last_updated":"2026-07-03T09:42:27Z","snapshot_observed_at":"2026-08-10T09:23:21.400262Z","submitted_at":"2026-03-20T13:55:29Z","title":"On the Ability of Transformers to Verify Plans","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-07-13T21:49:42.006847Z"},"links":{"citing_paper":"/paper/2603.19954"},"observation_digest":"sha256:0bdb15fd6051edd0757e40a75639addee5287cfcccf7ad0c1a39ea47d3275b36","observation_id":"85ea120c-79c5-4c39-9733-3b061988739f","resolution":{"observed_at":"2026-07-13T21:49:42.006847Z","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-07-13T21:49:42.006847Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2603.19954","last_updated":"2026-07-03T09:42:27Z","snapshot_observed_at":"2026-08-10T09:23:21.400262Z","submitted_at":"2026-03-20T13:55:29Z","title":"On the Ability of Transformers to Verify Plans","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-07-13T21:49:42.006847Z"},"links":{"citing_paper":"/paper/2603.19954"},"observation_digest":"sha256:55a61938f8ad3cdd3e44a5904cff6c9184903e64adceed758a49f129ca08bef9","observation_id":"bfb2e083-4046-48ed-9131-f943fc324922","resolution":{"observed_at":"2026-07-13T21:49:42.006847Z","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-07-13T21:49:42.006847Z","title":"There exists dff ∈� such that � � :H →� � ff and � � :� � ff → H","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2603.19954","last_updated":"2026-07-03T09:42:27Z","snapshot_observed_at":"2026-08-10T09:23:21.400262Z","submitted_at":"2026-03-20T13:55:29Z","title":"On the Ability of Transformers to Verify Plans","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-07-13T21:49:42.006847Z"},"links":{"citing_paper":"/paper/2603.19954"},"observation_digest":"sha256:815dbd0f9e50b663e0e38f6f9e3ea67ed9a9f6eb950cae86b84dfc4a13674b4b","observation_id":"f57f6f71-10de-4942-8db5-7af4bdfb87d1","resolution":{"observed_at":"2026-07-13T21:49:42.006847Z","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-07-13T21:49:42.006847Z","title":"Each product function must evaluate to a number in p-bit precision, for some fixed p∈�","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2603.19954","last_updated":"2026-07-03T09:42:27Z","snapshot_observed_at":"2026-08-10T09:23:21.400262Z","submitted_at":"2026-03-20T13:55:29Z","title":"On the Ability of Transformers to Verify Plans","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-07-13T21:49:42.006847Z"},"links":{"citing_paper":"/paper/2603.19954"},"observation_digest":"sha256:ebc6c4604995a5050b4d3a59f41dd7e9c240a5947fe569241130b452b15a31ab","observation_id":"41fe2f9e-8ae9-4d87-9043-526d732136ed","resolution":{"observed_at":"2026-07-13T21:49:42.006847Z","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-07-13T21:49:42.006847Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2603.19954","last_updated":"2026-07-03T09:42:27Z","snapshot_observed_at":"2026-08-10T09:23:21.400262Z","submitted_at":"2026-03-20T13:55:29Z","title":"On the Ability of Transformers to Verify Plans","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-07-13T21:49:42.006847Z"},"links":{"citing_paper":"/paper/2603.19954"},"observation_digest":"sha256:18ccdc7ca34e3e5243ee090b35e7a2986cfcc4a634c20112ee57b32ed6467b78","observation_id":"e25eb964-9801-49b3-9e8e-caa68b864eb3","resolution":{"observed_at":"2026-07-13T21:49:42.006847Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2603.19954","last_updated":"2026-07-03T09:42:27Z","latest_version":2,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-10T09:23:21.400262Z","submitted_at":"2026-03-20T13:55:29Z","title":"On the Ability of Transformers to Verify Plans"},"reference_resolution":{"displayed":26,"state_counts":{"malformed_identifier":1,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":25,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":26},"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 10 August 2026, this Paper Citation Record lists 26 of 26 outbound references and 0 inbound Pith citation observations for arXiv:2603.19954."}