{"as_of":"2026-08-08T18:20:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:3eb5177c944f44495f3f9b174cd5034a07f6dd690f51e6f7c9266f9c2fe25a70","coverage":[{"denominator":14,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":14,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T10:43:33.323652Z","state":"measured"},{"denominator":15,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":15,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-02T19:02:36.141674Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":1,"source":"pith","source_observed_at":"2026-08-05T02:28:24.338817Z","state":"measured"}],"external_citation_measurements":[{"count":0,"observed_at":"2026-08-05T02:28:24.338817Z","source":"pith"}],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2506.05422","last_updated":"2025-06-05T04:49:31Z","snapshot_observed_at":"2026-08-07T10:34:50.237032Z","submitted_at":"2025-06-05T04:49:31Z","title":"Constructive Symbolic Reinforcement Learning via Intuitionistic Logic and Goal-Chaining Inference","version":1},"cited_work":{"arxiv_id":"2506.05422","doi":"10.48550/arxiv.2506.05422","metadata_source":"pith","pith_arxiv_id":"2506.05422","snapshot_observed_at":"2026-08-05T02:49:54.815029Z","title":"Constructive Symbolic Reinforcement Learning via Intuitionistic Logic and Goal-Chaining Inference","venue":"cs.AI","work_id":"f30f525a-853a-4336-a14e-7bad766ccc30","year":2025},"citing_paper":{"arxiv_id":"2603.03971","last_updated":"2026-07-20T14:18:37Z","snapshot_observed_at":"2026-08-02T19:02:33.538115Z","submitted_at":"2026-03-04T12:14:21Z","title":"No Certificate, No Categorical Speech Act: A Brouwerian Assertibility Constraint for Public Reason","version":4},"reference_index":61,"source":"arxiv_source","source_observed_at":"2026-08-02T19:02:36.141674Z"},"links":{"cited_paper":"/paper/2506.05422","citing_paper":"/paper/2603.03971"},"observation_digest":"sha256:72ce48fe4985ba9fa722ad3fb9579436e886a5d7b8018b447349825180d9bc12","observation_id":"221fa8e7-b1d6-4e95-add5-61748ece4fea","resolution":{"observed_at":"2026-08-02T19:03:25.345004Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2506.05422/citation-record","integrity":"/paper/2506.05422/integrity","json":"/paper/2506.05422/citation-record.json","paper":"/paper/2506.05422"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:43:35.668232Z","title":null,"venue":null,"work_id":"3f3a4a17-e333-4408-8e9b-a1892ac9164b","year":1992},"citing_paper":{"arxiv_id":"2506.05422","last_updated":"2025-06-05T04:49:31Z","snapshot_observed_at":"2026-08-07T10:34:50.237032Z","submitted_at":"2025-06-05T04:49:31Z","title":"Constructive Symbolic Reinforcement Learning via Intuitionistic Logic and Goal-Chaining Inference","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T10:43:32.165892Z"},"links":{"citing_paper":"/paper/2506.05422"},"observation_digest":"sha256:e8d658dc20709e8fc5f47bcf53b91cfdf245c077322a59a371cfc107d9b8611e","observation_id":"39a1a19a-495d-4d77-9437-1df2c13b7a31","resolution":{"observed_at":"2026-08-07T10:43:35.742811Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:43:35.518190Z","title":"L., Furst, M","venue":null,"work_id":"1a69b3e3-2802-4095-9a55-74d616982531","year":1997},"citing_paper":{"arxiv_id":"2506.05422","last_updated":"2025-06-05T04:49:31Z","snapshot_observed_at":"2026-08-07T10:34:50.237032Z","submitted_at":"2025-06-05T04:49:31Z","title":"Constructive Symbolic Reinforcement Learning via Intuitionistic Logic and Goal-Chaining Inference","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T10:43:32.212140Z"},"links":{"citing_paper":"/paper/2506.05422"},"observation_digest":"sha256:70341c0893700e51c88bb66dbf800df4ddb0ba7e4e598fe2f4bb174cba1aa05d","observation_id":"fac57ce4-875c-42eb-85cc-ad4b85d26c78","resolution":{"observed_at":"2026-08-07T10:43:35.594540Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:43:35.348130Z","title":"P., Lozano-P´ erez, T., Journal of Artificial Intelligence Research, 61, 215-289 (2018)","venue":null,"work_id":"3199ea65-509d-4654-992e-4ae107f6463f","year":2018},"citing_paper":{"arxiv_id":"2506.05422","last_updated":"2025-06-05T04:49:31Z","snapshot_observed_at":"2026-08-07T10:34:50.237032Z","submitted_at":"2025-06-05T04:49:31Z","title":"Constructive Symbolic Reinforcement Learning via Intuitionistic Logic and Goal-Chaining Inference","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T10:43:32.331646Z"},"links":{"citing_paper":"/paper/2506.05422"},"observation_digest":"sha256:7312b951d308e81d05d7c72a1a93663f36afd150b93585fe5bceabd8902c3e28","observation_id":"c67b37e7-b041-4d90-871f-6a3ef14e2e94","resolution":{"observed_at":"2026-08-07T10:43:35.429098Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:43:35.177114Z","title":"T., McIlraith, S","venue":null,"work_id":"783f2f40-fbf4-4a31-933f-0a35e9cf4d33","year":2023},"citing_paper":{"arxiv_id":"2506.05422","last_updated":"2025-06-05T04:49:31Z","snapshot_observed_at":"2026-08-07T10:34:50.237032Z","submitted_at":"2025-06-05T04:49:31Z","title":"Constructive Symbolic Reinforcement Learning via Intuitionistic Logic and Goal-Chaining Inference","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T10:43:32.421106Z"},"links":{"citing_paper":"/paper/2506.05422"},"observation_digest":"sha256:755bbfc698be767d6a240c8aa9617b9e8de7fa52a98cc8780f85efecf1984605","observation_id":"4118da3d-227b-4556-98fb-dd570a0bcaa5","resolution":{"observed_at":"2026-08-07T10:43:35.246806Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:43:34.999959Z","title":null,"venue":null,"work_id":"c44ed556-e4b7-49ee-9d7d-7298aa0324ce","year":2019},"citing_paper":{"arxiv_id":"2506.05422","last_updated":"2025-06-05T04:49:31Z","snapshot_observed_at":"2026-08-07T10:34:50.237032Z","submitted_at":"2025-06-05T04:49:31Z","title":"Constructive Symbolic Reinforcement Learning via Intuitionistic Logic and Goal-Chaining Inference","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T10:43:32.497997Z"},"links":{"citing_paper":"/paper/2506.05422"},"observation_digest":"sha256:7a2a69ec3215932439856eb23533de8212d48227e929bcf6eaaf796480901166","observation_id":"e5b7c332-a26c-496a-a4dd-ce38cc8f036e","resolution":{"observed_at":"2026-08-07T10:43:35.097349Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:43:34.801030Z","title":null,"venue":null,"work_id":"3b13d794-5d4a-41d5-846c-3887528654a8","year":2017},"citing_paper":{"arxiv_id":"2506.05422","last_updated":"2025-06-05T04:49:31Z","snapshot_observed_at":"2026-08-07T10:34:50.237032Z","submitted_at":"2025-06-05T04:49:31Z","title":"Constructive Symbolic Reinforcement Learning via Intuitionistic Logic and Goal-Chaining Inference","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T10:43:32.570759Z"},"links":{"citing_paper":"/paper/2506.05422"},"observation_digest":"sha256:b1c5e0ff123152039e7f3416f8d0dee128ee7ad1f3da1fa2925640ed32429a32","observation_id":"dc614893-1885-4e68-8bca-a13ef94d1f5f","resolution":{"observed_at":"2026-08-07T10:43:34.896498Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:43:34.637636Z","title":"Y., ACM Computing Surveys (CSUR), 37(1), 119-121 (2005)","venue":null,"work_id":"998a1c81-9712-4c47-b5cb-2d7d062eb947","year":2005},"citing_paper":{"arxiv_id":"2506.05422","last_updated":"2025-06-05T04:49:31Z","snapshot_observed_at":"2026-08-07T10:34:50.237032Z","submitted_at":"2025-06-05T04:49:31Z","title":"Constructive Symbolic Reinforcement Learning via Intuitionistic Logic and Goal-Chaining Inference","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T10:43:32.662617Z"},"links":{"citing_paper":"/paper/2506.05422"},"observation_digest":"sha256:58e7f3302556762538a168ecc21ad291714545bed5edd20567b139b82a49186e","observation_id":"3a94416f-72c9-450c-a349-d7fa4ac68a7a","resolution":{"observed_at":"2026-08-07T10:43:34.718748Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:43:34.447018Z","title":null,"venue":null,"work_id":"2809fa9e-0a43-444e-81f5-c738543e636c","year":2008},"citing_paper":{"arxiv_id":"2506.05422","last_updated":"2025-06-05T04:49:31Z","snapshot_observed_at":"2026-08-07T10:34:50.237032Z","submitted_at":"2025-06-05T04:49:31Z","title":"Constructive Symbolic Reinforcement Learning via Intuitionistic Logic and Goal-Chaining Inference","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T10:43:32.770407Z"},"links":{"citing_paper":"/paper/2506.05422"},"observation_digest":"sha256:77cb20a39afac0949e4b78dfd7f0305caa338c6f240d745f62c35028f6743f05","observation_id":"4c197dc7-7f65-45a6-ae2c-cf699d175331","resolution":{"observed_at":"2026-08-07T10:43:34.573732Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:43:34.297799Z","title":null,"venue":null,"work_id":"52298b9e-e3ee-4982-a1a8-48a0cfe300b0","year":1988},"citing_paper":{"arxiv_id":"2506.05422","last_updated":"2025-06-05T04:49:31Z","snapshot_observed_at":"2026-08-07T10:34:50.237032Z","submitted_at":"2025-06-05T04:49:31Z","title":"Constructive Symbolic Reinforcement Learning via Intuitionistic Logic and Goal-Chaining Inference","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T10:43:32.857905Z"},"links":{"citing_paper":"/paper/2506.05422"},"observation_digest":"sha256:8e9e689960ca6aaf059d53f3d89c99635c401cfd0709f6e02e0fdec8b93c025a","observation_id":"d90f9acd-db32-48a8-ba9f-8dbb611cfd15","resolution":{"observed_at":"2026-08-07T10:43:34.370866Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:43:34.104554Z","title":null,"venue":null,"work_id":"7a1f761a-44da-46b8-aed0-b1a7c1dca4ce","year":1987},"citing_paper":{"arxiv_id":"2506.05422","last_updated":"2025-06-05T04:49:31Z","snapshot_observed_at":"2026-08-07T10:34:50.237032Z","submitted_at":"2025-06-05T04:49:31Z","title":"Constructive Symbolic Reinforcement Learning via Intuitionistic Logic and Goal-Chaining Inference","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T10:43:32.970106Z"},"links":{"citing_paper":"/paper/2506.05422"},"observation_digest":"sha256:a51e3a8a64d7029936d5ffb9965efe8b4647b019e7a8ab415d58a81982099a69","observation_id":"c3dafbed-fc01-49e8-a021-f0d8db4004b1","resolution":{"observed_at":"2026-08-07T10:43:34.203929Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:43:33.932811Z","title":null,"venue":null,"work_id":"ca6804a2-55fd-45a6-b720-d5bf413bd6dd","year":2002},"citing_paper":{"arxiv_id":"2506.05422","last_updated":"2025-06-05T04:49:31Z","snapshot_observed_at":"2026-08-07T10:34:50.237032Z","submitted_at":"2025-06-05T04:49:31Z","title":"Constructive Symbolic Reinforcement Learning via Intuitionistic Logic and Goal-Chaining Inference","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T10:43:33.064199Z"},"links":{"citing_paper":"/paper/2506.05422"},"observation_digest":"sha256:8252108eda1e44dca0cb6b6697bc60f3b4ab9060cade798ca02f8e0648105b29","observation_id":"3f09fee0-6683-4a1c-9325-34462571d6f9","resolution":{"observed_at":"2026-08-07T10:43:34.003130Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:43:33.747014Z","title":null,"venue":null,"work_id":"b44b82f0-c3e4-4c73-b9d6-defde717e461","year":2003},"citing_paper":{"arxiv_id":"2506.05422","last_updated":"2025-06-05T04:49:31Z","snapshot_observed_at":"2026-08-07T10:34:50.237032Z","submitted_at":"2025-06-05T04:49:31Z","title":"Constructive Symbolic Reinforcement Learning via Intuitionistic Logic and Goal-Chaining Inference","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T10:43:33.141691Z"},"links":{"citing_paper":"/paper/2506.05422"},"observation_digest":"sha256:6159df492e771fee15dbd4cac7b1bbd10ab58cbfa44e3e0d2a60b99de08b41ec","observation_id":"28ebffb4-d180-424e-ad8e-8070f5d74168","resolution":{"observed_at":"2026-08-07T10:43:33.831089Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:43:33.590773Z","title":"L., IEEE Transactions on Robotics, 31(3), 699-713 (2015)","venue":null,"work_id":"b1c92837-90be-40b7-bb74-fab2f7811735","year":2015},"citing_paper":{"arxiv_id":"2506.05422","last_updated":"2025-06-05T04:49:31Z","snapshot_observed_at":"2026-08-07T10:34:50.237032Z","submitted_at":"2025-06-05T04:49:31Z","title":"Constructive Symbolic Reinforcement Learning via Intuitionistic Logic and Goal-Chaining Inference","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T10:43:33.228925Z"},"links":{"citing_paper":"/paper/2506.05422"},"observation_digest":"sha256:532a5dc130b11f6a12333583dafa0d57e43d6500d1c5fdbb8479407f04b29815","observation_id":"a7aaf77c-58f8-4064-8dcc-44ed40d0e396","resolution":{"observed_at":"2026-08-07T10:43:33.672894Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:43:33.419902Z","title":null,"venue":null,"work_id":"1f4173f2-25f5-4077-8256-51744f19ac41","year":2003},"citing_paper":{"arxiv_id":"2506.05422","last_updated":"2025-06-05T04:49:31Z","snapshot_observed_at":"2026-08-07T10:34:50.237032Z","submitted_at":"2025-06-05T04:49:31Z","title":"Constructive Symbolic Reinforcement Learning via Intuitionistic Logic and Goal-Chaining Inference","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-07T10:43:33.323652Z"},"links":{"citing_paper":"/paper/2506.05422"},"observation_digest":"sha256:5738ea888dcd0e4aa1441f939c17611595e0cef4ca33f1c65177b8ec37d04d77","observation_id":"02fac11e-2d8c-45f8-b845-c1e5184a5d2f","resolution":{"observed_at":"2026-08-07T10:43:33.474856Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2506.05422","last_updated":"2025-06-05T04:49:31Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-07T10:34:50.237032Z","submitted_at":"2025-06-05T04:49:31Z","title":"Constructive Symbolic Reinforcement Learning via Intuitionistic Logic and Goal-Chaining Inference"},"reference_resolution":{"displayed":14,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":9,"verified_exact":0,"verified_fuzzy":5},"total_outbound_references":14},"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-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"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."}