Pith. sign in

Paper Citation Record · LEDGER

Constructive Symbolic Reinforcement Learning via Intuitionistic Logic and Goal-Chaining Inference

As of 8 August 2026, this Paper Citation Record lists 14 of 14 outbound references and 1 inbound Pith citation observation for arXiv:2506.05422.

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

pith.paper-citation-record.v1
2506.05422 v1

Coverage vector

measured 14 of 14 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T10:43:33.323652Z

measured 15 of 15 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 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-02T19:02:36.141674Z

measured 1 of 1 external citation measurements

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

Source: pith, observed 2026-08-05T02:28:24.338817Z

Reference resolution

14 of 14 outbound references displayed

  • verified exact0
  • verified fuzzy5
  • unresolved9
  • parse uncertain0
  • malformed identifier0
  • metadata mismatch0

External citation measurements

0
pith, observed 2026-08-05T02:28:24.338817Z

Outbound references

Observation 39a1a19a-495d-4d77-9437-1df2c13b7a31 · outbound

This paper cites an unresolved cited work.

Constructive Symbolic Reinforcement Learning via Intuitionistic Logic and Goal-Chaining Inference Unresolved cited work

Reference 1

Resolution
unresolved
raw_fallback, observed 2026-08-07T10:43:35.742811Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-07T10:43:32.165892Z digest=sha256:e8d658dc20709e8fc5f47bcf53b91cfdf245c077322a59a371cfc107d9b8611e

Observation fac57ce4-875c-42eb-85cc-ad4b85d26c78 · outbound

This paper cites L., Furst, M.

Constructive Symbolic Reinforcement Learning via Intuitionistic Logic and Goal-Chaining Inference L., Furst, M

Reference 2

Resolution
verified fuzzy
raw_fallback, observed 2026-08-07T10:43:35.594540Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-07T10:43:32.212140Z digest=sha256:70341c0893700e51c88bb66dbf800df4ddb0ba7e4e598fe2f4bb174cba1aa05d

Observation c67b37e7-b041-4d90-871f-6a3ef14e2e94 · outbound

This paper cites P., Lozano-P´ erez, T., Journal of Artificial Intelligence Research, 61, 215-289 (2018).

Constructive Symbolic Reinforcement Learning via Intuitionistic Logic and Goal-Chaining Inference P., Lozano-P´ erez, T., Journal of Artificial Intelligence Research, 61, 215-289 (2018)

Reference 3

Resolution
verified fuzzy
raw_fallback, observed 2026-08-07T10:43:35.429098Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-07T10:43:32.331646Z digest=sha256:7312b951d308e81d05d7c72a1a93663f36afd150b93585fe5bceabd8902c3e28

Observation 4118da3d-227b-4556-98fb-dd570a0bcaa5 · outbound

This paper cites T., McIlraith, S.

Constructive Symbolic Reinforcement Learning via Intuitionistic Logic and Goal-Chaining Inference T., McIlraith, S

Reference 4

Resolution
verified fuzzy
raw_fallback, observed 2026-08-07T10:43:35.246806Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-07T10:43:32.421106Z digest=sha256:755bbfc698be767d6a240c8aa9617b9e8de7fa52a98cc8780f85efecf1984605

Observation e5b7c332-a26c-496a-a4dd-ce38cc8f036e · outbound

This paper cites an unresolved cited work.

Constructive Symbolic Reinforcement Learning via Intuitionistic Logic and Goal-Chaining Inference Unresolved cited work

Reference 5

Resolution
unresolved
raw_fallback, observed 2026-08-07T10:43:35.097349Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-07T10:43:32.497997Z digest=sha256:7a2a69ec3215932439856eb23533de8212d48227e929bcf6eaaf796480901166

Observation dc614893-1885-4e68-8bca-a13ef94d1f5f · outbound

This paper cites an unresolved cited work.

Constructive Symbolic Reinforcement Learning via Intuitionistic Logic and Goal-Chaining Inference Unresolved cited work

Reference 6

Resolution
unresolved
raw_fallback, observed 2026-08-07T10:43:34.896498Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-07T10:43:32.570759Z digest=sha256:b1c5e0ff123152039e7f3416f8d0dee128ee7ad1f3da1fa2925640ed32429a32

Observation 3a94416f-72c9-450c-a349-d7fa4ac68a7a · outbound

This paper cites Y., ACM Computing Surveys (CSUR), 37(1), 119-121 (2005).

Constructive Symbolic Reinforcement Learning via Intuitionistic Logic and Goal-Chaining Inference Y., ACM Computing Surveys (CSUR), 37(1), 119-121 (2005)

Reference 7

Resolution
verified fuzzy
raw_fallback, observed 2026-08-07T10:43:34.718748Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-07T10:43:32.662617Z digest=sha256:58e7f3302556762538a168ecc21ad291714545bed5edd20567b139b82a49186e

Observation 4c197dc7-7f65-45a6-ae2c-cf699d175331 · outbound

This paper cites an unresolved cited work.

Constructive Symbolic Reinforcement Learning via Intuitionistic Logic and Goal-Chaining Inference Unresolved cited work

Reference 8

Resolution
unresolved
raw_fallback, observed 2026-08-07T10:43:34.573732Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-07T10:43:32.770407Z digest=sha256:77cb20a39afac0949e4b78dfd7f0305caa338c6f240d745f62c35028f6743f05

Observation d90f9acd-db32-48a8-ba9f-8dbb611cfd15 · outbound

This paper cites an unresolved cited work.

Constructive Symbolic Reinforcement Learning via Intuitionistic Logic and Goal-Chaining Inference Unresolved cited work

Reference 9

Resolution
unresolved
raw_fallback, observed 2026-08-07T10:43:34.370866Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-07T10:43:32.857905Z digest=sha256:8e9e689960ca6aaf059d53f3d89c99635c401cfd0709f6e02e0fdec8b93c025a

Observation c3dafbed-fc01-49e8-a021-f0d8db4004b1 · outbound

This paper cites an unresolved cited work.

Constructive Symbolic Reinforcement Learning via Intuitionistic Logic and Goal-Chaining Inference Unresolved cited work

Reference 10

Resolution
unresolved
raw_fallback, observed 2026-08-07T10:43:34.203929Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-07T10:43:32.970106Z digest=sha256:a51e3a8a64d7029936d5ffb9965efe8b4647b019e7a8ab415d58a81982099a69

Observation 3f09fee0-6683-4a1c-9325-34462571d6f9 · outbound

This paper cites an unresolved cited work.

Constructive Symbolic Reinforcement Learning via Intuitionistic Logic and Goal-Chaining Inference Unresolved cited work

Reference 11

Resolution
unresolved
raw_fallback, observed 2026-08-07T10:43:34.003130Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-07T10:43:33.064199Z digest=sha256:8252108eda1e44dca0cb6b6697bc60f3b4ab9060cade798ca02f8e0648105b29

Observation 28ebffb4-d180-424e-ad8e-8070f5d74168 · outbound

This paper cites an unresolved cited work.

Constructive Symbolic Reinforcement Learning via Intuitionistic Logic and Goal-Chaining Inference Unresolved cited work

Reference 12

Resolution
unresolved
raw_fallback, observed 2026-08-07T10:43:33.831089Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-07T10:43:33.141691Z digest=sha256:6159df492e771fee15dbd4cac7b1bbd10ab58cbfa44e3e0d2a60b99de08b41ec

Observation a7aaf77c-58f8-4064-8dcc-44ed40d0e396 · outbound

This paper cites L., IEEE Transactions on Robotics, 31(3), 699-713 (2015).

Constructive Symbolic Reinforcement Learning via Intuitionistic Logic and Goal-Chaining Inference L., IEEE Transactions on Robotics, 31(3), 699-713 (2015)

Reference 13

Resolution
verified fuzzy
raw_fallback, observed 2026-08-07T10:43:33.672894Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-07T10:43:33.228925Z digest=sha256:532a5dc130b11f6a12333583dafa0d57e43d6500d1c5fdbb8479407f04b29815

Observation 02fac11e-2d8c-45f8-b845-c1e5184a5d2f · outbound

This paper cites an unresolved cited work.

Constructive Symbolic Reinforcement Learning via Intuitionistic Logic and Goal-Chaining Inference Unresolved cited work

Reference 14

Resolution
unresolved
raw_fallback, observed 2026-08-07T10:43:33.474856Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-07T10:43:33.323652Z digest=sha256:5738ea888dcd0e4aa1441f939c17611595e0cef4ca33f1c65177b8ec37d04d77

Pith citing papers

Observation 221fa8e7-b1d6-4e95-add5-61748ece4fea · inbound

No Certificate, No Categorical Speech Act: A Brouwerian Assertibility Constraint for Public Reason cites this paper.

No Certificate, No Categorical Speech Act: A Brouwerian Assertibility Constraint for Public Reason Constructive Symbolic Reinforcement Learning via Intuitionistic Logic and Goal-Chaining Inference

Reference 61

Resolution
metadata mismatch
local_arxiv, observed 2026-08-02T19:03:25.345004Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=arxiv_source observed=2026-08-02T19:02:36.141674Z digest=sha256:72ce48fe4985ba9fa722ad3fb9579436e886a5d7b8018b447349825180d9bc12