{"as_of":"2026-08-10T07:26:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:2a15baf9583b358be02bf7bf25447ce0f69a9b98768748e0ce3d45b2b8a1c50f","coverage":[{"denominator":0,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":17,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":17,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-10T06:31:04.303077+00:00","state":"measured"},{"denominator":17,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":17,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-09T13:19:51.527050Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-07-02T13:56:59.543143Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2006.13155","last_updated":"2020-06-23T16:55:45Z","snapshot_observed_at":"2026-07-06T09:31:59.126341Z","submitted_at":"2020-06-23T16:55:45Z","title":"Logical Neural Networks","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2006.13155","snapshot_observed_at":"2026-08-09T13:19:51.527050Z","title":null,"venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2502.02135","last_updated":"2025-02-04T09:07:45Z","snapshot_observed_at":"2026-08-10T00:42:46.295422Z","submitted_at":"2025-02-04T09:07:45Z","title":"Standard Neural Computation Alone Is Insufficient for Logical Intelligence","version":1},"reference_index":52,"source":"arxiv_source","source_observed_at":"2026-08-09T13:19:51.527050Z"},"links":{"cited_paper":"/paper/2006.13155","citing_paper":"/paper/2502.02135"},"observation_digest":"sha256:2111301f73dd419dc1bf27ac57eea76b07b67c0b9ed5953cc0bd948ed120a42f","observation_id":"1779dc75-cbbc-4376-b74b-e3d85ad05d1a","resolution":{"observed_at":"2026-08-09T13:19:51.527050Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2006.13155","last_updated":"2020-06-23T16:55:45Z","snapshot_observed_at":"2026-07-06T09:31:59.126341Z","submitted_at":"2020-06-23T16:55:45Z","title":"Logical Neural Networks","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2006.13155","snapshot_observed_at":"2026-08-07T12:46:13.245458Z","title":"Logical neural networks,","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2505.23615","last_updated":"2025-05-29T16:24:18Z","snapshot_observed_at":"2026-08-07T12:39:45.400309Z","submitted_at":"2025-05-29T16:24:18Z","title":"Learning Interpretable Differentiable Logic Networks for Tabular Regression","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-07T12:46:13.245458Z"},"links":{"cited_paper":"/paper/2006.13155","citing_paper":"/paper/2505.23615"},"observation_digest":"sha256:e6e4a66d8f9e22da5a931eba6aeec71d50ed5dcf5ec13f9ecedd9e029e25b77a","observation_id":"95809e3e-dafb-4445-9859-65e1bb139f6f","resolution":{"observed_at":"2026-08-07T12:46:13.245458Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2006.13155","last_updated":"2020-06-23T16:55:45Z","snapshot_observed_at":"2026-07-06T09:31:59.126341Z","submitted_at":"2020-06-23T16:55:45Z","title":"Logical Neural Networks","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2006.13155","snapshot_observed_at":"2026-08-06T04:33:36.097187Z","title":"Logical neural networks","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2508.03366","last_updated":"2025-08-05T12:14:32Z","snapshot_observed_at":"2026-08-09T12:19:44.746526Z","submitted_at":"2025-08-05T12:14:32Z","title":"A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-06T04:33:36.097187Z"},"links":{"cited_paper":"/paper/2006.13155","citing_paper":"/paper/2508.03366"},"observation_digest":"sha256:4c32e4ee6d3f934a17619e320da7830585b94a38df79e9b741a8e3266634866f","observation_id":"9052a884-1f1e-42cf-bcd0-1558417e00aa","resolution":{"observed_at":"2026-08-06T04:33:36.097187Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2006.13155","last_updated":"2020-06-23T16:55:45Z","snapshot_observed_at":"2026-07-06T09:31:59.126341Z","submitted_at":"2020-06-23T16:55:45Z","title":"Logical Neural Networks","version":1},"cited_work":{"arxiv_id":"2006.13155","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2006.13155","snapshot_observed_at":"2026-07-02T13:56:59.543143Z","title":"Gray, Francois P","venue":null,"work_id":"7518b63b-f3a4-4235-b20d-7d0606ff4729","year":2020},"citing_paper":{"arxiv_id":"2509.21663","last_updated":"2026-05-15T16:04:57Z","snapshot_observed_at":"2026-08-06T11:08:39.938321Z","submitted_at":"2025-09-25T22:31:43Z","title":"Logic of Hypotheses: from Zero to Full Knowledge in Neurosymbolic Integration","version":2},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-05-21T21:51:20.259009Z"},"links":{"cited_paper":"/paper/2006.13155","citing_paper":"/paper/2509.21663"},"observation_digest":"sha256:56bc42668a484f8f4adb4ee250e34184d536f1337a7cf86c84556bca645a6035","observation_id":"dbe1262a-4029-4b24-b96d-9d3aa1356f10","resolution":{"observed_at":"2026-05-21T21:54:22.978873Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2006.13155","last_updated":"2020-06-23T16:55:45Z","snapshot_observed_at":"2026-07-06T09:31:59.126341Z","submitted_at":"2020-06-23T16:55:45Z","title":"Logical Neural Networks","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2006.13155","snapshot_observed_at":"2026-07-13T17:31:33.453728Z","title":"CoRRabs/2006.13155(2020)","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2603.26446","last_updated":"2026-07-07T13:18:12Z","snapshot_observed_at":"2026-08-06T15:47:01.005879Z","submitted_at":"2026-03-27T14:16:10Z","title":"Enabling topography-resolving structural dynamic contact simulation","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-07-13T17:31:33.453728Z"},"links":{"cited_paper":"/paper/2006.13155","citing_paper":"/paper/2603.26446"},"observation_digest":"sha256:19cc259a6de059270b6a5e5a354207ec247e9ec8fab7d03687417428413357bb","observation_id":"2777ac7a-3d2a-4614-9e47-632dd208404e","resolution":{"observed_at":"2026-07-13T17:31:33.453728Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2006.13155","last_updated":"2020-06-23T16:55:45Z","snapshot_observed_at":"2026-07-06T09:31:59.126341Z","submitted_at":"2020-06-23T16:55:45Z","title":"Logical Neural Networks","version":1},"cited_work":{"arxiv_id":"2006.13155","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2006.13155","snapshot_observed_at":"2026-07-02T13:56:59.543143Z","title":"Gray, Francois P","venue":null,"work_id":"7518b63b-f3a4-4235-b20d-7d0606ff4729","year":2020},"citing_paper":{"arxiv_id":"2604.11284","last_updated":"2026-06-23T09:08:39Z","snapshot_observed_at":"2026-08-06T13:07:44.688263Z","submitted_at":"2026-04-13T10:44:15Z","title":"THEIA: Learning Complete Kleene Three-Valued Logic in a Pure-Neural Modular Architecture","version":4},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-05-10T15:39:55.369525Z"},"links":{"cited_paper":"/paper/2006.13155","citing_paper":"/paper/2604.11284"},"observation_digest":"sha256:aca11ec08b1b1087eb9cac00b08bd79a094cc68003866cdef7a49a95186b98c2","observation_id":"d40670ee-307b-438e-8d90-8973a907cebe","resolution":{"observed_at":"2026-05-11T10:06:02.290147Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2006.13155","last_updated":"2020-06-23T16:55:45Z","snapshot_observed_at":"2026-07-06T09:31:59.126341Z","submitted_at":"2020-06-23T16:55:45Z","title":"Logical Neural Networks","version":1},"cited_work":{"arxiv_id":"2006.13155","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2006.13155","snapshot_observed_at":"2026-07-02T13:56:59.543143Z","title":"Gray, Francois P","venue":null,"work_id":"7518b63b-f3a4-4235-b20d-7d0606ff4729","year":2020},"citing_paper":{"arxiv_id":"2604.15623","last_updated":"2026-04-17T02:01:36Z","snapshot_observed_at":"2026-08-03T06:47:14.087770Z","submitted_at":"2026-04-17T02:01:36Z","title":"Overmind NSA: A Unified Neuro-Symbolic Computing Architecture with Approximate Nonlinear Activations and Preemptive Memory Bypass","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-05-10T08:09:37.150049Z"},"links":{"cited_paper":"/paper/2006.13155","citing_paper":"/paper/2604.15623"},"observation_digest":"sha256:f4321ada883bb71e0302257677c84f3f2b20dd16126e3d4ba3bca68330c0e89a","observation_id":"256be30a-1cf3-440f-8665-3a9cc028cdf4","resolution":{"observed_at":"2026-05-10T08:12:26.687465Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2006.13155","last_updated":"2020-06-23T16:55:45Z","snapshot_observed_at":"2026-07-06T09:31:59.126341Z","submitted_at":"2020-06-23T16:55:45Z","title":"Logical Neural Networks","version":1},"cited_work":{"arxiv_id":"2006.13155","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2006.13155","snapshot_observed_at":"2026-07-02T13:56:59.543143Z","title":"Gray, Francois P","venue":null,"work_id":"7518b63b-f3a4-4235-b20d-7d0606ff4729","year":2020},"citing_paper":{"arxiv_id":"2604.15727","last_updated":"2026-04-17T05:59:16Z","snapshot_observed_at":"2026-07-06T23:03:12.000381Z","submitted_at":"2026-04-17T05:59:16Z","title":"Structured Abductive-Deductive-Inductive Reasoning for LLMs via Algebraic Invariants","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-05-10T08:45:32.431012Z"},"links":{"cited_paper":"/paper/2006.13155","citing_paper":"/paper/2604.15727"},"observation_digest":"sha256:da5d81977801b1f612ee13a17b71bab4388c41a11546129ef8965220d3417e69","observation_id":"51c3911d-b317-46d9-ab66-4c8ff63e3bfe","resolution":{"observed_at":"2026-05-10T08:48:01.909707Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2006.13155","last_updated":"2020-06-23T16:55:45Z","snapshot_observed_at":"2026-07-06T09:31:59.126341Z","submitted_at":"2020-06-23T16:55:45Z","title":"Logical Neural Networks","version":1},"cited_work":{"arxiv_id":"2006.13155","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2006.13155","snapshot_observed_at":"2026-07-02T13:56:59.543143Z","title":"Gray, Francois P","venue":null,"work_id":"7518b63b-f3a4-4235-b20d-7d0606ff4729","year":2020},"citing_paper":{"arxiv_id":"2604.26507","last_updated":"2026-04-29T10:12:58Z","snapshot_observed_at":"2026-07-06T23:12:10.599132Z","submitted_at":"2026-04-29T10:12:58Z","title":"Auto-Relational Reasoning","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-05-07T10:44:33.079246Z"},"links":{"cited_paper":"/paper/2006.13155","citing_paper":"/paper/2604.26507"},"observation_digest":"sha256:16b6d3505d4bd5560df12ca1bd2fe73d49a485de5c4aa4cf6d8e0a9d4012a5fc","observation_id":"9e37d56e-27b1-41a8-850e-78e6d6b3b2b5","resolution":{"observed_at":"2026-05-12T09:31:25.695780Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2006.13155","last_updated":"2020-06-23T16:55:45Z","snapshot_observed_at":"2026-07-06T09:31:59.126341Z","submitted_at":"2020-06-23T16:55:45Z","title":"Logical Neural Networks","version":1},"cited_work":{"arxiv_id":"2006.13155","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2006.13155","snapshot_observed_at":"2026-07-02T13:56:59.543143Z","title":"Gray, Francois P","venue":null,"work_id":"7518b63b-f3a4-4235-b20d-7d0606ff4729","year":2020},"citing_paper":{"arxiv_id":"2605.04243","last_updated":"2026-05-05T19:30:06Z","snapshot_observed_at":"2026-07-06T23:17:04.200299Z","submitted_at":"2026-05-05T19:30:06Z","title":"Temporal Reasoning Is Not the Bottleneck: A Probabilistic Inconsistency Framework for Neuro-Symbolic QA","version":1},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-05-08T17:45:44.270122Z"},"links":{"cited_paper":"/paper/2006.13155","citing_paper":"/paper/2605.04243"},"observation_digest":"sha256:26d8973135c06390970f5dc28b6553f7a9b7f0b9ef67a1080e19fa3452beb2ea","observation_id":"a1b580d5-5dd0-486c-a415-179dc5d01bd0","resolution":{"observed_at":"2026-05-11T17:16:07.878581Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2006.13155","last_updated":"2020-06-23T16:55:45Z","snapshot_observed_at":"2026-07-06T09:31:59.126341Z","submitted_at":"2020-06-23T16:55:45Z","title":"Logical Neural Networks","version":1},"cited_work":{"arxiv_id":"2006.13155","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2006.13155","snapshot_observed_at":"2026-07-02T13:56:59.543143Z","title":"Gray, Francois P","venue":null,"work_id":"7518b63b-f3a4-4235-b20d-7d0606ff4729","year":2020},"citing_paper":{"arxiv_id":"2605.09852","last_updated":"2026-05-11T01:09:06Z","snapshot_observed_at":"2026-08-02T23:19:38.465465Z","submitted_at":"2026-05-11T01:09:06Z","title":"Fairness of Explanations in Artificial Intelligence (AI): A Unifying Framework, Axioms, and Future Direction toward Responsible AI","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-05-12T05:04:40.193388Z"},"links":{"cited_paper":"/paper/2006.13155","citing_paper":"/paper/2605.09852"},"observation_digest":"sha256:4c7e0b700053e5683af750c540577063fa737c6e8ff041df04221d234fd9d90f","observation_id":"ca109c2e-ba1d-4412-9ab9-091ce2d6fdf0","resolution":{"observed_at":"2026-05-12T05:41:25.283179Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2006.13155","last_updated":"2020-06-23T16:55:45Z","snapshot_observed_at":"2026-07-06T09:31:59.126341Z","submitted_at":"2020-06-23T16:55:45Z","title":"Logical Neural Networks","version":1},"cited_work":{"arxiv_id":"2006.13155","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2006.13155","snapshot_observed_at":"2026-07-02T13:56:59.543143Z","title":"Gray, Francois P","venue":null,"work_id":"7518b63b-f3a4-4235-b20d-7d0606ff4729","year":2020},"citing_paper":{"arxiv_id":"2605.12701","last_updated":"2026-05-12T19:54:25Z","snapshot_observed_at":"2026-07-06T23:24:23.402304Z","submitted_at":"2026-05-12T19:54:25Z","title":"Do Fair Models Reason Fairly? Counterfactual Explanation Consistency for Procedural Fairness in Credit Decisions","version":1},"reference_index":194,"source":"arxiv_source","source_observed_at":"2026-05-14T20:50:02.096278Z"},"links":{"cited_paper":"/paper/2006.13155","citing_paper":"/paper/2605.12701"},"observation_digest":"sha256:c4edcf9c4b73ab12426784e45e715cdbb7f175a6f4c0f9251130aef6e12a4331","observation_id":"88bc3d87-ec7f-44a0-ba8d-cbde2e770c15","resolution":{"observed_at":"2026-05-14T20:52:59.080904Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2006.13155","last_updated":"2020-06-23T16:55:45Z","snapshot_observed_at":"2026-07-06T09:31:59.126341Z","submitted_at":"2020-06-23T16:55:45Z","title":"Logical Neural Networks","version":1},"cited_work":{"arxiv_id":"2006.13155","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2006.13155","snapshot_observed_at":"2026-07-02T13:56:59.543143Z","title":"Gray, Francois P","venue":null,"work_id":"7518b63b-f3a4-4235-b20d-7d0606ff4729","year":2020},"citing_paper":{"arxiv_id":"2605.22155","last_updated":"2026-05-21T08:25:22Z","snapshot_observed_at":"2026-07-06T23:32:30.578213Z","submitted_at":"2026-05-21T08:25:22Z","title":"Algebraic Machine Learning for Small-to-Medium Datasets Is Competitive against Strong Standard Baselines","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-05-22T08:05:56.702423Z"},"links":{"cited_paper":"/paper/2006.13155","citing_paper":"/paper/2605.22155"},"observation_digest":"sha256:567add27f56d3134a7d6beb9565ff666b7717b9b78d6bc4251be753e5c185376","observation_id":"b7a87019-b765-46e0-95cb-bede62eb85fb","resolution":{"observed_at":"2026-05-22T08:06:15.199291Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2006.13155","last_updated":"2020-06-23T16:55:45Z","snapshot_observed_at":"2026-07-06T09:31:59.126341Z","submitted_at":"2020-06-23T16:55:45Z","title":"Logical Neural Networks","version":1},"cited_work":{"arxiv_id":"2006.13155","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2006.13155","snapshot_observed_at":"2026-07-02T13:56:59.543143Z","title":"Gray, Francois P","venue":null,"work_id":"7518b63b-f3a4-4235-b20d-7d0606ff4729","year":2020},"citing_paper":{"arxiv_id":"2606.05986","last_updated":"2026-06-04T10:30:24Z","snapshot_observed_at":"2026-08-09T02:44:59.436534Z","submitted_at":"2026-06-04T10:30:24Z","title":"AttackPathGNN: Cross-function vulnerability detection in smart contracts using state interference graphs and conjunction pooling","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-06-28T00:49:07.705549Z"},"links":{"cited_paper":"/paper/2006.13155","citing_paper":"/paper/2606.05986"},"observation_digest":"sha256:a85dcc01484813d5b5d550a5f3ae2719cd3a5fa64bbdc2f650614e28a506f98b","observation_id":"2bfd1a9a-4536-4711-b572-0035edd69f58","resolution":{"observed_at":"2026-07-02T13:56:59.544567Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2006.13155","last_updated":"2020-06-23T16:55:45Z","snapshot_observed_at":"2026-07-06T09:31:59.126341Z","submitted_at":"2020-06-23T16:55:45Z","title":"Logical Neural Networks","version":1},"cited_work":{"arxiv_id":"2006.13155","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2006.13155","snapshot_observed_at":"2026-07-02T13:56:59.543143Z","title":"Gray, Francois P","venue":null,"work_id":"7518b63b-f3a4-4235-b20d-7d0606ff4729","year":2020},"citing_paper":{"arxiv_id":"2606.29972","last_updated":"2026-06-29T08:48:23Z","snapshot_observed_at":"2026-08-08T06:57:50.758577Z","submitted_at":"2026-06-29T08:48:23Z","title":"First-Order Temporal Logic Tensor Networks","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-06-30T06:19:10.986410Z"},"links":{"cited_paper":"/paper/2006.13155","citing_paper":"/paper/2606.29972"},"observation_digest":"sha256:e3829d05340f9ee97417f9e88c707a270faa0c7ece1161cd9afcb6d14176fe9d","observation_id":"c3188ba2-dab9-44f2-a8b3-c9c1961a375d","resolution":{"observed_at":"2026-06-30T06:24:19.313328Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2006.13155","last_updated":"2020-06-23T16:55:45Z","snapshot_observed_at":"2026-07-06T09:31:59.126341Z","submitted_at":"2020-06-23T16:55:45Z","title":"Logical Neural Networks","version":1},"cited_work":{"arxiv_id":"2006.13155","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2006.13155","snapshot_observed_at":"2026-07-02T13:56:59.543143Z","title":"Gray, Francois P","venue":null,"work_id":"7518b63b-f3a4-4235-b20d-7d0606ff4729","year":2020},"citing_paper":{"arxiv_id":"2606.31845","last_updated":"2026-06-30T15:46:27Z","snapshot_observed_at":"2026-08-06T08:08:48.341542Z","submitted_at":"2026-06-30T15:46:27Z","title":"Explicit Fuzzy Logic in the Feed-Forward Layer: Self-Forgetting Quantifiers Discover Legible Grammatical-Licensing Detectors","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-07-01T05:43:46.153089Z"},"links":{"cited_paper":"/paper/2006.13155","citing_paper":"/paper/2606.31845"},"observation_digest":"sha256:cc4c6f05cc4ba188d960a4466aae1db9a9c73c920db79523710d9d9f017d0430","observation_id":"73939d02-f5a4-44c5-b5b6-b99594bf1d08","resolution":{"observed_at":"2026-07-01T10:15:44.371935Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2006.13155","last_updated":"2020-06-23T16:55:45Z","snapshot_observed_at":"2026-07-06T09:31:59.126341Z","submitted_at":"2020-06-23T16:55:45Z","title":"Logical Neural Networks","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2006.13155","snapshot_observed_at":"2026-07-13T05:35:58.568346Z","title":"arXiv preprint arXiv:2006.13155 , year=","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2607.08946","last_updated":"2026-07-09T21:15:40Z","snapshot_observed_at":"2026-08-07T14:21:37.931530Z","submitted_at":"2026-07-09T21:15:40Z","title":"Training, Reading, and Editing Legible Transformers","version":1},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-07-13T05:35:58.568346Z"},"links":{"cited_paper":"/paper/2006.13155","citing_paper":"/paper/2607.08946"},"observation_digest":"sha256:3fccedecd4feaafaf384eb670d135b0775eec8b6f37163c7cd431970f8ed09ab","observation_id":"e65547a0-cfad-4e3e-a18c-ceeb33ad870c","resolution":{"observed_at":"2026-07-13T05:35:58.568346Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2006.13155/citation-record","integrity":"/paper/2006.13155/integrity","json":"/paper/2006.13155/citation-record.json","paper":"/paper/2006.13155"},"outbound":[],"paper":{"arxiv_id":"2006.13155","last_updated":"2020-06-23T16:55:45Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-07-06T09:31:59.126341Z","submitted_at":"2020-06-23T16:55:45Z","title":"Logical Neural Networks"},"reference_resolution":{"displayed":0,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":0,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":0},"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-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 17 inbound Pith citation observations for arXiv:2006.13155."}