Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-07T15:04:12.846995Z
Paper Citation Record · LEDGER
Reasoning in Neurosymbolic AI
As of 15 August 2026, this Paper Citation Record lists 58 of 58 outbound references and 1 inbound Pith citation observation for arXiv:2505.20313.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-15T06:32:42.880941+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-05T20:19:26.486227Z
A source-named dated measurement, never combined with another source.
Source: pith, observed 2026-08-05T20:19:27.572540Z
Reference resolution
58 of 58 outbound references displayed
- verified exact2
- verified fuzzy42
- unresolved14
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation e790779e-38a1-4eda-aef9-b11aa4465d2f · outbound
This paper cites Learning to solve circuit-sat: An unsupervised differentiable approach.
Reasoning in Neurosymbolic AI Learning to solve circuit-sat: An unsupervised differentiable approach
Reference 1
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T15:04:10.068768Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e0273699-c25e-4765-8d00-fca0572b3c48 · outbound
This paper cites Logic tensor networks.
Reasoning in Neurosymbolic AI Logic tensor networks
Reference 2
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T15:04:10.205950Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4eeff2e2-fc5d-4da1-aadc-25c4c39c6340 · outbound
This paper cites Learning optimal chess strategies.
Reasoning in Neurosymbolic AI Learning optimal chess strategies
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:04:17.216692Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 34b99a46-451c-49a8-9c97-eb1cdffd75a8 · outbound
This paper cites Applications of maxsat in data analysis.
Reasoning in Neurosymbolic AI Applications of maxsat in data analysis
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:04:17.121565Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 0cd90d73-6f6a-4377-9a77-ecd772440c9c · outbound
This paper cites Besold, Artur d’Avila Garcez, Ernesto Jim´ enez-Ruiz, Roberto Confalonieri, Pranava Madhyastha, and Benedikt Wagner, editors.
Reasoning in Neurosymbolic AI Besold, Artur d’Avila Garcez, Ernesto Jim´ enez-Ruiz, Roberto Confalonieri, Pranava Madhyastha, and Benedikt Wagner, editors
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:04:17.034626Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation b0b2fd60-88c1-4088-aa09-e070729c0a3c · outbound
This paper cites TensorLog: Deep Learning Meets Probabilistic DBs.
Reasoning in Neurosymbolic AI TensorLog: Deep Learning Meets Probabilistic DBs
Reference 6
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T15:04:10.716650Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3014da01-4cfc-42d0-af5f-eee2b98e7b15 · outbound
This paper cites d’Anjou, M.
Reasoning in Neurosymbolic AI d’Anjou, M
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:04:16.961040Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 82c29847-9a40-4a27-b216-fceb4be0735a · outbound
This paper cites d’Avila Garcez, K.
Reasoning in Neurosymbolic AI d’Avila Garcez, K
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:04:16.883176Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation d3abc97a-fb5d-4326-94b7-4cb40246ae93 · outbound
This paper cites d’Avila Garcez, L.
Reasoning in Neurosymbolic AI d’Avila Garcez, L
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:04:16.779215Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 3f3951f1-e816-4db9-88f2-5dddb455ee42 · outbound
This paper cites Hypergraph neural networks with logic clauses.
Reasoning in Neurosymbolic AI Hypergraph neural networks with logic clauses
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:04:16.679153Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation d4580091-f1e3-4613-b010-c8e8271f9ebf · outbound
This paper cites Donadello, L.
Reasoning in Neurosymbolic AI Donadello, L
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:04:16.599674Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 0b367b1c-bc3a-4806-9aa6-71524848809c · outbound
This paper cites Evans and E.
Reasoning in Neurosymbolic AI Evans and E
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:04:16.503356Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation e926a148-1ae4-4fb7-ba62-a962d1dea7bc · outbound
This paper cites Fran¸ ca, G.
Reasoning in Neurosymbolic AI Fran¸ ca, G
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:04:16.368590Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation d558c395-1fc7-4fb3-b6fe-a9fc9796d2ca · outbound
This paper cites an unresolved cited work.
Reasoning in Neurosymbolic AI Unresolved cited work
Reference 14
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T15:04:16.292462Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 94d7356c-c744-49f4-ac12-38d7c5195749 · outbound
This paper cites an unresolved cited work.
Reasoning in Neurosymbolic AI Unresolved cited work
Reference 15
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T15:04:16.190675Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 6ca48701-d8e5-4367-99e3-df0032eb480b · outbound
This paper cites Ccn+: A neuro-symbolic framework for deep learning with re- quirements.
Reasoning in Neurosymbolic AI Ccn+: A neuro-symbolic framework for deep learning with re- quirements
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:04:16.160275Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 285c2863-777e-4b23-9f2e-b2d8e60f066d · outbound
This paper cites Hernandez, F.
Reasoning in Neurosymbolic AI Hernandez, F
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:04:15.870954Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 287ea1b4-afa4-4bcd-a446-b0c148a7525b · outbound
This paper cites an unresolved cited work.
Reasoning in Neurosymbolic AI Unresolved cited work
Reference 18
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T15:04:15.742600Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 6b84bd89-47be-4851-9956-4af31d0910cd · outbound
This paper cites Hinton, Simon Osindero, and Yee-Whye Teh.
Reasoning in Neurosymbolic AI Hinton, Simon Osindero, and Yee-Whye Teh
Reference 19
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:04:15.636349Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 60c6adc1-eb3d-43bf-8c23-4adbb85eb31c · outbound
This paper cites Decoding intentions.
Reasoning in Neurosymbolic AI Decoding intentions
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:04:15.551851Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation b9efacaf-6796-477f-8a7e-f2ae26ed6eb7 · outbound
This paper cites Thinking, fast and slow.
Reasoning in Neurosymbolic AI Thinking, fast and slow
Reference 21
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:04:15.485752Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 62fec922-7bc7-4635-b38e-b2ca664a61c1 · outbound
This paper cites Finding pre-production vehicle configurations using a maxsat framework.
Reasoning in Neurosymbolic AI Finding pre-production vehicle configurations using a maxsat framework
Reference 22
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:04:15.416009Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 0765c195-0440-48d7-800c-1fe46aa55611 · outbound
This paper cites King, Michael J.
Reasoning in Neurosymbolic AI King, Michael J
Reference 23
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:04:15.285140Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation b2abaacf-fc6e-4281-b362-b31c69f3ff8f · outbound
This paper cites Kirkpatrick, C.
Reasoning in Neurosymbolic AI Kirkpatrick, C
Reference 24
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T15:04:11.599752Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 21fd740d-4ad0-4c7d-a829-fda091500247 · outbound
This paper cites Learning max-sat from contextual examples for combinatorial optimisation.
Reasoning in Neurosymbolic AI Learning max-sat from contextual examples for combinatorial optimisation
Reference 25
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:04:15.228668Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation d761cff3-5ac6-4744-a043-8f3febae3522 · outbound
This paper cites Learning algorithms for the classification restricted boltzmann machine.
Reasoning in Neurosymbolic AI Learning algorithms for the classification restricted boltzmann machine
Reference 26
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:04:15.151682Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation a35faf38-d843-4340-8552-c50189a9c9df · outbound
This paper cites Can graph neural networks learn to solve the maxsat problem? (student abstract).
Reasoning in Neurosymbolic AI Can graph neural networks learn to solve the maxsat problem? (student abstract)
Reference 27
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:04:15.060928Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation fb8da4fa-981e-4676-b5ba-720a668911ff · outbound
This paper cites an unresolved cited work.
Reasoning in Neurosymbolic AI Unresolved cited work
Reference 28
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T15:04:14.975739Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 1ea8a9b1-4721-4cd7-811b-ac359c80fa4f · outbound
This paper cites DeepProbLog: Neural probabilistic logic pro- gramming.
Reasoning in Neurosymbolic AI DeepProbLog: Neural probabilistic logic pro- gramming
Reference 29
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:04:14.924491Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation fe776c0c-049b-407b-b7bd-d1bc4ecf1228 · outbound
This paper cites Chip War: The Fight for the World’s Most Critical Technol- ogy.
Reasoning in Neurosymbolic AI Chip War: The Fight for the World’s Most Critical Technol- ogy
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:04:14.793444Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation f90c2ee5-8174-4d6c-9eb2-07594781958d · outbound
This paper cites Gsm-symbolic: Understanding the limi- tations of mathematical reasoning in large language models, 2024.
Reasoning in Neurosymbolic AI Gsm-symbolic: Understanding the limi- tations of mathematical reasoning in large language models, 2024
Reference 31
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:04:14.721171Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation b315aad7-8cd0-4670-a210-c5f8ea2ed896 · outbound
This paper cites Maxsat-based mcs enumeration.
Reasoning in Neurosymbolic AI Maxsat-based mcs enumeration
Reference 32
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:04:14.645570Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation ae0de1c4-6058-4098-9203-a92e88efa25f · outbound
This paper cites Closing the neural-symbolic cycle: Knowledge extraction, user intervention and distillation from convolutional neural net- works.
Reasoning in Neurosymbolic AI Closing the neural-symbolic cycle: Knowledge extraction, user intervention and distillation from convolutional neural net- works
Reference 33
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:04:14.567758Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation db6b3d60-ad73-442f-9fbd-57cf638d7b70 · outbound
This paper cites A semantic framework for neu- rosymbolic computation.
Reasoning in Neurosymbolic AI A semantic framework for neu- rosymbolic computation
Reference 34
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:04:14.435282Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation d5066f33-dae7-45ff-ae32-1f0e48b22216 · outbound
This paper cites de Penning, A.
Reasoning in Neurosymbolic AI de Penning, A
Reference 35
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:04:14.405793Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation e6a7d9c5-6e78-48f9-a582-0cff947a8958 · outbound
This paper cites Accountability in AI: From Principles to Industry-specific Accreditation.
Reasoning in Neurosymbolic AI Accountability in AI: From Principles to Industry-specific Accreditation
Reference 36
- Resolution
- verified exact
- local_arxiv, observed 2026-08-07T15:04:13.014353Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation fc2304a7-fda1-4b8c-bcde-dc692cdc9bea · outbound
This paper cites an unresolved cited work.
Reasoning in Neurosymbolic AI Unresolved cited work
Reference 37
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T15:04:14.289591Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation aed4d883-43c3-427d-b16f-0dc961312a69 · outbound
This paper cites Symmetric neural networks and propositional logic satisfia- bility.
Reasoning in Neurosymbolic AI Symmetric neural networks and propositional logic satisfia- bility
Reference 38
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:04:14.222030Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation b6094f61-15ab-45ef-9971-fabbafff20f9 · outbound
This paper cites Markov logic networks.
Reasoning in Neurosymbolic AI Markov logic networks
Reference 39
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:04:14.163362Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 25d45746-a8c2-47ba-8d96-29e1dfe7f8f5 · outbound
This paper cites an unresolved cited work.
Reasoning in Neurosymbolic AI Unresolved cited work
Reference 40
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T15:04:14.075692Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation b095399c-ef15-4d0d-8115-156b0ea77045 · outbound
This paper cites Learning and reasoning with logic tensor networks.
Reasoning in Neurosymbolic AI Learning and reasoning with logic tensor networks
Reference 41
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:04:14.024870Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 41f5f19d-524a-4129-bcb2-58c052eb446c · outbound
This paper cites The Curse of Recursion: Training on Generated Data Makes Models Forget.
Reasoning in Neurosymbolic AI The Curse of Recursion: Training on Generated Data Makes Models Forget
Reference 42
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T15:04:12.416431Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3801bac3-1feb-4396-9bbb-3984877a3af7 · outbound
This paper cites Maximum satisfiabil- ity in software analysis: Applications and techniques.
Reasoning in Neurosymbolic AI Maximum satisfiabil- ity in software analysis: Applications and techniques
Reference 43
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:04:13.891135Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation d91197ba-d802-4c30-9f4a-62d09e6d96e3 · outbound
This paper cites Smolensky.
Reasoning in Neurosymbolic AI Smolensky
Reference 44
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:04:13.856758Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation b3d08f80-5852-4e35-b3c3-55ecdb4d023e · outbound
This paper cites Bioinformatics: Problem Solving Paradigms.
Reasoning in Neurosymbolic AI Bioinformatics: Problem Solving Paradigms
Reference 45
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:04:13.841364Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 0f26c7de-e946-41e3-b0ac-58c82ebc3025 · outbound
This paper cites Srinivasan.
Reasoning in Neurosymbolic AI Srinivasan
Reference 46
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:04:13.771015Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 667808e9-eefa-4f67-b272-8c7e0c62d8ba · outbound
This paper cites Srinivasan, S.
Reasoning in Neurosymbolic AI Srinivasan, S
Reference 47
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:04:13.694994Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 586dd05c-2e80-4951-b345-c6716cc5f820 · outbound
This paper cites Neural Concept Binder.
Reference 48
- Resolution
- verified exact
- local_arxiv, observed 2026-08-07T15:04:12.937729Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation cd25e1e7-4af6-43d2-87ab-4f82f595a5e6 · outbound
This paper cites Towell and J.
Reasoning in Neurosymbolic AI Towell and J
Reference 49
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:04:13.621184Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 80f90590-15c5-4855-b6f1-43ea4510eaef · outbound
This paper cites Tran and A.
Reasoning in Neurosymbolic AI Tran and A
Reference 50
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:04:13.539375Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 200d683b-ba71-43f9-b37b-3d8e7120b6b3 · outbound
This paper cites an unresolved cited work.
Reasoning in Neurosymbolic AI Unresolved cited work
Reference 51
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T15:04:13.450947Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 1ee81454-568d-4f95-b0ff-2de1493c274c · outbound
This paper cites Tran and Artur d’Avila Garcez.
Reasoning in Neurosymbolic AI Tran and Artur d’Avila Garcez
Reference 52
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:04:13.358029Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 1e6c6f0a-aa73-489f-8fec-c202d6709bb1 · outbound
This paper cites Donti, Bryan Wilder, and J.
Reasoning in Neurosymbolic AI Donti, Bryan Wilder, and J
Reference 53
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:04:13.292078Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 8e50341f-82a2-4c49-a795-43a2016c65db · outbound
This paper cites Solving maxsat with matrix multiplication, 2023.
Reasoning in Neurosymbolic AI Solving maxsat with matrix multiplication, 2023
Reference 54
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:04:13.259388Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 01b94831-d446-41a8-87e8-7daeb86f974b · outbound
This paper cites Generalized simulated annealing algorithm and its application to the thomson model.
Reasoning in Neurosymbolic AI Generalized simulated annealing algorithm and its application to the thomson model
Reference 55
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:04:13.235412Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 0ea0dcc1-558c-4e59-8702-958178e8b1a9 · outbound
This paper cites Differentiable learning of logical rules for knowledge base reasoning.
Reasoning in Neurosymbolic AI Differentiable learning of logical rules for knowledge base reasoning
Reference 56
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:04:13.164611Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 87d8d174-4c8b-45d9-846f-93dd6fea6c2b · outbound
This paper cites an unresolved cited work.
Reasoning in Neurosymbolic AI Unresolved cited work
Reference 2024
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T15:04:16.071011Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation d9c1edb5-56fd-42ac-af99-6eb44d8e13b9 · outbound
This paper cites an unresolved cited work.
Reasoning in Neurosymbolic AI Unresolved cited work
Reference 2328
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T15:04:13.095658Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Pith citing papers
Observation 4ecfdbbc-f6a9-4e32-9e90-e6925343f69b · inbound
The Knowledge-Reasoning Dissociation: Fundamental Limitations of LLMs in Clinical Natural Language Inference cites this paper.
The Knowledge-Reasoning Dissociation: Fundamental Limitations of LLMs in Clinical Natural Language Inference Reasoning in Neurosymbolic AI
Reference 43
- Resolution
- verified exact
- local_arxiv, observed 2026-08-05T20:19:27.612062Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.