{"as_of":"2026-08-08T02:14:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:6606f20657c1889e3605cb42c970938e85962dd9901adf0f20f4c57b17a40516","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-07T06:34:17.273281+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-06T04:33:30.342321Z","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:538ae291331b354bc8e7efea4ca98d9b4d594af45b93ad3c3cdef79c72d7edd1","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+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-07T06:34:11.927384+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-06T04:33:30.342321Z","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-06T08:12:21.465597Z","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:64a3ef789d642ac4e5fb4abfba07c8414e43cc6ae76c07fe10e64f09afd11788","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-06T04:33:30.342321Z","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-07T14:15:35.725787Z","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:711bd66c78deb23b838690fec8ede84b2c4daab3b75fda876e76a76118e60c2f","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-06T04:33:30.342321Z","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:30fb83bfe8dd7e348be36b19387b305709c218992499ce9f8bade72c92eab891","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-06T04:33:30.342321Z","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:5349c5e5b82573bb8714b11d455f27e87511aedb7120b55f5b11604317ac783a","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-06T04:33:30.342321Z","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:9faf88c23d59dfa765fd0b6ea0f69503d99b81b4086d955a2c6ad9b73a18e0e7","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-07-06T02:11:23.670680Z","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-06T04:33:30.342321Z","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:f2058dd01655fd9f840b055f2800a8ea652c5ed1f753ee134e6b74a592d96df4","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-06T04:33:30.342321Z","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:ed512549a5280613a5e47873f8230f087cb0a432e84f195fa669c1be72973f1f","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T14:54:29.897890Z","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-06T04:33:30.342321Z","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:18ee5416a6b4787e2e2b283d9bb4f50ed67e51985c7c480b03ac6ae824334ef5","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T04:33:30.342321Z","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:bbdb01d3a1e963bf99dfe5857d8b09d61628dbd8930bda604f9b81e5dbad0b7e","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T04:33:30.342321Z","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:2108a3e65a566041bf637bc17c0e36445da43a281ced28c914a129d9ac222b06","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-06T04:33:30.342321Z","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:f3296294aa79f776b640decd5340fe75833ae03b82651df7f2418e8ed5bf79c0","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T04:33:30.342321Z","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:d79f06cb2a264b9d72b7525b77b112100eff2053088f6869bd059f989d6ce6b9","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T04:33:30.342321Z","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:2c2dcee206a1eab68afc37095bf81e4d3ae2c824b51df26467840a8c399107a7","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-06T04:33:30.342321Z","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:45ac14f65ed3d490b19777f7e78a1ee457ded7d4b4f5bede5b1f1642747e7fc1","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T04:33:30.342321Z","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:7f35db8d9906f0bc435fe01fddf0d585ab6259660c4aa297ef4efb816315098c","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-06T04:33:30.342321Z","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:245dd9b74c13207a48a5da14d95351f414a0337f16259af36eafed84f5939571","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07-06T13:48:09.566161Z","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-06T04:33:30.342321Z","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:0bbf7950edf6a5219fd9b95ca8938de7709813b1740f6f124bdd28ae0b135dae","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-07-06T02:11:23.670680Z","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-06T04:33:30.342321Z","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:471100a86f048f35651eb5515d6faba3460056549e868a41604572d1ef2a7a9a","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-06T04:33:30.342321Z","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:79c70b96d445db1038ab97340e90b88ccd24b21418cc88d157bf3950961042f9","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-06T04:33:30.342321Z","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:af200a8900457a523c04c2ff37168109440d88d65063fa0ca530796555143970","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T04:33:30.342321Z","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:ac42486997446258e12db993b3ee3bfb55004007bd5344b1cd5be5ad2a5da79a","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T04:33:30.342321Z","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:832ebcab7b05b49d843b6c83c817ae9efc5cd19ac32d7b34d161f308d4d26e93","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T04:33:30.342321Z","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:a9dafda7b99cc213d6924f5675b9931cda4655ea90712a0d9dc991743b9cf9d2","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T04:33:30.342321Z","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:c62b3c50092fccfed60f0058c99ffbd00ee59bc0673fb52d556ecfef6b95454e","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T04:33:30.342321Z","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:3750f8a1bcadcb642eba34ed2f8b47ae4cc6d36c04027c14895227153e8e8c67","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-06T04:33:30.342321Z","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:8ce10263466cce1f48aa6b1e7c4a86bac70ffb3143f9785fefdc5b63bfb3fc09","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-06T04:33:30.342321Z","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:e905aab95570791bd9a70399b05f9de502fcd06090564c1ffd7afd64e5fb809d","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T04:33:30.342321Z","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:c74f3e31e94ac67f8558affcac4c3e0195869a2afac2233ce83240f441841a33","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-06T04:33:30.342321Z","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:cee3decf695f2126c82ef18af424f71bb242230e1b913dd7a8fd65cf5ae7ea28","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-06T04:33:30.342321Z","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:c3477595a016fa965f3164a1bc10302b170278827fb8a72ba0c0408745ea92ef","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T04:33:30.342321Z","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:9554506b95504bbe1cb4aee0366ef4048e8ded37255f4fa8d2e4a41f17f8eaea","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-06T04:33:30.342321Z","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:2589640536a9f0e78f3a9b26713964ec68cc77220050643b4ea7a8d6c14da293","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T04:33:30.342321Z","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:46c102313b9e15f2680407a3a6dce2012178bb1d3b25a98519baec4dc08bc521","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-06T04:33:30.342321Z","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:ffffeb44312a1453a415e798743c793f46876ae12726a4651f41e5c58433fc4f","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-06T04:33:30.342321Z","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:147a3141ef46192ca9725ced9c6eaa3683dc05c9dbf70a2b98ddf2ea14635ab5","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-06T04:33:30.342321Z","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:6ae481c5f5d497eb0900c9b565aa58077a53c5ca08fc2165673bc318002910f2","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-06T04:33:30.342321Z","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:af85310cdeb5729880948558b6a39d939d0f1a31a873d17a95107c928f9dd4c2","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T04:33:30.342321Z","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:cdacbd39d4626672f387e673bd7c4c89358f2e8bd2525ce81c48896049c28e75","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-06T04:33:30.342321Z","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:a685c4b76d27e5f851bd730a1ee9fefe9607c5a6ba6f3a9a1994465f404322bd","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-06T04:33:30.342321Z","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:53b59d8ecdfc8b8286100497712d9157cfa4b54d432b5d637f487f8be3cf80ee","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-06T04:33:30.342321Z","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:51be59ea0c00c0712b0ce4179ee0a8c871ae19a0d68d26ced6a07b3726b0a55e","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T04:33:30.342321Z","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-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 39 of 39 outbound references and 3 inbound Pith citation observations for arXiv:2508.03366."}