{"as_of":"2026-08-09T07:08:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:e1d8e52277cf081f110e4a327e51f4bdc80e2639297a1a22e2dbe1e03fd7193d","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-09T06:31:02.800959+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-03T16:57:53.798449Z","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:eadee2828fd25a07a1a9c8199fa90ceec959c0297820554bc684c8602b755d76","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-07-06T16:03:10.517945Z","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-03T16:57:53.798449Z","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:86cf9e7ec2768c08b2ca39c423c53cd6c3563b515c23a72c73d211a80375111a","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-03T16:57:53.798449Z","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:a3201fc8173f805b4cb189660410be5a21c6c666f59ae10437df64d83302ce67","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-03T16:57:53.798449Z","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:6fa77e6d504bc5042978f32f956e911ca2adbdfe42fc0875595f1fe52c534f6d","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-03T16:57:53.798449Z","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:7702b3961004c8017d4565c88864b4a8735952f3d8fa706417dd3988054c58c0","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-03T16:57:53.798449Z","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:b18ef417fd57125aa964356203d505a2fe170ee2192de33faf2358104346667a","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-03T16:57:53.798449Z","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:e99b13c98669aa204437cee7c6223b5cb98bf315d6d6fff4644e1659225f53b2","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-03T16:57:53.798449Z","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:7bd217322471cafef94cea3740bfad26394925f687ef17e0a7082d85a8a499e2","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-03T16:57:53.798449Z","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:f51d551dc332799b5a54389e24c3f509acbd5ed6296bc38cb67546b1f5fda64a","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-03T16:57:53.798449Z","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:93a90f0be526a169319e9f4a69c77dfafa7f124d399892de1786b704a9edab68","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-03T16:57:53.798449Z","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:40bc704be5ccffabb2a5f093865e088aa7125c03fd793e80a6d18f10a81d165e","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-03T16:57:53.798449Z","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:721df06706bc382b8f8b2fe50e59fa5ca17c566fecd594f558f0ca3ae648d832","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-03T16:57:53.798449Z","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:50271a9590c6af0b9ffd312d024700bd44366c6775c68dde2c1dd7d1e075516f","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-03T16:57:53.798449Z","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:e0f9fb57ff177afacf46109f88f6daf495a5be30e50c6b56a0643b9e517c31cf","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-03T16:57:53.798449Z","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:ec904e7f357b3a082594761576f6991101ffdb28eb7a4c9649b51d04e3f93dc1","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-03T16:57:53.798449Z","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:8a7e3b57e13a765eae26afbedf5af5302d85d20be0623973625be6b0fd21786c","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-03T16:57:53.798449Z","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:3f4f7980f92c13d6042d3cda2dd7e029c987b91864593f1a6d3a555706250380","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-03T16:57:53.798449Z","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:d20c12b2a96e4ee8595c9ea794d49688b1fc02bf6deaf37aef67cd538d033b43","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-03T16:57:53.798449Z","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:11bb882266d9a59843acf05d2f7c658e5381ded388e98e38220ffd8d24ba4e51","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-03T16:57:53.798449Z","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:757d1482406a5e59b5bb11aeeef01d8489e2b064231853667e02780c763f0e0b","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-03T16:57:53.798449Z","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:8ca01fecf7279d639e59458b58cdecb05834a288d01593c2efbbb4ef4388160f","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-03T16:57:53.798449Z","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:60c1043270fc687d2a7ee98b5499d2b12b2902e1a79b0e7ea479e475b046c11f","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-03T16:57:53.798449Z","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:62f18df931c5e09620f51fb5ba8c819080a48209063edaed63df85671ce9a85b","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-03T16:57:53.798449Z","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:bce1bfc72a92088e795745daa362f5eeb18857aa2e631732dbd618a6ea58ad2a","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-03T16:57:53.798449Z","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:596b2c2e47559ecada418e4d15da756003dfee130daab395504de451830f25cc","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-03T16:57:53.798449Z","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:d7e701be914d37a1b49f6fdaba93a46c15cfecad65c199f149a2a4b5a9e86be0","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-03T16:57:53.798449Z","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-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 9 August 2026, this Paper Citation Record lists 26 of 26 outbound references and 0 inbound Pith citation observations for arXiv:2603.19954."}