Paper Citation Record · LEDGER

SymbolicAI: A framework for logic-based approaches combining generative models and solvers

As of 14 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 7 inbound Pith citation observations for arXiv:2402.00854.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2402.00854 v4

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 7 of 7 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-14T06:32:32.682623+00:00

measured 7 of 7 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-12T21:35:25.633284Z

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: pith, observed 2026-07-09T03:45:55.476973Z

Reference resolution

0 of 0 outbound references displayed

verified exact0
verified fuzzy0
unresolved0
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

No outbound reference observations are available for this paper version.

Pith citing papers

Observation b08b4f12-a26a-491d-a856-62af485a28f3 · inbound

The AI Scientist: Towards Fully Automated Open-Ended Scientific Discovery cites this paper.

The AI Scientist: Towards Fully Automated Open-Ended Scientific Discovery SymbolicAI: A framework for logic-based approaches combining generative models and solvers

Reference 22

Resolution: verified exact; arxiv_id, observed 2026-05-11T04:42:31.824142Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation fd5ed735-7add-45c6-9f6d-997b4f1c7851 · inbound

Symbolic-AI-Fusion Deep Learning (SAIF-DL): Encoding Knowledge into Training with Answer Set Programming Loss Penalties by a Novel Loss Function Approach cites this paper.

Symbolic-AI-Fusion Deep Learning (SAIF-DL): Encoding Knowledge into Training with Answer Set Programming Loss Penalties by a Novel Loss Function Approach SymbolicAI: A framework for logic-based approaches combining generative models and solvers

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-12T21:35:25.633284Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 23332ee8-14bb-41c7-8bc5-adf215082eb4 · inbound

Building Trustworthy AI: Transparent AI Systems via Large Language Models, Ontologies, and Logical Reasoning (TranspNet) cites this paper.

Building Trustworthy AI: Transparent AI Systems via Large Language Models, Ontologies, and Logical Reasoning (TranspNet) SymbolicAI: A framework for logic-based approaches combining generative models and solvers

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-12T21:33:20.201131Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5964b054-7c0c-4ef3-947f-683da0644968 · inbound

HyDRA: A Hybrid-Driven Reasoning Architecture for Verifiable Knowledge Graphs cites this paper.

HyDRA: A Hybrid-Driven Reasoning Architecture for Verifiable Knowledge Graphs SymbolicAI: A framework for logic-based approaches combining generative models and solvers

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-06T15:26:15.819865Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 77d0abc6-5e1f-4b9a-9ae8-6f5614974229 · inbound

TraceFix: Repairing Agent Coordination Protocols with TLA+ Counterexamples cites this paper.

TraceFix: Repairing Agent Coordination Protocols with TLA+ Counterexamples SymbolicAI: A framework for logic-based approaches combining generative models and solvers

Reference 13

Resolution: verified exact; arxiv_id, observed 2026-05-11T03:30:55.953858Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 29d75de8-38d5-4b8e-bdc1-eaeb5823c2c9 · inbound

Recursive Self-Improvement in AI: From Bounded Self-Refinement to Autonomous Research Loops cites this paper.

Recursive Self-Improvement in AI: From Bounded Self-Refinement to Autonomous Research Loops SymbolicAI: A framework for logic-based approaches combining generative models and solvers

Reference 21

Resolution: verified exact; local_arxiv, observed 2026-07-09T03:45:55.478269Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation f3a374a2-4274-495d-8aab-5a45331f15ff · inbound

SearchOS-V1: Towards Robust Open-Domain Information-Seeking Agent Collaboration cites this paper.

SearchOS-V1: Towards Robust Open-Domain Information-Seeking Agent Collaboration SymbolicAI: A framework for logic-based approaches combining generative models and solvers

Reference 70

Resolution: unresolved; no resolver link, observed 2026-08-01T23:46:22.934545Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.