Paper Citation Record · LEDGER

On the Ability of Transformers to Verify Plans

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.

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

pith.paper-citation-record.v1
2603.19954 v2

Coverage vector

measured 26 of 26 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-07-13T21:49:42.006847Z

measured 26 of 26 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-08T06:32:00.761636+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

26 of 26 outbound references displayed

verified exact0
verified fuzzy0
unresolved25
parse uncertain0
malformed identifier1
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 26ed432b-aa5d-4f14-8f94-e438d9dc98f3 · outbound

This paper cites Jiang, H., Hahn, M., Zetzsche, G., and Lin, A.

On the Ability of Transformers to Verify Plans Jiang, H., Hahn, M., Zetzsche, G., and Lin, A

Reference 1

Resolution: malformed identifier; no resolver link, observed 2026-07-13T21:49:42.006847Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b91be800-59b6-4fc9-8730-d150fc366dbe · outbound

This paper cites Average-Hard Attention Transformers are Constant-Depth Uniform Threshold Circuits.

On the Ability of Transformers to Verify Plans Average-Hard Attention Transformers are Constant-Depth Uniform Threshold Circuits

Reference 2

Resolution: unresolved; no resolver link, observed 2026-07-13T21:49:42.006847Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 76c8f42b-7f86-483c-97f2-e55bca13327f · outbound

This paper cites Weiss, G., Goldberg, Y ., and Yahav, E.

On the Ability of Transformers to Verify Plans Weiss, G., Goldberg, Y ., and Yahav, E

Reference 3

Resolution: unresolved; no resolver link, observed 2026-07-13T21:49:42.006847Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a99faea7-446c-4fc9-9c37-85500eb14a99 · outbound

This paper cites Zhou, H., Bradley, A., Littwin, E., Razin, N., Saremi, O., Susskind, J.

On the Ability of Transformers to Verify Plans Zhou, H., Bradley, A., Littwin, E., Razin, N., Saremi, O., Susskind, J

Reference 4

Resolution: unresolved; no resolver link, observed 2026-07-13T21:49:42.006847Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c823c4da-c828-46b4-9a8d-ac89dbca3471 · outbound

This paper cites Proof of Statement 1.

On the Ability of Transformers to Verify Plans Proof of Statement 1

Reference 5

Resolution: unresolved; no resolver link, observed 2026-07-13T21:49:42.006847Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6212d31f-e16d-4c38-8846-a55425a3cf6a · outbound

This paper cites an unresolved cited work.

On the Ability of Transformers to Verify Plans Unresolved cited work

Reference 6

Resolution: unresolved; no resolver link, observed 2026-07-13T21:49:42.006847Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation db927e49-ea64-4815-a2cc-da28b9c4eefb · outbound

This paper cites Let a∈A be a specific ground action, defined by schema α and argument objects u�,.

On the Ability of Transformers to Verify Plans Let a∈A be a specific ground action, defined by schema α and argument objects u�,

Reference 7

Resolution: unresolved; no resolver link, observed 2026-07-13T21:49:42.006847Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 460c3017-e49a-4bff-a4d9-24b40cbc6a83 · outbound

This paper cites These sets will be fixed and known a priori, given our fixed objects and domain.

On the Ability of Transformers to Verify Plans These sets will be fixed and known a priori, given our fixed objects and domain

Reference 8

Resolution: unresolved; no resolver link, observed 2026-07-13T21:49:42.006847Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f460ab86-5950-4aed-ae6d-9ec26db43501 · outbound

This paper cites • Well-Formed: Because of well-formedness, the truth value of a proposition toggles (False → True → False).

On the Ability of Transformers to Verify Plans • Well-Formed: Because of well-formedness, the truth value of a proposition toggles (False → True → False)

Reference 9

Resolution: unresolved; no resolver link, observed 2026-07-13T21:49:42.006847Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 574821ea-b37f-4a12-806b-4a30d0e8dd6f · outbound

This paper cites We need to check that all the preconditions are satisfiedbeforethe action effect takes place.

On the Ability of Transformers to Verify Plans We need to check that all the preconditions are satisfiedbeforethe action effect takes place

Reference 10

Resolution: unresolved; no resolver link, observed 2026-07-13T21:49:42.006847Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e5136e6a-fa09-4ca6-958d-ea7eab42d3eb · outbound

This paper cites We iterate over our ground propositions.

On the Ability of Transformers to Verify Plans We iterate over our ground propositions

Reference 11

Resolution: unresolved; no resolver link, observed 2026-07-13T21:49:42.006847Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 498c8253-041b-4c23-8bee-7181ee726c3d · outbound

This paper cites 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.

On the Ability of Transformers to Verify Plans 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

Reference 12

Resolution: unresolved; no resolver link, observed 2026-07-13T21:49:42.006847Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 727d93c7-0151-42bd-a034-77d9a14a8eb0 · outbound

This paper cites Generalization to instances with longer plans or increased number of objects is thus not expected.

On the Ability of Transformers to Verify Plans Generalization to instances with longer plans or increased number of objects is thus not expected

Reference 13

Resolution: unresolved; no resolver link, observed 2026-07-13T21:49:42.006847Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9f1c0613-b6c5-48cf-99f1-70835788c2ff · outbound

This paper cites an unresolved cited work.

On the Ability of Transformers to Verify Plans Unresolved cited work

Reference 14

Resolution: unresolved; no resolver link, observed 2026-07-13T21:49:42.006847Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5fcd9452-a670-419a-9fef-d97d1134af34 · outbound

This paper cites •F P �: The set of action names along with placeholder object arguments α∈� that have p in their delete-effects (eff(α)� ).

On the Ability of Transformers to Verify Plans •F P �: The set of action names along with placeholder object arguments α∈� that have p in their delete-effects (eff(α)� )

Reference 15

Resolution: unresolved; no resolver link, observed 2026-07-13T21:49:42.006847Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 684d3c85-a18e-4331-bc31-0e664a62b30f · outbound

This paper cites an unresolved cited work.

On the Ability of Transformers to Verify Plans Unresolved cited work

Reference 16

Resolution: unresolved; no resolver link, observed 2026-07-13T21:49:42.006847Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c2a7a78e-5530-4553-af5a-1e251adcfc55 · outbound

This paper cites Thus, we compare them exclusively through their positions relative to the object names.

On the Ability of Transformers to Verify Plans Thus, we compare them exclusively through their positions relative to the object names

Reference 17

Resolution: unresolved; no resolver link, observed 2026-07-13T21:49:42.006847Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 45921eba-38b4-4086-8c64-bdd0fd79a3f4 · outbound

This paper cites an unresolved cited work.

On the Ability of Transformers to Verify Plans Unresolved cited work

Reference 18

Resolution: unresolved; no resolver link, observed 2026-07-13T21:49:42.006847Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 086ea9d7-af8d-4e68-864c-9c24b50fb72e · outbound

This paper cites We iterate over all predicates p∈ P.

On the Ability of Transformers to Verify Plans We iterate over all predicates p∈ P

Reference 19

Resolution: unresolved; no resolver link, observed 2026-07-13T21:49:42.006847Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1f5a84be-e5a3-4592-9ed0-83c87c4dd0f0 · outbound

This paper cites an unresolved cited work.

On the Ability of Transformers to Verify Plans Unresolved cited work

Reference 20

Resolution: unresolved; no resolver link, observed 2026-07-13T21:49:42.006847Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b13f33ae-5848-4875-81d5-38164bd60d80 · outbound

This paper cites Thus, the interaction collapses to aConstant.

On the Ability of Transformers to Verify Plans Thus, the interaction collapses to aConstant

Reference 21

Resolution: unresolved; no resolver link, observed 2026-07-13T21:49:42.006847Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 85ea120c-79c5-4c39-9733-3b061988739f · outbound

This paper cites There existsC emb >0such that: sup �� ∥� �∥ ≤C emb andsup �� ∥�� ∥ ≤C emb (13).

On the Ability of Transformers to Verify Plans There existsC emb >0such that: sup �� ∥� �∥ ≤C emb andsup �� ∥�� ∥ ≤C emb (13)

Reference 22

Resolution: unresolved; no resolver link, observed 2026-07-13T21:49:42.006847Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bfb2e083-4046-48ed-9131-f943fc324922 · outbound

This paper cites an unresolved cited work.

On the Ability of Transformers to Verify Plans Unresolved cited work

Reference 23

Resolution: unresolved; no resolver link, observed 2026-07-13T21:49:42.006847Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f57f6f71-10de-4942-8db5-7af4bdfb87d1 · outbound

This paper cites There exists dff ∈� such that � � :H →� � ff and � � :� � ff → H.

On the Ability of Transformers to Verify Plans There exists dff ∈� such that � � :H →� � ff and � � :� � ff → H

Reference 24

Resolution: unresolved; no resolver link, observed 2026-07-13T21:49:42.006847Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 41fe2f9e-8ae9-4d87-9043-526d732136ed · outbound

This paper cites Each product function must evaluate to a number in p-bit precision, for some fixed p∈�.

On the Ability of Transformers to Verify Plans Each product function must evaluate to a number in p-bit precision, for some fixed p∈�

Reference 25

Resolution: unresolved; no resolver link, observed 2026-07-13T21:49:42.006847Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e25eb964-9801-49b3-9e8e-caa68b864eb3 · outbound

This paper cites an unresolved cited work.

On the Ability of Transformers to Verify Plans Unresolved cited work

Reference 26

Resolution: unresolved; no resolver link, observed 2026-07-13T21:49:42.006847Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.