{"as_of":"2026-08-17T22:49:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:0199fe60d4666ae818fa1eed752174402f4abd18d802356b1154efa4ba43d1e3","coverage":[{"denominator":91,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":91,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-15T16:18:24.314687Z","state":"measured"},{"denominator":91,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":91,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-17T06:30:58.91139+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2509.07122/citation-record","integrity":"/paper/2509.07122/integrity","json":"/paper/2509.07122/citation-record.json","paper":"/paper/2509.07122"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T16:18:21.524092Z","title":"Foundations of Databases: The Logical Level","venue":null,"work_id":null,"year":1995},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:21.524092Z"},"links":{"citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:6f0f5e6193fada6c57d5041a2eca4fb06e0c5d1b9dc3562abdb4e108d4126915","observation_id":"0a9608e4-c737-4497-a556-1019734a4fe0","resolution":{"observed_at":"2026-08-15T16:18:21.524092Z","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":"2024.34285","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T16:18:27.069451Z","title":"A survey on symbolic knowledge distillation of large language models","venue":null,"work_id":"6cc948e8-e24f-4fdf-9a0e-9813b493e250","year":2024},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:21.534284Z"},"links":{"citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:6c02e95510579ac86c6549bc7c6038c1119b33d37aca8320311e5a0778dd802b","observation_id":"bf69969f-43df-468a-84ed-0b067d82bafd","resolution":{"observed_at":"2026-08-15T16:18:27.098639Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2302.13482","last_updated":"2023-03-04T20:10:22Z","snapshot_observed_at":"2026-08-16T15:52:34.911908Z","submitted_at":"2023-02-27T02:40:05Z","title":"PyReason: Software for Open World Temporal Logic","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2302.13482","snapshot_observed_at":"2026-08-15T16:18:21.540370Z","title":"Pyreason: Software for open world temporal logic, 2023","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:21.540370Z"},"links":{"cited_paper":"/paper/2302.13482","citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:25089fe8fb330bb40cb7bec6b9579f2446b6562f1dade2234c9792edd49e8bbd","observation_id":"82684eb0-8eac-40da-af24-4dba65b11d3f","resolution":{"observed_at":"2026-08-15T16:18:21.540370Z","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":"10.1007/978-981-13-3459-7_3","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-17T11:03:46.409680Z","title":"Deep Learning Methods and Applications, pages 31--42","venue":"SpringerBriefs in computer science","work_id":"a6c78e14-0957-4bb8-8d40-3a43077cb572","year":2019},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:21.582202Z"},"links":{"citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:ebac5440a69c86ff450af2b828f8b7e0bcf2eee4ae85daf29a18b52e5ff9f260","observation_id":"cb85e6ce-e62d-4aea-a6df-fa5568b0fb40","resolution":{"observed_at":"2026-08-15T16:18:24.893794Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T16:18:21.672064Z","title":"Pylon: A pytorch framework for learning with constraints","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:21.672064Z"},"links":{"citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:549993da5c90e51db9040e16b4f5e8bdb2524b0ea3b3102384c78c06b59270e3","observation_id":"912fb8d6-5efe-4e0f-a92c-8ce62e26e6ab","resolution":{"observed_at":"2026-08-15T16:18:21.672064Z","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-15T16:18:21.761741Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:21.761741Z"},"links":{"citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:3d01473e5f432c429ab78cbb5e97f297a32706f4204e0034c80d37debc2bca9c","observation_id":"d38e8b71-5b17-4b9b-b9b3-d5fbffd19b6c","resolution":{"observed_at":"2026-08-15T16:18:21.761741Z","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-15T16:18:21.829590Z","title":"Logic tensor networks","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:21.829590Z"},"links":{"citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:2740e74eda357926e47607e4123b30588c1a6ea51776faaf2607168b429ca744","observation_id":"67db3742-7fa2-4475-94ee-098dea6e731e","resolution":{"observed_at":"2026-08-15T16:18:21.829590Z","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-15T16:18:21.871560Z","title":"Bender, Timnit Gebru, Angelina McMillan-Major, and Shmargaret Shmitchell","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:21.871560Z"},"links":{"citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:09427ba67253c995a9443a19cac99a3e8745594d494c364785ace3b87797c76c","observation_id":"10ab9cb5-ff3b-4486-8c68-bcce8731e668","resolution":{"observed_at":"2026-08-15T16:18:21.871560Z","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-15T16:18:21.885849Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:21.885849Z"},"links":{"citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:47eddca449d1ee35531d301ac87af2856d7eb4004ecf3b8634839a17f2a81d20","observation_id":"01c691db-8584-48ee-82b5-275bc9c76f93","resolution":{"observed_at":"2026-08-15T16:18:21.885849Z","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-15T16:18:21.895310Z","title":"Thinking fast and slow in ai","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:21.895310Z"},"links":{"citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:7b8cfb0938e30d906c2239bcf28fec0d733d6c1bc67e7a0f63ed2837b27a8985","observation_id":"a435abcc-fe67-4591-ae54-a8d9d7127e9a","resolution":{"observed_at":"2026-08-15T16:18:21.895310Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2209.12618","last_updated":"2022-09-08T18:18:41Z","snapshot_observed_at":"2026-08-16T16:33:48.317155Z","submitted_at":"2022-09-08T18:18:41Z","title":"Survey on Applications of Neurosymbolic Artificial Intelligence","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2209.12618","snapshot_observed_at":"2026-08-15T16:18:21.902647Z","title":"Aggarwal","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:21.902647Z"},"links":{"cited_paper":"/paper/2209.12618","citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:bb35bc36be500ff803ac6d74d091812fbd2f33c5f8e88bd919a40c10a7d36dd6","observation_id":"befa1f0d-81cf-471c-8c5f-1004340747e6","resolution":{"observed_at":"2026-08-15T16:18:21.902647Z","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-15T16:18:21.909308Z","title":"Applications of inductive logic programming","venue":null,"work_id":null,"year":1995},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:21.909308Z"},"links":{"citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:00f25a417c50dedc304b012346d15cfdba8971ddef29eaed82091cf172bc57ad","observation_id":"d634676b-4c52-4efa-b7b9-2d1ff7e02c45","resolution":{"observed_at":"2026-08-15T16:18:21.909308Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2002.11814","last_updated":"2020-10-09T17:56:09Z","snapshot_observed_at":"2026-08-12T20:27:28.564690Z","submitted_at":"2020-02-26T21:58:30Z","title":"The period-index problem for elliptic curves and the essential dimension of Picard stacks","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2002.11814","snapshot_observed_at":"2026-08-15T16:18:21.945746Z","title":"Burattini, A","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:21.945746Z"},"links":{"cited_paper":"/paper/2002.11814","citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:743042d210ae10e7ca2a70d2b80883acf64be3aa5544768265332215c5b4b96e","observation_id":"eac5244f-5142-4fc2-8b5f-3e6adda13a5f","resolution":{"observed_at":"2026-08-15T16:18:21.945746Z","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-15T16:18:22.001209Z","title":"Programming in PROLOG","venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:22.001209Z"},"links":{"citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:ae795dd6e0787d020b5bef3db2fbe4421128ae2bee99c95c1cd29bb5284c691d","observation_id":"5601eb26-7233-47d0-8cd2-d6256472d88c","resolution":{"observed_at":"2026-08-15T16:18:22.001209Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1707.05390","last_updated":"2017-07-17T20:37:08Z","snapshot_observed_at":"2026-08-14T20:47:05.014857Z","submitted_at":"2017-07-17T20:37:08Z","title":"TensorLog: Deep Learning Meets Probabilistic DBs","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1707.05390","snapshot_observed_at":"2026-08-15T16:18:22.019855Z","title":"Tensorlog: Deep learning meets probabilistic dbs","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:22.019855Z"},"links":{"cited_paper":"/paper/1707.05390","citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:bb7e281d37a6440b3b653598fddeda4c8fff9d07147804afc9539fa935f0cfb6","observation_id":"e67e0125-34a9-4eda-b1db-8fbd9ebc60bf","resolution":{"observed_at":"2026-08-15T16:18:22.019855Z","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-15T16:18:22.026852Z","title":"Inductive logic programming at 30: A new introduction","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:22.026852Z"},"links":{"citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:e86417598626ec66dfdf41e8a9bc8916fdc0e851a86a8993462602103d185e06","observation_id":"b075f8b0-e25c-41bf-9602-c9fd66504bf9","resolution":{"observed_at":"2026-08-15T16:18:22.026852Z","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-15T16:18:22.036198Z","title":"Sdd: A new canonical representation of propositional knowledge bases","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:22.036198Z"},"links":{"citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:e7db8c1b0542e1fcb387bf0b97ef046e3396a84a666b8c02da66979f0f3f9a84","observation_id":"2bb0cc50-c507-4004-a6af-ecbf25689e91","resolution":{"observed_at":"2026-08-15T16:18:22.036198Z","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-15T16:18:22.044346Z","title":"Problog: a probabilistic prolog and its application in link discovery","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:22.044346Z"},"links":{"citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:4d009938e1617bc5efb1c1d938b2b31e8293614315efd3545c388b815f18caef","observation_id":"867858a7-20c5-499b-bf86-9cdfdd287912","resolution":{"observed_at":"2026-08-15T16:18:22.044346Z","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-15T16:18:22.052599Z","title":"The deeplog neurosymbolic machine, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:22.052599Z"},"links":{"citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:da44edcaa1fc9d3017aa8d0d0634eaedb2e133d3faa9244d988fd83fd8116346","observation_id":"a140b0a7-e7ff-4ee9-8599-d014a95d9128","resolution":{"observed_at":"2026-08-15T16:18:22.052599Z","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-15T16:18:22.062106Z","title":"Parameter estimation for probabilistic finite-state transducers","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:22.062106Z"},"links":{"citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:c29d1eb669952d65e4ce3a40da40a261c61d5ce346b6ceac406060d01956de1f","observation_id":"36d19ff0-efbe-4e56-b992-9c0bcf6ca34f","resolution":{"observed_at":"2026-08-15T16:18:22.062106Z","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-15T16:18:22.110183Z","title":"Plan- SOFAI : A neuro-symbolic planning architecture","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:22.110183Z"},"links":{"citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:91d3d92c14d53fefa720adef332f68640e5a589a8ca7506209c38ecf5d5b74e3","observation_id":"12b8824e-ac93-4bac-9681-9fb18e0ade2b","resolution":{"observed_at":"2026-08-15T16:18:22.110183Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2302.10914","last_updated":"2023-02-16T16:45:36Z","snapshot_observed_at":"2026-08-16T15:54:50.200521Z","submitted_at":"2023-02-16T16:45:36Z","title":"GLUECons: A Generic Benchmark for Learning Under Constraints","version":1},"cited_work":{"arxiv_id":"2302.10914","doi":null,"metadata_source":"pith","pith_arxiv_id":"2302.10914","snapshot_observed_at":"2026-08-15T16:18:26.537304Z","title":"GLUECons: A Generic Benchmark for Learning Under Constraints","venue":"cs.LG","work_id":"13e7ebe2-ff4e-4d12-b3ee-709a8a3cb743","year":2023},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:22.203461Z"},"links":{"cited_paper":"/paper/2302.10914","citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:712136ffc1c9c82dbb79c50a3faec00daeb6a40839545b594c1b341f4543ca01","observation_id":"f0b160b1-63bb-4c63-af0e-548fce708977","resolution":{"observed_at":"2026-08-15T16:18:26.543502Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2407.20513","last_updated":"2024-07-30T03:10:30Z","snapshot_observed_at":"2026-08-16T13:30:01.571545Z","submitted_at":"2024-07-30T03:10:30Z","title":"Prompt2DeModel: Declarative Neuro-Symbolic Modeling with Natural Language","version":1},"cited_work":{"arxiv_id":"2407.20513","doi":null,"metadata_source":"pith","pith_arxiv_id":"2407.20513","snapshot_observed_at":"2026-08-15T16:18:26.473287Z","title":"Prompt2DeModel: Declarative Neuro-Symbolic Modeling with Natural Language","venue":"cs.CL","work_id":"4fb8256f-5d12-4f1f-8e60-06ca2bb8ea6c","year":2024},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:22.268859Z"},"links":{"cited_paper":"/paper/2407.20513","citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:606eb79afa13245721599c1d13b908b96274f59fd78fac57959c06223456c028","observation_id":"ea26f696-24d4-475c-8c88-e298b41005a7","resolution":{"observed_at":"2026-08-15T16:18:26.496573Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2401.09334","last_updated":"2024-01-17T16:57:19Z","snapshot_observed_at":"2026-08-16T14:26:43.714742Z","submitted_at":"2024-01-17T16:57:19Z","title":"Large Language Models Are Neurosymbolic Reasoners","version":1},"cited_work":{"arxiv_id":"2401.09334","doi":null,"metadata_source":"pith","pith_arxiv_id":"2401.09334","snapshot_observed_at":"2026-08-15T16:18:26.387734Z","title":"Large Language Models Are Neurosymbolic Reasoners","venue":"cs.CL","work_id":"bef53597-6a8e-4480-8c65-6608b8940679","year":2024},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:22.302331Z"},"links":{"cited_paper":"/paper/2401.09334","citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:f43ab65061e81c03ba9a298c54239cff73ae11cd58899ab1c1b321e9106ad134","observation_id":"a8232a67-97d4-4b34-9d55-ca8544d1aaaf","resolution":{"observed_at":"2026-08-15T16:18:26.442389Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T16:18:22.317819Z","title":"Learning from entailment: An application to propositional horn sentences","venue":null,"work_id":null,"year":1993},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:22.317819Z"},"links":{"citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:c6ba13dd7b7b1ab94c8d79ab4764bf8b51000451211595b4885113d041dc87a9","observation_id":"2c66ec86-398e-4a44-a97d-04f9718799e1","resolution":{"observed_at":"2026-08-15T16:18:22.317819Z","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-15T16:18:22.324394Z","title":"Ccn+: A neuro-symbolic framework for deep learning with requirements","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:22.324394Z"},"links":{"citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:a3ffa61ce65f75a7f96ae64abce55dd3fc2ebd158d5e7c09f1cfc660dee4854a","observation_id":"c6eec09d-aa83-48be-80a7-2764313f7e81","resolution":{"observed_at":"2026-08-15T16:18:22.324394Z","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-15T16:18:22.336596Z","title":"Green, Grigoris Karvounarakis, and Val Tannen","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:22.336596Z"},"links":{"citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:79466c7ddda5d31802e04f18921f39a671f95bd6814481733546d00d0a7978cb","observation_id":"9f6ed9cc-5811-41bd-b2ca-ca9e9ac3a87d","resolution":{"observed_at":"2026-08-15T16:18:22.336596Z","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":"10.24963/ijcai.2020/382","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T16:18:24.795898Z","title":"Inference-masked loss for deep structured output learning","venue":null,"work_id":"127f2efe-992b-4e7b-a86f-b639b4ff045b","year":2020},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:22.349828Z"},"links":{"citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:0f4d2deb003a538a1d24afd25f5ed929845466f9a54b45c70d16eac4d6a7dccc","observation_id":"ce50ee75-a677-4f1f-b6b3-4d6fee830833","resolution":{"observed_at":"2026-08-15T16:18:24.802518Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T16:18:22.414875Z","title":"Gurobi Optimizer Reference Manual , 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:22.414875Z"},"links":{"citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:5c06efd0e5218c44600d04ed60c2ffead43bc59889e870fb198ebee22f5fb5f1","observation_id":"8f38c68f-a0c1-4622-ab3a-d36d391fc087","resolution":{"observed_at":"2026-08-15T16:18:22.414875Z","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-15T16:18:22.488630Z","title":"Rule-based systems","venue":null,"work_id":null,"year":1985},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:22.488630Z"},"links":{"citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:0005cbf9a8a679b4b5de4ae0e1fae3671bb9869a63756944175797774563fe96","observation_id":"10c58256-6443-4e34-81be-d06ef8f85abb","resolution":{"observed_at":"2026-08-15T16:18:22.488630Z","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-15T16:18:27.884095Z","title":"Neuro-symbolic artificial intelligence: The state of the art","venue":null,"work_id":"41f9e786-91a3-43a5-a481-60b3dee11ab3","year":2022},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:22.544080Z"},"links":{"citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:052104138b0d9434e9fbc32a8addc5eb9ac97378c90cce2863d084b5a8b1fb3e","observation_id":"6e814c1d-61c5-47f5-a184-b85439d613b3","resolution":{"observed_at":"2026-08-15T16:18:27.906913Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2503.18213","last_updated":"2025-03-23T21:33:38Z","snapshot_observed_at":"2026-08-16T12:47:32.940751Z","submitted_at":"2025-03-23T21:33:38Z","title":"A Study on Neuro-Symbolic Artificial Intelligence: Healthcare Perspectives","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2503.18213","snapshot_observed_at":"2026-08-15T16:18:22.556089Z","title":"A study on neuro-symbolic artificial intelligence: Healthcare perspectives, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:22.556089Z"},"links":{"cited_paper":"/paper/2503.18213","citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:7ee3e0cad92d0e90a3b413d0a2e89adf0623765f0b3f735dd4cf12b0f5364069","observation_id":"10da8402-4ac6-4841-b8b9-d18d264ef932","resolution":{"observed_at":"2026-08-15T16:18:22.556089Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.16035","last_updated":"2023-10-24T17:50:20Z","snapshot_observed_at":"2026-08-16T14:49:14.890020Z","submitted_at":"2023-10-24T17:50:20Z","title":"What's Left? Concept Grounding with Logic-Enhanced Foundation Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.16035","snapshot_observed_at":"2026-08-15T16:18:22.564847Z","title":"Tenenbaum, and Jiajun Wu","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:22.564847Z"},"links":{"cited_paper":"/paper/2310.16035","citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:aa4fec56cfc2694bada8bf165c000f2a60a746db907e116108af565676f514ad","observation_id":"f0a55822-0cb2-4347-a917-ac3e6da74856","resolution":{"observed_at":"2026-08-15T16:18:22.564847Z","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-15T16:18:27.862031Z","title":"Scallop: From probabilistic deductive databases to scalable differentiable reasoning","venue":null,"work_id":"6c57ff38-3ce3-4165-bd86-4acc2842256c","year":2021},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:22.573825Z"},"links":{"citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:fe74b27eaf5d4e0ca222b6af966c2d83e2d511615028dc3ee0bdc719e99082de","observation_id":"b0148619-f479-47a3-9e6a-0cbf77f77996","resolution":{"observed_at":"2026-08-15T16:18:27.870368Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T16:18:22.604016Z","title":"Leveraging large language models to generate answer set programs","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:22.604016Z"},"links":{"citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:21954071c76738cf134b7fc662e596b678ebf4373aceb4bb3f7249e226b10e4a","observation_id":"9bda3640-3c75-4dc2-a475-fdb8701cbe0d","resolution":{"observed_at":"2026-08-15T16:18:22.604016Z","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":"5208.2025","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T16:18:26.064372Z","title":"Neurosymbolic approaches in ai design – an overview","venue":null,"work_id":"0ce8b99c-7b26-41b0-abe7-47a3ab5dd786","year":2025},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:22.687421Z"},"links":{"citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:f6b23458813570d1a7c3c2f28e2063f8a454e9444bcb27d7eee801360b4c9fe5","observation_id":"cfee9ab1-34e0-4944-ba6e-b0ecad0cf218","resolution":{"observed_at":"2026-08-15T16:18:26.076042Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T16:18:27.795196Z","title":"Lawrence Zitnick, and Ross Girshick","venue":null,"work_id":"17befd87-b292-4849-9ab1-67ef9def9b39","year":2017},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:22.775785Z"},"links":{"citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:28fe182c5aa9e9d9f0c97f4ab3490ba492f419adba1741771a93e1c199842723","observation_id":"bbcd36a8-36ac-4a0d-b505-a59e138031d2","resolution":{"observed_at":"2026-08-15T16:18:27.836881Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T16:18:22.797774Z","title":"Thinking, fast and slow","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:22.797774Z"},"links":{"citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:8506e9074ad575aa754ecfe74e8a258613f0f0dbc75aaf37105f959c8d81e09a","observation_id":"33e3359c-384a-41b9-bd56-2221fd5cf3cb","resolution":{"observed_at":"2026-08-15T16:18:22.797774Z","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-15T16:18:22.831618Z","title":"Barezi, and Parisa Kordjamshidi","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:22.831618Z"},"links":{"citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:7e56b02885c4f789d90ade9b1655084d8fb6b4b14426a53f9014076cda5522e4","observation_id":"4b9e677a-9f40-410b-a542-fd84bebe097e","resolution":{"observed_at":"2026-08-15T16:18:22.831618Z","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-15T16:18:22.846924Z","title":"The third ai summer: Aaai robert s","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:22.846924Z"},"links":{"citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:ec4399e34c47c327d5aa16b1dcc61fef848f384b797c9249ca171e47f089176f","observation_id":"84d429eb-648a-4ddf-8751-ad78975fafdc","resolution":{"observed_at":"2026-08-15T16:18:22.846924Z","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":"10.1609/aaai.v25i1.7852","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T16:18:24.674746Z","title":"An algebraic prolog for reasoning about possible worlds","venue":null,"work_id":"e72911cf-7db6-4c6d-9445-e1f50d1f7f5d","year":2011},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:22.855071Z"},"links":{"citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:d770bf0f029f151cf7fbc0fdd358e9dba73e04938305a223e19d56a1631b4adb","observation_id":"a44c3805-2065-4e16-83d6-9f686e1af0b6","resolution":{"observed_at":"2026-08-15T16:18:24.704152Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2304.02643","last_updated":"2023-04-05T17:59:46Z","snapshot_observed_at":"2026-08-08T05:14:59.435033Z","submitted_at":"2023-04-05T17:59:46Z","title":"Segment Anything","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2304.02643","snapshot_observed_at":"2026-08-15T16:18:22.861834Z","title":"Berg, Wan-Yen Lo, Piotr Dollár, and Ross Girshick","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:22.861834Z"},"links":{"cited_paper":"/paper/2304.02643","citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:f6e164ef9e5dceb78644d9040ccfff17394406769c9eb81187753ff5441635eb","observation_id":"4b9992b8-c91e-437c-aab8-83a97e0c58e6","resolution":{"observed_at":"2026-08-15T16:18:22.861834Z","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":"8514.29854","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T16:18:25.942071Z","title":"Kolaitis and Moshe Y","venue":null,"work_id":"e98476b6-8668-461f-901d-ffd8b8e07384","year":1990},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:22.874316Z"},"links":{"citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:3524c3d4abef1d7b9108b46b81aae9fc56658cf758a0a8aefaa3161f2bc9e77d","observation_id":"d7bcac19-d21f-458a-9f92-3eac383cda89","resolution":{"observed_at":"2026-08-15T16:18:25.952890Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T16:18:27.756710Z","title":"Saul: Towards declarative learning based programming","venue":null,"work_id":"f98eafbc-fafb-4524-bf44-0c5ba0f795bd","year":2015},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":44,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:22.949462Z"},"links":{"citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:7e1e78dcd074ae3c2452d586dc122af30e7b4ae80dddce889b16c825e474f239","observation_id":"4ce111db-cb38-4b95-b941-bb29f9ab115c","resolution":{"observed_at":"2026-08-15T16:18:27.765571Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T16:18:27.733177Z","title":"Better call S aul: Flexible programming for learning and inference in NLP","venue":null,"work_id":"431d54a1-6289-497b-92be-fa2127f25c0f","year":2016},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":45,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:23.018523Z"},"links":{"citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:f9e8322f77184ffc604965243012755b435c1c7b60fd6c2b3e56a3732960015e","observation_id":"3b59a42d-70be-487d-9d3c-6976c73d6047","resolution":{"observed_at":"2026-08-15T16:18:27.739758Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T16:18:27.714701Z","title":"Declarative learning-based programming as an interface to ai systems","venue":null,"work_id":"90026df2-ee67-471c-a626-92ccf9c9592f","year":2019},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":46,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:23.055262Z"},"links":{"citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:79f77dfef1a524bcd7d523196699beeaad32229b01e4b9254789e6fcbe110779","observation_id":"c8a5c347-1006-4531-92b5-86022c85e11f","resolution":{"observed_at":"2026-08-15T16:18:27.720717Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2022.75536","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T16:18:25.809821Z","title":"Declarative learning-based programming as an interface to ai systems","venue":null,"work_id":"200da6a1-c41f-46a0-8545-e825d15228bf","year":2022},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":47,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:23.073689Z"},"links":{"citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:ebdb20cbeafce3aa441f0fb712e89320c4616ceafbad5b5c485facc2203bb2c5","observation_id":"fd95e0de-88b0-4bc3-8680-46f8ce9a7233","resolution":{"observed_at":"2026-08-15T16:18:25.864168Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2003.00330","last_updated":"2021-06-12T23:05:33Z","snapshot_observed_at":"2026-08-14T09:03:48.252158Z","submitted_at":"2020-02-29T18:55:13Z","title":"Graph Neural Networks Meet Neural-Symbolic Computing: A Survey and Perspective","version":7},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2003.00330","snapshot_observed_at":"2026-08-15T16:18:23.100064Z","title":"Lamb, Artur Garcez, Marco Gori, Marcelo Prates, Pedro Avelar, and Moshe Vardi","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":48,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:23.100064Z"},"links":{"cited_paper":"/paper/2003.00330","citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:0dc917e3dd9ade91115d6f9b64cbd6492de48963bde6d26228267dfecb89e720","observation_id":"4118466a-6087-4b6a-b08f-dae2d55e58f4","resolution":{"observed_at":"2026-08-15T16:18:23.100064Z","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-15T16:18:27.690542Z","title":"Deep learning for symbolic mathematics","venue":null,"work_id":"814fe196-ce40-4416-9263-a6b1b0266aad","year":2020},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":49,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:23.111430Z"},"links":{"citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:2c5878620ca6c1189292401df76fd01b00afe610cf9174cf6fa2c74b3adf7e52","observation_id":"b289b055-2e12-44c8-a7c2-f4de981f42cb","resolution":{"observed_at":"2026-08-15T16:18:27.698372Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T16:18:23.118328Z","title":"Lecun, L","venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":50,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:23.118328Z"},"links":{"citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:f337a87b57fa8844c01df137d63c81bd97943b73256d19208029733630b6dbdd","observation_id":"52059f40-9038-418f-8d99-90c76b3c472e","resolution":{"observed_at":"2026-08-15T16:18:23.118328Z","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-15T16:18:23.124371Z","title":"Deep learning","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":51,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:23.124371Z"},"links":{"citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:189d55ab2208f97b31f491d936ace94ab3c44ee934179203d24d25bd5e314104","observation_id":"cb6f6915-133c-44a9-bcf4-c503b2e43178","resolution":{"observed_at":"2026-08-15T16:18:23.124371Z","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-15T16:18:23.130488Z","title":"Trustworthy ai: From principles to practices","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":52,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:23.130488Z"},"links":{"citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:38f7651e812793a64723521ce5d82b5d343271ce6793159566926757e6b8fe5d","observation_id":"a9e29c48-1fde-47f2-8dad-930514a81285","resolution":{"observed_at":"2026-08-15T16:18:23.130488Z","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-15T16:18:23.138309Z","title":"Scallop: A language for neurosymbolic programming","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":53,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:23.138309Z"},"links":{"citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:dc04ed3658e40799658a0eaafe09afff595150bee9660230440c057d1cb5e75e","observation_id":"17b7c6dd-ed56-4770-adb1-0a1d1436dab3","resolution":{"observed_at":"2026-08-15T16:18:23.138309Z","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-15T16:18:23.151655Z","title":"Relational programming with foundational models","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":54,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:23.151655Z"},"links":{"citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:56ed699bc7f7f1a47cd88f14847d7abfa7ab5ed76db700736b7e39dc94a455a1","observation_id":"7a23c39a-8ef8-4a56-8f8e-01e1df298e86","resolution":{"observed_at":"2026-08-15T16:18:23.151655Z","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":"10.1109/ichis.2005.97","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T16:18:24.530330Z","title":"Satyrus: A sat-based neuro-symbolic architecture for constraint processing","venue":null,"work_id":"007d1233-cb76-487f-88c5-12ffbee1f642","year":2005},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":55,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:23.246130Z"},"links":{"citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:e507e5c7b3987c915507515397c5d1836b7f2a6cad9c38195138c7b2e02b766e","observation_id":"729783a5-ba1b-46d6-bce0-09fc66f5cfa4","resolution":{"observed_at":"2026-08-15T16:18:24.572244Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T16:18:27.662364Z","title":null,"venue":null,"work_id":"d8cebbbe-6baf-4dbd-9a43-9086ab3bb398","year":2019},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":56,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:23.307677Z"},"links":{"citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:3822f806509fbdc5001185209984b69ca7e5f8513fd1a5d1fd7c795da085b115","observation_id":"777630e8-49ed-4e9c-ad4e-eb730bad203d","resolution":{"observed_at":"2026-08-15T16:18:27.670654Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T16:18:23.327768Z","title":"Surveying neuro-symbolic approaches for reliable artificial intelligence of things","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":57,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:23.327768Z"},"links":{"citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:9c7a035e1654bf553bb05650bffd41ceeffb1d77672140029bf74845bd703de2","observation_id":"a667a793-41aa-42a3-906b-be49e2abfc6b","resolution":{"observed_at":"2026-08-15T16:18:23.327768Z","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-15T16:18:23.355582Z","title":"Neural probabilistic logic programming in deepproblog","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":58,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:23.355582Z"},"links":{"citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:fce71d7e05a4e100d6208add40b547214a3b9472330e4218308166e10512eead","observation_id":"6095d742-5aa5-4ce3-87f8-e4f3703f0ea1","resolution":{"observed_at":"2026-08-15T16:18:23.355582Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1904.12584","last_updated":"2019-04-26T06:50:54Z","snapshot_observed_at":"2026-08-14T16:41:07.492381Z","submitted_at":"2019-04-26T06:50:54Z","title":"The Neuro-Symbolic Concept Learner: Interpreting Scenes, Words, and Sentences From Natural Supervision","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1904.12584","snapshot_observed_at":"2026-08-15T16:18:23.366293Z","title":"Tenenbaum, and Jiajun Wu","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":59,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:23.366293Z"},"links":{"cited_paper":"/paper/1904.12584","citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:e92ae64b69a8123e1884696fcc93d4f55690274af3e9f0b6f16c07b42fcd449f","observation_id":"e8934338-888c-47f4-8cf8-0fbfc857ea1d","resolution":{"observed_at":"2026-08-15T16:18:23.366293Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2205.06230","last_updated":"2022-07-20T12:24:25Z","snapshot_observed_at":"2026-08-17T01:35:20.658936Z","submitted_at":"2022-05-12T17:20:36Z","title":"Simple Open-Vocabulary Object Detection with Vision Transformers","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2205.06230","snapshot_observed_at":"2026-08-15T16:18:23.375038Z","title":"Simple open-vocabulary object detection with vision transformers, 2022","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":60,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:23.375038Z"},"links":{"cited_paper":"/paper/2205.06230","citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:5f43b90ad806445246e545bd8eca5c425621c1fce5fa9d73fa125d3dd9ee11fa","observation_id":"8d5fcd8f-6098-427e-9a2c-97a9e334e823","resolution":{"observed_at":"2026-08-15T16:18:23.375038Z","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-15T16:18:23.410179Z","title":"Disentangling extraction and reasoning in multi-hop spatial reasoning","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":61,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:23.410179Z"},"links":{"citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:0d66105cb9d31a5ffb8675edd5e85ed0f7b89668f1322c52cf43dae544ff2205","observation_id":"1ae1af0a-7130-4843-9c27-4b5b78212635","resolution":{"observed_at":"2026-08-15T16:18:23.410179Z","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-15T16:18:27.484561Z","title":"A primal dual formulation for deep learning with constraints","venue":null,"work_id":"2b2f410e-02cf-41be-9275-1eb2d16a1983","year":2019},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":62,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:23.491837Z"},"links":{"citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:6aabc81455d1d79dee9ab9a9e9c700018184dc2080cf571176003a75e6e5d449","observation_id":"ceba75d2-22ba-471b-a71a-7138e1d0d2dd","resolution":{"observed_at":"2026-08-15T16:18:27.595247Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T16:18:23.535674Z","title":"Physical symbol systems","venue":null,"work_id":null,"year":1980},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":63,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:23.535674Z"},"links":{"citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:694a379c0f76fcacec8f81b3dbc2fa162c939c27b049b2dab14d7c92500f075b","observation_id":"4e533b53-1f69-4796-be57-e0e435e4b410","resolution":{"observed_at":"2026-08-15T16:18:23.535674Z","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-15T16:18:23.545065Z","title":"Subrahmanian","venue":null,"work_id":null,"year":1992},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":64,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:23.545065Z"},"links":{"citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:725114fdb9d5be10589f9565e22a1d61e5f00eefb76a4221ea2919a77ee0ff36","observation_id":"7ccd783e-3189-4719-ad3c-c9507e365d1f","resolution":{"observed_at":"2026-08-15T16:18:23.545065Z","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-15T16:18:27.461949Z","title":"What is inductive logic programming? Springer, 1997","venue":null,"work_id":"5923c560-51a2-406e-bf05-fb9a72115173","year":1997},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":65,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:23.555680Z"},"links":{"citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:cc6f3ef4aa3763966f10b031c93a831e1f7da3296b99cc96c24d9a6f7c26fe63","observation_id":"eed818cc-1ed5-45c8-be58-b72293f74754","resolution":{"observed_at":"2026-08-15T16:18:27.467661Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2303.08774","last_updated":"2024-03-04T06:01:33Z","snapshot_observed_at":"2026-08-17T09:58:46.058102Z","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-15T16:18:23.563838Z","title":"Gpt-4 technical report, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":66,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:23.563838Z"},"links":{"cited_paper":"/paper/2303.08774","citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:0fb8e6e6d137d588e85e47871f086abc010587e9f1553b395da88e5b840126e6","observation_id":"309427f7-6a2e-4cd0-b556-9c1458fbedf7","resolution":{"observed_at":"2026-08-15T16:18:23.563838Z","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-15T16:18:23.575458Z","title":"Logic- LM : Empowering large language models with symbolic solvers for faithful logical reasoning","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":67,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:23.575458Z"},"links":{"citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:be5033804d5297fad3250a3245c1e9cc2c9341befff1b8a52f89ff215c27604d","observation_id":"aa265687-591f-4ca4-9620-67de4239c60e","resolution":{"observed_at":"2026-08-15T16:18:23.575458Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.12295","last_updated":"2023-10-19T01:54:27Z","snapshot_observed_at":"2026-08-16T15:31:26.337457Z","submitted_at":"2023-05-20T22:25:38Z","title":"Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.12295","snapshot_observed_at":"2026-08-15T16:18:23.584194Z","title":"Logic-lm: Empowering large language models with symbolic solvers for faithful logical reasoning, 2023 b","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":68,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:23.584194Z"},"links":{"cited_paper":"/paper/2305.12295","citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:55a6b941935dc9c545e0a80e13d63ae5609170a25ce7e912672f0cf26205bdcc","observation_id":"c66f5ed5-ca4b-4d01-93ba-44e66874536f","resolution":{"observed_at":"2026-08-15T16:18:23.584194Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1912.01703","last_updated":"2019-12-03T22:06:05Z","snapshot_observed_at":"2026-07-06T08:41:49.632205Z","submitted_at":"2019-12-03T22:06:05Z","title":"PyTorch: An Imperative Style, High-Performance Deep Learning Library","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1912.01703","snapshot_observed_at":"2026-08-15T16:18:23.613982Z","title":"Pytorch: An imperative style, high-performance deep learning library, 2019","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":69,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:23.613982Z"},"links":{"cited_paper":"/paper/1912.01703","citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:2092df95a55492b9c607a65ec0931a16745640c4967fe781210b9f4b0d0b6939","observation_id":"2344d328-e10c-4575-941d-f014ae83b4df","resolution":{"observed_at":"2026-08-15T16:18:23.613982Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1909.01066","last_updated":"2019-09-04T09:33:20Z","snapshot_observed_at":"2026-08-16T06:43:05.193260Z","submitted_at":"2019-09-03T11:11:08Z","title":"Language Models as Knowledge Bases?","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1909.01066","snapshot_observed_at":"2026-08-15T16:18:23.654560Z","title":"Miller, and Sebastian Riedel","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":70,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:23.654560Z"},"links":{"cited_paper":"/paper/1909.01066","citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:0362fd61b95f48d29dd3f183990d4cd47471e7b9f3a03dc7672d0dc63fc21780","observation_id":"42fecbd9-bdfe-409c-9b77-1d0508a343cf","resolution":{"observed_at":"2026-08-15T16:18:23.654560Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2103.00020","last_updated":"2021-02-26T19:04:58Z","snapshot_observed_at":"2026-07-06T10:45:03.059688Z","submitted_at":"2021-02-26T19:04:58Z","title":"Learning Transferable Visual Models From Natural Language Supervision","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2103.00020","snapshot_observed_at":"2026-08-15T16:18:23.707044Z","title":"Learning transferable visual models from natural language supervision, 2021","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":71,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:23.707044Z"},"links":{"cited_paper":"/paper/2103.00020","citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:ed1108b6bcdb0d347a7ad08fe16c57362190969beefd81e85541fd8dc3aeeb99","observation_id":"805ea277-b484-4fe1-92f4-2af27f2e767f","resolution":{"observed_at":"2026-08-15T16:18:23.707044Z","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":"10.18653/v1/2021.emnlp-demo.27","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T16:18:24.424840Z","title":"D omi K now S : A library for integration of symbolic domain knowledge in deep learning","venue":null,"work_id":"e75940ed-08a3-404f-9074-98e69805f6e8","year":2021},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":72,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:23.749302Z"},"links":{"citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:f1b99c1d111cead2fbd371251c25e6b5ba97474741b8d098986615e93e2911b9","observation_id":"b60f1555-593a-44e5-b887-52d0be2a6230","resolution":{"observed_at":"2026-08-15T16:18:24.439255Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T16:18:27.434840Z","title":"Learning rules comparison in neuro-symbolicintegration","venue":null,"work_id":"f04133bf-0245-4c06-acf3-ab168180fbfe","year":2011},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":73,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:23.760111Z"},"links":{"citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:a67316c6fac56d08d6341b08792774e180e5223b202897cbf7cb3f361c811fcd","observation_id":"223e0ed5-cbc5-4005-8b0a-ca95e6bae527","resolution":{"observed_at":"2026-08-15T16:18:27.446821Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T16:18:27.410757Z","title":"Learning and reasoning with logic tensor networks","venue":null,"work_id":"04a8d7d8-c410-4749-b54f-2c7106eb572c","year":2016},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":74,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:23.767091Z"},"links":{"citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:cb96beb111e474d3b52e903f9785116a80698462c5d6ea64346340e7dbff088f","observation_id":"55e001bf-7ba5-4bed-88e4-00ad18e46b83","resolution":{"observed_at":"2026-08-15T16:18:27.420591Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T16:18:27.388226Z","title":"Arithmetic circuits: A survey of recent results and open questions","venue":null,"work_id":"e939c6a4-b5de-4327-9db6-09d86a12db83","year":2010},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":75,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:23.773701Z"},"links":{"citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:7c22c81020a5494b36997282b3ff9e637facc1bf9c518345da56b8c3480f1772","observation_id":"9fd4f58e-6158-4581-81d1-ec7dadc47c32","resolution":{"observed_at":"2026-08-15T16:18:27.395770Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T16:18:23.782234Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":76,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:23.782234Z"},"links":{"citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:f74c7f727789fc166debd08db3c91a4e67091500ae3f487032ebbfb19f168d8a","observation_id":"2cfc03b3-566c-4ac3-94f8-6af652832f01","resolution":{"observed_at":"2026-08-15T16:18:23.782234Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1601.02745","last_updated":"2016-01-12T06:44:54Z","snapshot_observed_at":"2026-08-14T22:15:02.513989Z","submitted_at":"2016-01-12T06:44:54Z","title":"Basic Reasoning with Tensor Product Representations","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1601.02745","snapshot_observed_at":"2026-08-15T16:18:23.788833Z","title":"Basic reasoning with tensor product representations","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":77,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:23.788833Z"},"links":{"cited_paper":"/paper/1601.02745","citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:d0bf6c4b47c97f43b49d5930fac1080cbe2e6857a1ef39c08176fcd8f0b4ac38","observation_id":"f33cf623-778a-4dad-a072-86d5e40aebd6","resolution":{"observed_at":"2026-08-15T16:18:23.788833Z","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-15T16:18:27.349445Z","title":"Neuro-symbolic program search for autonomous driving decision module design","venue":null,"work_id":"1770e464-dae6-444b-941e-936a5e9a29a3","year":2020},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":78,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:23.871744Z"},"links":{"citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:05b476a701992fb2f9310cdbfc2625911c8811f6fb0ebea6c5981f75e1139573","observation_id":"f5f38bb3-4e77-436b-91e9-b9e354eeecfd","resolution":{"observed_at":"2026-08-15T16:18:27.370287Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T16:18:27.167509Z","title":"Tjong Kim Sang and Fien De Meulder","venue":null,"work_id":"1210e923-b88c-40fc-83b2-1d664519437a","year":2003},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":79,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:23.970000Z"},"links":{"citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:ce9ff54955a93feafa59f5629f3852cbf4cee0a6e51063de9da05aa960db29d7","observation_id":"6184d0e4-48e6-4044-80a2-bd2d3c99e03a","resolution":{"observed_at":"2026-08-15T16:18:27.259149Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"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-15T16:18:23.998303Z","title":"Llama 2: Open foundation and fine-tuned chat models, 2023","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":80,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:23.998303Z"},"links":{"cited_paper":"/paper/2307.09288","citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:f9aaab8269b8bfe65047c9bb02384ab1652dc227121f9cad6f919dc5b10a8e2e","observation_id":"8d7f1708-3322-49e3-8df2-9b3fbf331a21","resolution":{"observed_at":"2026-08-15T16:18:23.998303Z","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-15T16:18:24.033912Z","title":"Constraint satisfaction using constraint logic programming","venue":null,"work_id":null,"year":1992},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":81,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:24.033912Z"},"links":{"citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:bf989bde57756c01ab66237cf6ee4ac521a455efbc002a8a5e3c4a9133790f48","observation_id":"4422dd48-b6f3-4f83-977c-d1477ea8427b","resolution":{"observed_at":"2026-08-15T16:18:24.033912Z","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-15T16:18:24.042668Z","title":"Eliza—a computer program for the study of natural language communication between man and machine","venue":null,"work_id":null,"year":1966},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":82,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:24.042668Z"},"links":{"citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:7a1172d5a7c4111d6f031217e10d85f6dca17f6a8bcf3ddafd3a2e24fe77347d","observation_id":"bd4be03d-bfff-4955-bae3-2c1183e1d103","resolution":{"observed_at":"2026-08-15T16:18:24.042668Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2306.12672","last_updated":"2023-06-23T06:05:31Z","snapshot_observed_at":"2026-08-16T22:06:59.789757Z","submitted_at":"2023-06-22T05:14:00Z","title":"From Word Models to World Models: Translating from Natural Language to the Probabilistic Language of Thought","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2306.12672","snapshot_observed_at":"2026-08-15T16:18:24.048831Z","title":"Lew, Noah D","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":83,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:24.048831Z"},"links":{"cited_paper":"/paper/2306.12672","citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:cbbb0412af07a0441da13fd98b54260437e86c0ac6b83df75850cc30015f7027","observation_id":"eaa273c8-094d-43a7-88dd-4471ae197421","resolution":{"observed_at":"2026-08-15T16:18:24.048831Z","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-15T16:18:24.055480Z","title":"Symbol- LLM : Towards foundational symbol-centric interface for large language models","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":84,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:24.055480Z"},"links":{"citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:fc04215c62dc04ab5930571e951079d046808cc12065a9ad91ea6da0102a0531","observation_id":"66763f76-6745-4be9-b439-4d27b00ac86a","resolution":{"observed_at":"2026-08-15T16:18:24.055480Z","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-15T16:18:27.137797Z","title":"A semantic loss function for deep learning with symbolic knowledge","venue":null,"work_id":"f2ff40ea-cc00-4481-aaf7-93805c1561b4","year":2018},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":85,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:24.061956Z"},"links":{"citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:44980fce06867e11ac13b9d5605ada5220a6481ace2e287e07d8cfdae04726b2","observation_id":"ede68b5b-7a01-4ff0-99a1-8c1748615294","resolution":{"observed_at":"2026-08-15T16:18:27.143873Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.18357","last_updated":"2024-06-11T07:41:03Z","snapshot_observed_at":"2026-08-16T13:48:32.044219Z","submitted_at":"2024-05-28T16:55:33Z","title":"Faithful Logical Reasoning via Symbolic Chain-of-Thought","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.18357","snapshot_observed_at":"2026-08-15T16:18:24.104279Z","title":"Faithful logical reasoning via symbolic chain-of-thought","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":86,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:24.104279Z"},"links":{"cited_paper":"/paper/2405.18357","citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:9e6d90f7ffbc4448270797f34cf4719077782935a482c59daf8036e5eeb68e5c","observation_id":"9c062542-9f59-4fa3-8e25-5d42cb1bad15","resolution":{"observed_at":"2026-08-15T16:18:24.104279Z","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-15T16:18:24.216471Z","title":"Arithmetic reasoning with LLM : P rolog generation & permutation","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":87,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:24.216471Z"},"links":{"citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:73484358e542975c4f4da22ff0227cad03e0e7113719be2c53fd996ad8e2c7ac","observation_id":"ea421a54-4d4c-4eea-a489-8f00359d0ea4","resolution":{"observed_at":"2026-08-15T16:18:24.216471Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2308.13916","last_updated":"2025-02-13T10:45:15Z","snapshot_observed_at":"2026-08-16T15:05:34.844520Z","submitted_at":"2023-08-26T16:51:17Z","title":"Exploring Large Language Models for Knowledge Graph Completion","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2308.13916","snapshot_observed_at":"2026-08-15T16:18:24.263152Z","title":"Exploring large language models for knowledge graph completion, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":88,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:24.263152Z"},"links":{"cited_paper":"/paper/2308.13916","citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:f51d2bd76a460a10177aeff83e24845ceab199f841c6a82092a56ee0c3241534","observation_id":"65a95235-c677-42b6-b72e-2851a942f54c","resolution":{"observed_at":"2026-08-15T16:18:24.263152Z","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-15T16:18:27.113231Z","title":"Tenenbaum","venue":null,"work_id":"46e8e223-b226-4980-a35d-d22eead4fccf","year":2018},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":89,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:24.299889Z"},"links":{"citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:d30fcd255af34e65c05f72b9a7dd414d795fc1591159b2f51ccda21ef60fa11c","observation_id":"2c0e0bb3-684f-47f9-8c4b-d9a1fff88d4e","resolution":{"observed_at":"2026-08-15T16:18:27.119162Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2305.03742","last_updated":"2023-05-05T07:24:46Z","snapshot_observed_at":"2026-08-16T15:35:25.646416Z","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-15T16:18:24.307038Z","title":"Improved logical reasoning of language models via differentiable symbolic programming, 2023","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":90,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:24.307038Z"},"links":{"cited_paper":"/paper/2305.03742","citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:2bfb30edfee9e1d73ec4e8a1a9f2bb5bd0e7562313a2040dd9c2e8f7335b08f5","observation_id":"bcbebe9c-8d2b-4171-8ab0-db7fa9f61e8e","resolution":{"observed_at":"2026-08-15T16:18:24.307038Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2407.13578","last_updated":"2024-12-16T11:23:14Z","snapshot_observed_at":"2026-08-16T13:33:01.540023Z","submitted_at":"2024-07-18T15:20:18Z","title":"How Reliable are LLMs as Knowledge Bases? Re-thinking Facutality and Consistency","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.13578","snapshot_observed_at":"2026-08-15T16:18:24.314687Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","version":1},"reference_index":91,"source":"arxiv_source","source_observed_at":"2026-08-15T16:18:24.314687Z"},"links":{"cited_paper":"/paper/2407.13578","citing_paper":"/paper/2509.07122"},"observation_digest":"sha256:6931f8c483cd3cdcd1aa5b8ccb52aace77b0ab31ab10e7aec7c45694ec639662","observation_id":"eee25137-ffd0-4ac0-8523-04c81ccf8f57","resolution":{"observed_at":"2026-08-15T16:18:24.314687Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2509.07122","last_updated":"2025-09-08T18:17:33Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-16T06:45:08.808045Z","submitted_at":"2025-09-08T18:17:33Z","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis"},"reference_resolution":{"displayed":91,"state_counts":{"malformed_identifier":0,"metadata_mismatch":3,"parse_uncertain":0,"unresolved":63,"verified_exact":9,"verified_fuzzy":16},"total_outbound_references":91},"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-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"thesis":"As of 17 August 2026, this Paper Citation Record lists 91 of 91 outbound references and 0 inbound Pith citation observations for arXiv:2509.07122."}