Paper Citation Record · LEDGER

Neuro-Symbolic Query Compiler

As of 23 August 2026, this Paper Citation Record lists 22 of 22 outbound references and 1 inbound Pith citation observation for arXiv:2505.11932.

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

pith.paper-citation-record.v1
2505.11932 v1

Coverage vector

measured 22 of 22 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-15T20:49:43.006493Z

measured 23 of 23 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-23T06:30:58.430688+00:00

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-06T22:31:40.328811Z

measured 0 of 1 external citation measurements

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

Source: pith, observed 2026-08-06T22:31:41.295394Z

Reference resolution

22 of 22 outbound references displayed

verified exact0
verified fuzzy9
unresolved13
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation cada2f7f-aba2-45d9-a4ae-e8a4f794e094 · outbound

This paper cites an unresolved cited work.

Neuro-Symbolic Query Compiler Unresolved cited work

Reference 1

Resolution: unresolved; raw_fallback, observed 2026-08-15T20:49:43.368648Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 8c14e4b8-7a72-440d-94e1-9d49e90ae9ad · outbound

This paper cites an unresolved cited work.

Neuro-Symbolic Query Compiler Unresolved cited work

Reference 2

Resolution: unresolved; raw_fallback, observed 2026-08-15T20:49:43.353397Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation a83a60e9-b4ee-4ed7-9df5-12b6374b016d · outbound

This paper cites Therefore, no rule is redundant or replaceable.

Neuro-Symbolic Query Compiler Therefore, no rule is redundant or replaceable

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:49:43.337984Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 69477cdf-004e-4577-9150-27f51364cf58 · outbound

This paper cites an unresolved cited work.

Neuro-Symbolic Query Compiler Unresolved cited work

Reference 4

Resolution: unresolved; raw_fallback, observed 2026-08-15T20:49:43.217854Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation c254f8b3-9b11-41d9-ac51-0da4ad54f02b · outbound

This paper cites an unresolved cited work.

Neuro-Symbolic Query Compiler Unresolved cited work

Reference 5

Resolution: unresolved; raw_fallback, observed 2026-08-15T20:49:43.203113Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation b29d0c1f-0a34-48d9-a76a-e905c06dc1b3 · outbound

This paper cites Please decompose and compile each complex query into a BNF-compliant expression using ’+’, ’*’, ’()’, and ’{placeholders}’, then output in the specified format.

Neuro-Symbolic Query Compiler Please decompose and compile each complex query into a BNF-compliant expression using ’+’, ’*’, ’()’, and ’{placeholders}’, then output in the specified format

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:49:43.188714Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 59c599e4-4c27-4c3b-8081-f92cab7e0b52 · outbound

This paper cites an unresolved cited work.

Neuro-Symbolic Query Compiler Unresolved cited work

Reference 7

Resolution: unresolved; raw_fallback, observed 2026-08-15T20:49:43.322237Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 35cecfb7-a092-4d0f-8265-5e4e5f69424c · outbound

This paper cites Who is older, James Cameron or Steven Allan Spielberg?.

Neuro-Symbolic Query Compiler Who is older, James Cameron or Steven Allan Spielberg?

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:49:43.307997Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 0d8e74e1-aaeb-424e-a504-e1d786113421 · outbound

This paper cites • Non-decomposable, orthogonal, and non-redu 2.

Neuro-Symbolic Query Compiler • Non-decomposable, orthogonal, and non-redu 2

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:49:43.292543Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation f75a1614-d79a-42b2-b63c-014622a69d0e · outbound

This paper cites BNF Definitions: • Set of atomic query terms (W): All possible atomic query strings, where each atomic query is independent and non-redundant.

Neuro-Symbolic Query Compiler BNF Definitions: • Set of atomic query terms (W): All possible atomic query strings, where each atomic query is independent and non-redundant

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:49:43.277814Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 6d0d0d9f-7e3d-4bf4-8d8e-3dc011eb36f8 · outbound

This paper cites an unresolved cited work.

Neuro-Symbolic Query Compiler Unresolved cited work

Reference 12

Resolution: unresolved; raw_fallback, observed 2026-08-15T20:49:43.248108Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 9b8af952-bf14-4b1e-ab45-015cbf74dd07 · outbound

This paper cites an unresolved cited work.

Neuro-Symbolic Query Compiler Unresolved cited work

Reference 13

Resolution: unresolved; raw_fallback, observed 2026-08-15T20:49:43.232535Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 26208d63-79bc-4a55-a0a2-597b3e7e3b18 · outbound

This paper cites • Non-decomposable, orthogonal, and non-redundant.

Neuro-Symbolic Query Compiler • Non-decomposable, orthogonal, and non-redundant

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:49:43.171778Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 04dd0888-af23-412b-8bcc-1b5903c34e86 · outbound

This paper cites • Composed of multiple AtomicQueries with dependencies.

Neuro-Symbolic Query Compiler • Composed of multiple AtomicQueries with dependencies

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:49:43.155271Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 8df4ebaa-93fa-4186-905a-9d13ec8065e8 · outbound

This paper cites BNF Definitions: • Set of atomic query terms (W): All possible atomic query strings, where each atomic query is independent and non-redundant.

Neuro-Symbolic Query Compiler BNF Definitions: • Set of atomic query terms (W): All possible atomic query strings, where each atomic query is independent and non-redundant

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:49:43.140162Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation a8050b53-a39b-449e-88a1-fb7382ad9dfb · outbound

This paper cites an unresolved cited work.

Neuro-Symbolic Query Compiler Unresolved cited work

Reference 20

Resolution: unresolved; raw_fallback, observed 2026-08-15T20:49:43.262567Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 8bf5e30e-e90f-4692-81c3-2ef7e29b2641 · outbound

This paper cites an unresolved cited work.

Neuro-Symbolic Query Compiler Unresolved cited work

Reference 21

Resolution: unresolved; raw_fallback, observed 2026-08-15T20:49:43.121554Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 91e2cca4-30c0-434d-9a25-359e44c9ae88 · outbound

This paper cites an unresolved cited work.

Neuro-Symbolic Query Compiler Unresolved cited work

Reference 22

Resolution: unresolved; raw_fallback, observed 2026-08-15T20:49:43.106657Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 11ba5743-0600-4f58-bcfb-06360d914ba5 · outbound

This paper cites Please decompose and compile each complex query into a BNF-compliant expression using ‘+’, ‘*’, ‘()’, and ‘{placeholders}’, then output in the specified format.

Neuro-Symbolic Query Compiler Please decompose and compile each complex query into a BNF-compliant expression using ‘+’, ‘*’, ‘()’, and ‘{placeholders}’, then output in the specified format

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:49:43.090900Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation aefb7aac-39ef-42eb-a345-e467ad2c9dbb · outbound

This paper cites Self-RAG: Learning to Retrieve, Generate, and Critique through Self-Reflection.

Neuro-Symbolic Query Compiler Self-RAG: Learning to Retrieve, Generate, and Critique through Self-Reflection

Reference 2007

Resolution: unresolved; no resolver link, observed 2026-08-15T20:49:42.897147Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 662db8d5-17d1-4496-874e-c58d2bf95517 · outbound

This paper cites LoRA: Low-Rank Adaptation of Large Language Models.

Neuro-Symbolic Query Compiler LoRA: Low-Rank Adaptation of Large Language Models

Reference 2020

Resolution: unresolved; no resolver link, observed 2026-08-15T20:49:42.903529Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5c46b37b-5189-4f78-af42-ac3900055f36 · outbound

This paper cites Compressing Context to Enhance Inference Efficiency of Large Language Models.

Neuro-Symbolic Query Compiler Compressing Context to Enhance Inference Efficiency of Large Language Models

Reference 2023

Resolution: unresolved; no resolver link, observed 2026-08-15T20:49:42.908955Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation 24ee930b-c071-40c5-ae1e-ca3fbbcc5458 · inbound

Leveraging LLM-Assisted Query Understanding for Live Retrieval-Augmented Generation cites this paper.

Leveraging LLM-Assisted Query Understanding for Live Retrieval-Augmented Generation Neuro-Symbolic Query Compiler

Reference 49

Resolution: verified exact; local_arxiv, observed 2026-08-06T22:31:41.369246Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.