{"as_of":"2026-08-09T22:07:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:399ae2ec54d09a4b67dab49649d4536a1cf4604b242cf022ad14fdd9b2f3ba89","coverage":[{"denominator":39,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":39,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T04:33:37.490735Z","state":"measured"},{"denominator":42,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":42,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+00:00","state":"measured"},{"denominator":3,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":3,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-02T07:13:27.465736Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":1,"source":"arxiv_reference","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":"arxiv_reference"}],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2508.03366","last_updated":"2025-08-05T12:14:32Z","snapshot_observed_at":"2026-08-09T12:19:44.746526Z","submitted_at":"2025-08-05T12:14:32Z","title":"A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning","version":1},"cited_work":{"arxiv_id":"2508.03366","doi":"10.48550/arxiv.2508.03366","metadata_source":"arxiv_reference","pith_arxiv_id":"2508.03366","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Chen , title =","venue":"arXiv (Cornell University)","work_id":"8951b0b1-2e30-4d5f-b16a-bca4eb9ae576","year":2025},"citing_paper":{"arxiv_id":"2605.01797","last_updated":"2026-05-30T07:40:32Z","snapshot_observed_at":"2026-07-06T23:14:57.459903Z","submitted_at":"2026-05-03T09:22:26Z","title":"Neural Decision-Propagation for Answer Set Programming","version":1},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-05-10T15:14:22.510004Z"},"links":{"cited_paper":"/paper/2508.03366","citing_paper":"/paper/2605.01797"},"observation_digest":"sha256:71f9dbd79fb7527e4679bb15e60239828c80359d84bf4fde23c1421e16ebf85a","observation_id":"e164c1ad-f95c-462f-8877-79255926f8e3","resolution":{"observed_at":"2026-05-10T15:15:31.074242Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-07-13T17:50:06.457659+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-13T17:50:06.457659+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2508.03366","last_updated":"2025-08-05T12:14:32Z","snapshot_observed_at":"2026-08-09T12:19:44.746526Z","submitted_at":"2025-08-05T12:14:32Z","title":"A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2508.03366","snapshot_observed_at":"2026-07-12T03:16:08.937731Z","title":"arXiv preprint arXiv:2508.03366 , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.03325","last_updated":"2026-07-03T13:41:08Z","snapshot_observed_at":"2026-08-09T12:19:51.228746Z","submitted_at":"2026-07-03T13:41:08Z","title":"From Judgments to Issues: Structured Extraction of Legal Reasoning with Citation-Hallucination Control","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-07-12T03:16:08.937731Z"},"links":{"cited_paper":"/paper/2508.03366","citing_paper":"/paper/2607.03325"},"observation_digest":"sha256:fa5979cbb567bdd490fcd478950f2a7efadc9e064c343eb901ed02abb233e182","observation_id":"0638c3d1-c19f-413d-8cec-43ebea32874e","resolution":{"observed_at":"2026-07-12T03:16:08.937731Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2508.03366","last_updated":"2025-08-05T12:14:32Z","snapshot_observed_at":"2026-08-09T12:19:44.746526Z","submitted_at":"2025-08-05T12:14:32Z","title":"A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2508.03366","snapshot_observed_at":"2026-08-02T07:13:27.465736Z","title":": A Comparative Study of Neurosymbolic AI Appro aches to Interpretable Logical Reasoning","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.13073","last_updated":"2026-07-20T17:51:43Z","snapshot_observed_at":"2026-08-09T12:20:06.460177Z","submitted_at":"2026-07-12T15:54:58Z","title":"Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL","version":2},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-02T07:13:27.465736Z"},"links":{"cited_paper":"/paper/2508.03366","citing_paper":"/paper/2607.13073"},"observation_digest":"sha256:617612c69ae6a86872bffec67cab72e1f042b223d3de54784cf5ae40a4df4944","observation_id":"6cb63ce7-11ce-4e4a-beec-a67c05e2de64","resolution":{"observed_at":"2026-08-02T07:13:27.465736Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2508.03366/citation-record","integrity":"/paper/2508.03366/integrity","json":"/paper/2508.03366/citation-record.json","paper":"/paper/2508.03366"},"outbound":[{"citation":{"cited_paper":{"arxiv_id":"2303.08774","last_updated":"2024-03-04T06:01:33Z","snapshot_observed_at":"2026-08-07T07:30:12.213965Z","submitted_at":"2023-03-15T17:15:04Z","title":"GPT-4 Technical Report","version":6},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.08774","snapshot_observed_at":"2026-08-06T04:33:32.903987Z","title":"Gpt-4 technical report","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2508.03366","last_updated":"2025-08-05T12:14:32Z","snapshot_observed_at":"2026-08-09T12:19:44.746526Z","submitted_at":"2025-08-05T12:14:32Z","title":"A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-06T04:33:32.903987Z"},"links":{"cited_paper":"/paper/2303.08774","citing_paper":"/paper/2508.03366"},"observation_digest":"sha256:703ffa8e55f67b6bb92008aa562ffe9866237d2bb48fb061ba98c7225395b78d","observation_id":"7db2f0b7-f19c-472c-8b37-c1d01526ab36","resolution":{"observed_at":"2026-08-06T04:33:32.903987Z","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-08-06T04:33:32.971508Z","title":"Uci machine learning repository, 2007","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2508.03366","last_updated":"2025-08-05T12:14:32Z","snapshot_observed_at":"2026-08-09T12:19:44.746526Z","submitted_at":"2025-08-05T12:14:32Z","title":"A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-06T04:33:32.971508Z"},"links":{"citing_paper":"/paper/2508.03366"},"observation_digest":"sha256:8d772c3b23041e48795f659c69a48a005ad8e4f48ea31dbe8209dbf36c718fe6","observation_id":"c1885cac-1a3f-471e-a354-bf0b1c6d9ad8","resolution":{"observed_at":"2026-08-06T04:33:32.971508Z","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-08-06T04:33:33.064259Z","title":"Logic tensor networks","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2508.03366","last_updated":"2025-08-05T12:14:32Z","snapshot_observed_at":"2026-08-09T12:19:44.746526Z","submitted_at":"2025-08-05T12:14:32Z","title":"A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-06T04:33:33.064259Z"},"links":{"citing_paper":"/paper/2508.03366"},"observation_digest":"sha256:c099ab8eae320c25f88107c2e5a6da1f304eb2632effba270096674d0948a909","observation_id":"00d0a1eb-b145-42de-b95c-684f1024972d","resolution":{"observed_at":"2026-08-06T04:33:33.064259Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2309.16609","last_updated":"2023-09-28T17:07:49Z","snapshot_observed_at":"2026-08-09T21:25:20.369782Z","submitted_at":"2023-09-28T17:07:49Z","title":"Qwen Technical Report","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2309.16609","snapshot_observed_at":"2026-08-06T04:33:33.198714Z","title":"Qwen technical report","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2508.03366","last_updated":"2025-08-05T12:14:32Z","snapshot_observed_at":"2026-08-09T12:19:44.746526Z","submitted_at":"2025-08-05T12:14:32Z","title":"A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-06T04:33:33.198714Z"},"links":{"cited_paper":"/paper/2309.16609","citing_paper":"/paper/2508.03366"},"observation_digest":"sha256:26b4b31ebd802c9974a729e89a67d5bd4ea8205a089ad3e8fb8d678a2d66eb22","observation_id":"be1b339d-cd40-4806-bb52-20afd3cecc30","resolution":{"observed_at":"2026-08-06T04:33:33.198714Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T04:33:40.981817Z","title":"Truth table net: Scalable, compact & verifiable neural networks with a dual convolutional small boolean circuit networks form","venue":null,"work_id":"e7fffb24-cd38-46d7-93c4-6f6f2eae4448","year":null},"citing_paper":{"arxiv_id":"2508.03366","last_updated":"2025-08-05T12:14:32Z","snapshot_observed_at":"2026-08-09T12:19:44.746526Z","submitted_at":"2025-08-05T12:14:32Z","title":"A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-06T04:33:33.256387Z"},"links":{"citing_paper":"/paper/2508.03366"},"observation_digest":"sha256:ff646ec5812d0b85c445e5f1ec94a4fd507407bf504bca12ad995d6031bc884e","observation_id":"141271ad-04a9-4862-8bc4-a94a75fd621e","resolution":{"observed_at":"2026-08-06T04:33:41.082397Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2012.06921","last_updated":"2021-05-14T03:41:28Z","snapshot_observed_at":"2026-08-08T22:57:23.616311Z","submitted_at":"2020-12-12T23:36:20Z","title":"Learning Symbolic Expressions via Gumbel-Max Equation Learner Networks","version":2},"cited_work":{"arxiv_id":"2012.06921","doi":null,"metadata_source":"pith","pith_arxiv_id":"2012.06921","snapshot_observed_at":"2026-08-06T04:33:38.432769Z","title":"Learning Symbolic Expressions via Gumbel-Max Equation Learner Networks","venue":"cs.LG","work_id":"442e82bc-39b9-4498-b155-c68894b5a8c8","year":2020},"citing_paper":{"arxiv_id":"2508.03366","last_updated":"2025-08-05T12:14:32Z","snapshot_observed_at":"2026-08-09T12:19:44.746526Z","submitted_at":"2025-08-05T12:14:32Z","title":"A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-06T04:33:33.334660Z"},"links":{"cited_paper":"/paper/2012.06921","citing_paper":"/paper/2508.03366"},"observation_digest":"sha256:171447ceecb44fff5c9cc74153d50fde459885a403f910ab3dba5e40a2aa4d69","observation_id":"34cac4fc-c744-436a-874d-babc4e77a57b","resolution":{"observed_at":"2026-08-06T04:33:38.499823Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"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-06T04:33:40.838510Z","title":"Symbolic knowledge extraction and injection with sub-symbolic predictors: A systematic literature review","venue":null,"work_id":"f0692063-5bd9-41a9-a55d-412776fec2e4","year":2024},"citing_paper":{"arxiv_id":"2508.03366","last_updated":"2025-08-05T12:14:32Z","snapshot_observed_at":"2026-08-09T12:19:44.746526Z","submitted_at":"2025-08-05T12:14:32Z","title":"A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-06T04:33:33.429427Z"},"links":{"citing_paper":"/paper/2508.03366"},"observation_digest":"sha256:e4f8fa314356de7ed9e1548738660a02b67c4d95b795fe5d6705c5d346f45cb4","observation_id":"bd5811ac-1269-447d-a371-e9c184b498be","resolution":{"observed_at":"2026-08-06T04:33:40.907484Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T04:33:33.558165Z","title":"Bridging machine learning and logical reasoning by abductive learning","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2508.03366","last_updated":"2025-08-05T12:14:32Z","snapshot_observed_at":"2026-08-09T12:19:44.746526Z","submitted_at":"2025-08-05T12:14:32Z","title":"A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-06T04:33:33.558165Z"},"links":{"citing_paper":"/paper/2508.03366"},"observation_digest":"sha256:2ffcebbcb4e506911d26323e94a49f68b4ca6d4c70997334214b9c7398cdfe13","observation_id":"1cc26a72-a5fc-428e-a68e-970ae82f25fc","resolution":{"observed_at":"2026-08-06T04:33:33.558165Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T04:33:40.657911Z","title":"Knowledge enhanced neural networks","venue":null,"work_id":"653057af-7d71-43af-ae84-65b30d13377e","year":2019},"citing_paper":{"arxiv_id":"2508.03366","last_updated":"2025-08-05T12:14:32Z","snapshot_observed_at":"2026-08-09T12:19:44.746526Z","submitted_at":"2025-08-05T12:14:32Z","title":"A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-06T04:33:33.678836Z"},"links":{"citing_paper":"/paper/2508.03366"},"observation_digest":"sha256:0214eb4de06459caac25ff4703b8f12ea620605acb22430b3f320a095bb5680a","observation_id":"4a6895d2-977a-4b4b-88ac-ea9e25957e3d","resolution":{"observed_at":"2026-08-06T04:33:40.731630Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"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-06T04:33:40.515780Z","title":"Dl2: training and querying neural networks with logic","venue":null,"work_id":"36c00247-6b8b-4e0c-b184-8fe694ac4465","year":1931},"citing_paper":{"arxiv_id":"2508.03366","last_updated":"2025-08-05T12:14:32Z","snapshot_observed_at":"2026-08-09T12:19:44.746526Z","submitted_at":"2025-08-05T12:14:32Z","title":"A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-06T04:33:33.803805Z"},"links":{"citing_paper":"/paper/2508.03366"},"observation_digest":"sha256:dfc771c6dcf156e7e211df9b4f91cf7b9aaec004cbfdf38b5083f35be0a3166d","observation_id":"986b2b28-81f4-40ea-9305-e59faa095f8f","resolution":{"observed_at":"2026-08-06T04:33:40.569968Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T04:33:33.937547Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2508.03366","last_updated":"2025-08-05T12:14:32Z","snapshot_observed_at":"2026-08-09T12:19:44.746526Z","submitted_at":"2025-08-05T12:14:32Z","title":"A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-06T04:33:33.937547Z"},"links":{"citing_paper":"/paper/2508.03366"},"observation_digest":"sha256:e81555b7757150904986adf1792b9392d0892c1e25dcf60301be4b3d76629735","observation_id":"80afaa6f-2dab-431c-8d23-a53306d8e05c","resolution":{"observed_at":"2026-08-06T04:33:33.937547Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T04:33:40.371656Z","title":"Multi-shot asp solving with clingo","venue":null,"work_id":"c2b451e7-fe8b-4837-8c8c-f5fbc02d85fe","year":2019},"citing_paper":{"arxiv_id":"2508.03366","last_updated":"2025-08-05T12:14:32Z","snapshot_observed_at":"2026-08-09T12:19:44.746526Z","submitted_at":"2025-08-05T12:14:32Z","title":"A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-06T04:33:34.034632Z"},"links":{"citing_paper":"/paper/2508.03366"},"observation_digest":"sha256:2cad81fb54e21a87cf0352f571cbb26de333ea242bd1cca44e0de57376427b2d","observation_id":"05a034f1-0bd7-4a8c-bce5-ee3918f70a99","resolution":{"observed_at":"2026-08-06T04:33:40.435649Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T04:33:34.158477Z","title":"Did aristotle use a laptop? a question answering benchmark with implicit reasoning strategies","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2508.03366","last_updated":"2025-08-05T12:14:32Z","snapshot_observed_at":"2026-08-09T12:19:44.746526Z","submitted_at":"2025-08-05T12:14:32Z","title":"A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-06T04:33:34.158477Z"},"links":{"citing_paper":"/paper/2508.03366"},"observation_digest":"sha256:71ed339fcdffad158676fd6890564d668fd86f888a4ca0bb2a49c550b6fbcfd1","observation_id":"881e1944-4d14-4bab-a297-e2adddd66152","resolution":{"observed_at":"2026-08-06T04:33:34.158477Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T04:33:40.203362Z","title":"Lubm: A benchmark for owl knowledge base systems","venue":null,"work_id":"4bb272d5-2dec-465e-8265-3263414ee12c","year":2005},"citing_paper":{"arxiv_id":"2508.03366","last_updated":"2025-08-05T12:14:32Z","snapshot_observed_at":"2026-08-09T12:19:44.746526Z","submitted_at":"2025-08-05T12:14:32Z","title":"A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-06T04:33:34.290386Z"},"links":{"citing_paper":"/paper/2508.03366"},"observation_digest":"sha256:3f28f46ae8ace87e54cbbbe02c449e2a8baf20cd24934a4f1bc444b02893e0f3","observation_id":"ff1efe28-53e2-4771-a801-304a32cc315b","resolution":{"observed_at":"2026-08-06T04:33:40.270764Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2209.00840","last_updated":"2024-10-11T20:08:54Z","snapshot_observed_at":"2026-08-09T17:25:13.891240Z","submitted_at":"2022-09-02T06:50:11Z","title":"FOLIO: Natural Language Reasoning with First-Order Logic","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2209.00840","snapshot_observed_at":"2026-08-06T04:33:34.393733Z","title":"Folio: Natural language reasoning with first-order logic","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2508.03366","last_updated":"2025-08-05T12:14:32Z","snapshot_observed_at":"2026-08-09T12:19:44.746526Z","submitted_at":"2025-08-05T12:14:32Z","title":"A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-06T04:33:34.393733Z"},"links":{"cited_paper":"/paper/2209.00840","citing_paper":"/paper/2508.03366"},"observation_digest":"sha256:5bed9c45d59ae1f72bd815414b172f9bdd6b7b040acaf9ede7f204e1eb10eb7f","observation_id":"50d8ed53-ff16-4208-b82b-0ddaeaf071a7","resolution":{"observed_at":"2026-08-06T04:33:34.393733Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2009.03300","last_updated":"2021-01-12T18:57:11Z","snapshot_observed_at":"2026-08-09T10:28:06.906299Z","submitted_at":"2020-09-07T17:59:25Z","title":"Measuring Massive Multitask Language Understanding","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2009.03300","snapshot_observed_at":"2026-08-06T04:33:34.514210Z","title":"Measuring massive multitask language understanding","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2508.03366","last_updated":"2025-08-05T12:14:32Z","snapshot_observed_at":"2026-08-09T12:19:44.746526Z","submitted_at":"2025-08-05T12:14:32Z","title":"A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-06T04:33:34.514210Z"},"links":{"cited_paper":"/paper/2009.03300","citing_paper":"/paper/2508.03366"},"observation_digest":"sha256:aa4635c310ebe9738d50d1d0b03e19c582870be417c0d4c4fa3048162fdfa35f","observation_id":"e9703094-ecc3-41e2-9bef-7dccdafaaa66","resolution":{"observed_at":"2026-08-06T04:33:34.514210Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2212.10403","last_updated":"2023-05-26T17:59:33Z","snapshot_observed_at":"2026-08-06T19:23:30.079167Z","submitted_at":"2022-12-20T16:29:03Z","title":"Towards Reasoning in Large Language Models: A Survey","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2212.10403","snapshot_observed_at":"2026-08-06T04:33:34.673238Z","title":"Towards reasoning in large language models: A survey","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2508.03366","last_updated":"2025-08-05T12:14:32Z","snapshot_observed_at":"2026-08-09T12:19:44.746526Z","submitted_at":"2025-08-05T12:14:32Z","title":"A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-06T04:33:34.673238Z"},"links":{"cited_paper":"/paper/2212.10403","citing_paper":"/paper/2508.03366"},"observation_digest":"sha256:5d295740f57fd9aa90521dcadb1930c9ff31ae73aaf60ad5a3b1702d55b0c239","observation_id":"1fb1625a-1659-470b-8cdd-a2a1ec4e8a59","resolution":{"observed_at":"2026-08-06T04:33:34.673238Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T04:33:40.030579Z","title":"Third AI Summer, AAAI Robert S","venue":null,"work_id":"1524c3f6-11ff-4063-a5a6-3c0082e99b4d","year":2020},"citing_paper":{"arxiv_id":"2508.03366","last_updated":"2025-08-05T12:14:32Z","snapshot_observed_at":"2026-08-09T12:19:44.746526Z","submitted_at":"2025-08-05T12:14:32Z","title":"A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-06T04:33:34.762248Z"},"links":{"citing_paper":"/paper/2508.03366"},"observation_digest":"sha256:38cf7080c74526a98988f99a58a9d443ecc9f3e391021844b7bc2eb5c5d7e245","observation_id":"4fb61470-7bd1-44aa-8131-4968be053bd8","resolution":{"observed_at":"2026-08-06T04:33:40.104212Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"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-06T04:33:39.832710Z","title":"Abstract meaning representation (amr) annotation release 3.0","venue":null,"work_id":"f5ab828b-ec0e-4855-8443-361d9985442a","year":2020},"citing_paper":{"arxiv_id":"2508.03366","last_updated":"2025-08-05T12:14:32Z","snapshot_observed_at":"2026-08-09T12:19:44.746526Z","submitted_at":"2025-08-05T12:14:32Z","title":"A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-06T04:33:34.869255Z"},"links":{"citing_paper":"/paper/2508.03366"},"observation_digest":"sha256:a24bd05cbe611081f72f4efdb55dc6531cf32f10936110f11c243780fcaa96a9","observation_id":"88aede1c-f81b-4d5d-90cc-7b54a7d840df","resolution":{"observed_at":"2026-08-06T04:33:39.932542Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2112.07790","last_updated":"2022-05-02T20:29:14Z","snapshot_observed_at":"2026-07-06T12:18:49.237645Z","submitted_at":"2021-12-14T23:29:37Z","title":"Maximum Bayes Smatch Ensemble Distillation for AMR Parsing","version":2},"cited_work":{"arxiv_id":"2112.07790","doi":null,"metadata_source":"pith","pith_arxiv_id":"2112.07790","snapshot_observed_at":"2026-08-06T04:33:38.109372Z","title":"Maximum Bayes Smatch Ensemble Distillation for AMR Parsing","venue":"cs.CL","work_id":"aea266a9-df94-4775-8a3a-fc89cbde9265","year":2021},"citing_paper":{"arxiv_id":"2508.03366","last_updated":"2025-08-05T12:14:32Z","snapshot_observed_at":"2026-08-09T12:19:44.746526Z","submitted_at":"2025-08-05T12:14:32Z","title":"A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-06T04:33:34.929347Z"},"links":{"cited_paper":"/paper/2112.07790","citing_paper":"/paper/2508.03366"},"observation_digest":"sha256:5cebb0253353b5c0b31a6d18226f5b8ef867dc507144e066363ab0822f8103ea","observation_id":"70b6a0cb-3074-42e1-a2cb-cac70db67b32","resolution":{"observed_at":"2026-08-06T04:33:38.259140Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"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-06T04:33:39.627432Z","title":"Answer set programming, volume 3","venue":null,"work_id":"df5d66c6-3bb5-46c0-893e-9037d7c5f20f","year":2019},"citing_paper":{"arxiv_id":"2508.03366","last_updated":"2025-08-05T12:14:32Z","snapshot_observed_at":"2026-08-09T12:19:44.746526Z","submitted_at":"2025-08-05T12:14:32Z","title":"A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-06T04:33:35.046588Z"},"links":{"citing_paper":"/paper/2508.03366"},"observation_digest":"sha256:228e5505312bff7cc1a48a9da83e2cd923b52681090408c225fb505d7455533a","observation_id":"8dcd5b26-9f6a-4a8c-af40-fa3b27524af6","resolution":{"observed_at":"2026-08-06T04:33:39.712046Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"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-06T04:33:39.461645Z","title":"Foundations of logic programming","venue":null,"work_id":"2695a083-a48a-4f39-ba4e-97b72bbeedf7","year":2012},"citing_paper":{"arxiv_id":"2508.03366","last_updated":"2025-08-05T12:14:32Z","snapshot_observed_at":"2026-08-09T12:19:44.746526Z","submitted_at":"2025-08-05T12:14:32Z","title":"A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-06T04:33:35.161539Z"},"links":{"citing_paper":"/paper/2508.03366"},"observation_digest":"sha256:b4cd881599a37a3af830e47e9e828520d49608ee1a3c3214dc83f641090c6e89","observation_id":"3cf3b3eb-b3d2-431e-a24d-889f61a3656b","resolution":{"observed_at":"2026-08-06T04:33:39.546226Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T04:33:35.241820Z","title":"Faithful chain-of-thought reasoning","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2508.03366","last_updated":"2025-08-05T12:14:32Z","snapshot_observed_at":"2026-08-09T12:19:44.746526Z","submitted_at":"2025-08-05T12:14:32Z","title":"A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-06T04:33:35.241820Z"},"links":{"citing_paper":"/paper/2508.03366"},"observation_digest":"sha256:49905dd0f4c821b70dc121e4544a6dfc390bbe4f72afc7216971887369e905e6","observation_id":"fc0a3439-509f-4390-a9a9-e55c86c7c416","resolution":{"observed_at":"2026-08-06T04:33:35.241820Z","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-08-06T04:33:35.412186Z","title":"Deepproblog: Neural probabilistic logic programming","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2508.03366","last_updated":"2025-08-05T12:14:32Z","snapshot_observed_at":"2026-08-09T12:19:44.746526Z","submitted_at":"2025-08-05T12:14:32Z","title":"A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-06T04:33:35.412186Z"},"links":{"citing_paper":"/paper/2508.03366"},"observation_digest":"sha256:550fc662aa7c7cf3739426121a59a6812a45b732b475f0f7a11744bcc585392e","observation_id":"c558071d-8a97-4255-929d-a204aea9dc1e","resolution":{"observed_at":"2026-08-06T04:33:35.412186Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T04:33:39.232507Z","title":"Automated theorem provers help improve large language model reasoning","venue":null,"work_id":"33f2a35f-24da-4232-b34f-214370972118","year":2024},"citing_paper":{"arxiv_id":"2508.03366","last_updated":"2025-08-05T12:14:32Z","snapshot_observed_at":"2026-08-09T12:19:44.746526Z","submitted_at":"2025-08-05T12:14:32Z","title":"A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-06T04:33:35.577108Z"},"links":{"citing_paper":"/paper/2508.03366"},"observation_digest":"sha256:67dafecd200444b09f7f059f5e72cd6725490c908e3883d51a82dd5282d6633d","observation_id":"3421d267-3037-4206-81d7-d62023985cba","resolution":{"observed_at":"2026-08-06T04:33:39.326442Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T04:33:35.721320Z","title":"Unifying large language models and knowledge graphs: A roadmap","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2508.03366","last_updated":"2025-08-05T12:14:32Z","snapshot_observed_at":"2026-08-09T12:19:44.746526Z","submitted_at":"2025-08-05T12:14:32Z","title":"A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-06T04:33:35.721320Z"},"links":{"citing_paper":"/paper/2508.03366"},"observation_digest":"sha256:c6375275700095fa2cb4b3b77a37ccb4d5f323f64427acf92e017490077c829a","observation_id":"e4cec7e0-48b3-4b18-a54a-0960fd0bef7c","resolution":{"observed_at":"2026-08-06T04:33:35.721320Z","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-08-06T04:33:35.823544Z","title":"Deep differentiable logic gate networks","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2508.03366","last_updated":"2025-08-05T12:14:32Z","snapshot_observed_at":"2026-08-09T12:19:44.746526Z","submitted_at":"2025-08-05T12:14:32Z","title":"A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-06T04:33:35.823544Z"},"links":{"citing_paper":"/paper/2508.03366"},"observation_digest":"sha256:25b59e6dd483c8fe543998dd9d81d69c83328f62b45d4b661b290c690ebca30e","observation_id":"3232c434-d4f4-49b5-9086-398abf040ec0","resolution":{"observed_at":"2026-08-06T04:33:35.823544Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T04:33:39.053715Z","title":"Introduction to Logic: Propositional Logic","venue":null,"work_id":"844b7045-6b22-4cf1-859c-782712100850","year":1974},"citing_paper":{"arxiv_id":"2508.03366","last_updated":"2025-08-05T12:14:32Z","snapshot_observed_at":"2026-08-09T12:19:44.746526Z","submitted_at":"2025-08-05T12:14:32Z","title":"A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-06T04:33:35.983618Z"},"links":{"citing_paper":"/paper/2508.03366"},"observation_digest":"sha256:1e8e5f0c9fbcf67b5609ab56d10fbcad64d004ab286ac9f61cf6b13ab8468358","observation_id":"2d115d99-3fdd-44d1-a351-1bd6df27f2fa","resolution":{"observed_at":"2026-08-06T04:33:39.142933Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2006.13155","last_updated":"2020-06-23T16:55:45Z","snapshot_observed_at":"2026-07-06T09:31:59.126341Z","submitted_at":"2020-06-23T16:55:45Z","title":"Logical Neural Networks","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2006.13155","snapshot_observed_at":"2026-08-06T04:33:36.097187Z","title":"Logical neural networks","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2508.03366","last_updated":"2025-08-05T12:14:32Z","snapshot_observed_at":"2026-08-09T12:19:44.746526Z","submitted_at":"2025-08-05T12:14:32Z","title":"A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-06T04:33:36.097187Z"},"links":{"cited_paper":"/paper/2006.13155","citing_paper":"/paper/2508.03366"},"observation_digest":"sha256:4c32e4ee6d3f934a17619e320da7830585b94a38df79e9b741a8e3266634866f","observation_id":"9052a884-1f1e-42cf-bcd0-1558417e00aa","resolution":{"observed_at":"2026-08-06T04:33:36.097187Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T04:33:38.930835Z","title":"Stepgame: A new benchmark for robust multi-hop spatial reasoning in texts","venue":null,"work_id":"bf2c7fa0-8f1f-4912-b590-d5ebf82ad03e","year":2022},"citing_paper":{"arxiv_id":"2508.03366","last_updated":"2025-08-05T12:14:32Z","snapshot_observed_at":"2026-08-09T12:19:44.746526Z","submitted_at":"2025-08-05T12:14:32Z","title":"A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-06T04:33:36.253309Z"},"links":{"citing_paper":"/paper/2508.03366"},"observation_digest":"sha256:fa18f6f31e1777577e684319e6f4565cc54864b32884f898e5df812c5b8d9c11","observation_id":"0c381f4e-c4b0-440d-9784-038c485d9d88","resolution":{"observed_at":"2026-08-06T04:33:38.974814Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T04:33:36.445661Z","title":"Mastering the game of go with deep neural networks and tree search","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2508.03366","last_updated":"2025-08-05T12:14:32Z","snapshot_observed_at":"2026-08-09T12:19:44.746526Z","submitted_at":"2025-08-05T12:14:32Z","title":"A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-06T04:33:36.445661Z"},"links":{"citing_paper":"/paper/2508.03366"},"observation_digest":"sha256:2f40e7b0d9f55c69d30a9a4605444dbe064ffa656743c3958209eb575f48f3fd","observation_id":"6b6e40d9-ec3a-4605-bb81-d27115552e01","resolution":{"observed_at":"2026-08-06T04:33:36.445661Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1908.06177","last_updated":"2019-09-04T00:14:56Z","snapshot_observed_at":"2026-08-06T06:01:21.997422Z","submitted_at":"2019-08-16T21:12:15Z","title":"CLUTRR: A Diagnostic Benchmark for Inductive Reasoning from Text","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1908.06177","snapshot_observed_at":"2026-08-06T04:33:36.559851Z","title":"Clutrr: A diagnostic benchmark for inductive reasoning from text","venue":null,"work_id":null,"year":1908},"citing_paper":{"arxiv_id":"2508.03366","last_updated":"2025-08-05T12:14:32Z","snapshot_observed_at":"2026-08-09T12:19:44.746526Z","submitted_at":"2025-08-05T12:14:32Z","title":"A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-06T04:33:36.559851Z"},"links":{"cited_paper":"/paper/1908.06177","citing_paper":"/paper/2508.03366"},"observation_digest":"sha256:95885589930ac36747c6459e86ccd895a9605e24260a09ed8b6512a66f1fd055","observation_id":"3f9015cc-7a64-4831-b3b2-83f33f1acdc6","resolution":{"observed_at":"2026-08-06T04:33:36.559851Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2307.09288","last_updated":"2023-07-19T17:08:59Z","snapshot_observed_at":"2026-08-07T12:56:43.323460Z","submitted_at":"2023-07-18T14:31:57Z","title":"Llama 2: Open Foundation and Fine-Tuned Chat Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2307.09288","snapshot_observed_at":"2026-08-06T04:33:36.719051Z","title":"Llama 2: Open foundation and fine-tuned chat models","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2508.03366","last_updated":"2025-08-05T12:14:32Z","snapshot_observed_at":"2026-08-09T12:19:44.746526Z","submitted_at":"2025-08-05T12:14:32Z","title":"A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning","version":1},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-06T04:33:36.719051Z"},"links":{"cited_paper":"/paper/2307.09288","citing_paper":"/paper/2508.03366"},"observation_digest":"sha256:c66b74bfbb44c1e93b686a4c4cb30cfbc21f1096e50ceece16c56b3f37cfeffb","observation_id":"4e7f0bf7-4a9a-4a41-8c02-71ba0033eb9f","resolution":{"observed_at":"2026-08-06T04:33:36.719051Z","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-08-06T04:33:36.823132Z","title":"Solving olympiad geometry without human demonstrations","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2508.03366","last_updated":"2025-08-05T12:14:32Z","snapshot_observed_at":"2026-08-09T12:19:44.746526Z","submitted_at":"2025-08-05T12:14:32Z","title":"A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning","version":1},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-06T04:33:36.823132Z"},"links":{"citing_paper":"/paper/2508.03366"},"observation_digest":"sha256:182070e354fe31f98fb3b428f40014d1206acb1500d958453ff1efc46e87e0ef","observation_id":"114d287a-04a0-4538-946e-4aab01364ba7","resolution":{"observed_at":"2026-08-06T04:33:36.823132Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T04:33:38.766591Z","title":"Analyzing differentiable fuzzy logic operators","venue":null,"work_id":"40ad13bc-0322-4273-8fa6-9b122869e5f9","year":2022},"citing_paper":{"arxiv_id":"2508.03366","last_updated":"2025-08-05T12:14:32Z","snapshot_observed_at":"2026-08-09T12:19:44.746526Z","submitted_at":"2025-08-05T12:14:32Z","title":"A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning","version":1},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-06T04:33:36.933615Z"},"links":{"citing_paper":"/paper/2508.03366"},"observation_digest":"sha256:42db5455929243763816ddc8c6f253b953275845be2a2836566644de92213ec2","observation_id":"574c078d-d6c1-427a-a1eb-73baea02c4b0","resolution":{"observed_at":"2026-08-06T04:33:38.842408Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T04:33:37.125487Z","title":"Chain-of-thought prompting elicits reasoning in large language models","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2508.03366","last_updated":"2025-08-05T12:14:32Z","snapshot_observed_at":"2026-08-09T12:19:44.746526Z","submitted_at":"2025-08-05T12:14:32Z","title":"A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning","version":1},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-06T04:33:37.125487Z"},"links":{"citing_paper":"/paper/2508.03366"},"observation_digest":"sha256:7ce8aad1404a664c2af8403a9c49b0ac93f7bdb0fa1992319eb13f8b5f54cd8a","observation_id":"132e3fe0-a3ea-4f01-b81c-d15115b74451","resolution":{"observed_at":"2026-08-06T04:33:37.125487Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2307.07696","last_updated":"2023-07-15T03:29:59Z","snapshot_observed_at":"2026-07-06T15:54:17.094199Z","submitted_at":"2023-07-15T03:29:59Z","title":"Coupling Large Language Models with Logic Programming for Robust and General Reasoning from Text","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2307.07696","snapshot_observed_at":"2026-08-06T04:33:37.228612Z","title":"Coupling large language models with logic programming for robust and general reasoning from text","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2508.03366","last_updated":"2025-08-05T12:14:32Z","snapshot_observed_at":"2026-08-09T12:19:44.746526Z","submitted_at":"2025-08-05T12:14:32Z","title":"A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning","version":1},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-06T04:33:37.228612Z"},"links":{"cited_paper":"/paper/2307.07696","citing_paper":"/paper/2508.03366"},"observation_digest":"sha256:bbb3628a29d8dac9277c1e000d7998eda3c9079685d062bc6c6ac9735b62e4ff","observation_id":"5422c0d3-2f0c-415e-bd88-9fda56bbb51e","resolution":{"observed_at":"2026-08-06T04:33:37.228612Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.03742","last_updated":"2023-05-05T07:24:46Z","snapshot_observed_at":"2026-07-06T15:23:52.761222Z","submitted_at":"2023-05-05T07:24:46Z","title":"Improved Logical Reasoning of Language Models via Differentiable Symbolic Programming","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.03742","snapshot_observed_at":"2026-08-06T04:33:37.357391Z","title":"Improved logical reasoning of language models via differentiable symbolic programming","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2508.03366","last_updated":"2025-08-05T12:14:32Z","snapshot_observed_at":"2026-08-09T12:19:44.746526Z","submitted_at":"2025-08-05T12:14:32Z","title":"A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning","version":1},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-06T04:33:37.357391Z"},"links":{"cited_paper":"/paper/2305.03742","citing_paper":"/paper/2508.03366"},"observation_digest":"sha256:a9daf009884a4f44ac5c6bff049705dfc6ba7cc71542d980be7514801bb2a0e3","observation_id":"b2c97c68-3efc-45c6-852d-d8f9d113bce7","resolution":{"observed_at":"2026-08-06T04:33:37.357391Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2110.15534","last_updated":"2021-10-29T04:36:31Z","snapshot_observed_at":"2026-07-06T12:03:17.964795Z","submitted_at":"2021-10-29T04:36:31Z","title":"Structure-aware Fine-tuning of Sequence-to-sequence Transformers for Transition-based AMR Parsing","version":1},"cited_work":{"arxiv_id":"2110.15534","doi":null,"metadata_source":"pith","pith_arxiv_id":"2110.15534","snapshot_observed_at":"2026-08-06T04:33:37.658431Z","title":"Structure-aware Fine-tuning of Sequence-to-sequence Transformers for Transition-based AMR Parsing","venue":"cs.CL","work_id":"343b560b-5dde-48de-a7de-37389c10b39e","year":2021},"citing_paper":{"arxiv_id":"2508.03366","last_updated":"2025-08-05T12:14:32Z","snapshot_observed_at":"2026-08-09T12:19:44.746526Z","submitted_at":"2025-08-05T12:14:32Z","title":"A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning","version":1},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-06T04:33:37.490735Z"},"links":{"cited_paper":"/paper/2110.15534","citing_paper":"/paper/2508.03366"},"observation_digest":"sha256:75343b62c76ede126af53b27670f990ec885ecaa1414f46d4cd164a602812347","observation_id":"77e904a3-a942-4911-9645-934ab09d2316","resolution":{"observed_at":"2026-08-06T04:33:37.720741Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}}],"paper":{"arxiv_id":"2508.03366","last_updated":"2025-08-05T12:14:32Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-09T12:19:44.746526Z","submitted_at":"2025-08-05T12:14:32Z","title":"A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning"},"reference_resolution":{"displayed":39,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":22,"verified_exact":3,"verified_fuzzy":14},"total_outbound_references":39},"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 39 of 39 outbound references and 3 inbound Pith citation observations for arXiv:2508.03366."}