Pith. sign in

Paper Citation Record · LEDGER

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

As of 15 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-15T06:32:42.880941+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-15T06:32:42.880941+00:00.

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

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-15T06:32:42.880941+00:00.

source=pdf_text observed=2026-08-07T10:43:32.212140Z digest=sha256:1f6d96ab3979cbaa344fdb089f2b0ff75689f9ef1ae2f3b48a900d7b19296426

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-15T06:32:42.880941+00:00.

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

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-15T06:32:42.880941+00:00.

source=pdf_text observed=2026-08-07T10:43:32.421106Z digest=sha256:81fb0a3c65506f286fbd884bdf46b38755bbb1ca19abc53f703e79ce01297a59

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-15T06:32:42.880941+00:00.

source=pdf_text observed=2026-08-07T10:43:32.497997Z digest=sha256:42754f2b0e36990e7e81b1e1e3ac01ae913afde7d87c633c9cc3c85ac83e0c23

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-15T06:32:42.880941+00:00.

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

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-15T06:32:42.880941+00:00.

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

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-15T06:32:42.880941+00:00.

source=pdf_text observed=2026-08-07T10:43:32.770407Z digest=sha256:52d62e441b87b6b9e342c15cfff4f6c6e110c4ab99a66c5f3973362090cd1797

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-15T06:32:42.880941+00:00.

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

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-15T06:32:42.880941+00:00.

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

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-15T06:32:42.880941+00:00.

source=pdf_text observed=2026-08-07T10:43:33.064199Z digest=sha256:0976c0d215618b4a5a53c8beb772da11c41c3ebe47ea4a65808a71b951602240

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-15T06:32:42.880941+00:00.

source=pdf_text observed=2026-08-07T10:43:33.141691Z digest=sha256:3be67e232b5f77ce35759b21575eca2eb222e227d467dbc463540a19ae65df6f

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-15T06:32:42.880941+00:00.

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

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-15T06:32:42.880941+00:00.

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

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-15T06:32:42.880941+00:00.

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