Paper Citation Record · LEDGER

A Neurosymbolic Approach to Natural Language Formalization and Verification

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

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

pith.paper-citation-record.v1
2511.09008 v2

Coverage vector

measured 7 of 7 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-03T22:49:02.222977Z

measured 12 of 12 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-07T06:34:17.273281+00:00

measured 5 of 5 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-06-29T21:21:45.412616Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-07-04T10:39:45.195102Z

Reference resolution

7 of 7 outbound references displayed

verified exact0
verified fuzzy0
unresolved7
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation eafee65f-b3e6-4f72-963d-6a636639c193 · outbound

This paper cites an unresolved cited work.

A Neurosymbolic Approach to Natural Language Formalization and Verification Unresolved cited work

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-03T22:49:02.110502Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5331d9f4-fb05-4e6e-add3-9a02af50a961 · outbound

This paper cites Table 4: Overall logical accuracy detection across types of in-context information for LLM baselines.

A Neurosymbolic Approach to Natural Language Formalization and Verification Table 4: Overall logical accuracy detection across types of in-context information for LLM baselines

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-03T22:49:02.067751Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d630f637-8135-455e-93dc-e275d43d6f36 · outbound

This paper cites Cats Confuse Reasoning LLM: Query Agnostic Adversarial Triggers for Reasoning Models.

A Neurosymbolic Approach to Natural Language Formalization and Verification Cats Confuse Reasoning LLM: Query Agnostic Adversarial Triggers for Reasoning Models

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-03T22:49:01.873707Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2819845f-e76e-4830-ae58-514d76b6c8f8 · outbound

This paper cites Each page consists of approximately 500 tokens.

A Neurosymbolic Approach to Natural Language Formalization and Verification Each page consists of approximately 500 tokens

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-03T22:49:02.222977Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 37edbabd-2be2-43e4-9f1f-16ef4d2e1d81 · outbound

This paper cites Hyun Ryu, Gyeongman Kim, Hyemin S Lee, and Eunho Yang.

A Neurosymbolic Approach to Natural Language Formalization and Verification Hyun Ryu, Gyeongman Kim, Hyemin S Lee, and Eunho Yang

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-03T22:49:01.944436Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e7fa6e91-bedc-4052-8660-5c9a2e750fb5 · outbound

This paper cites The FACTS Grounding Leaderboard: Benchmarking LLMs' Ability to Ground Responses to Long-Form Input.

A Neurosymbolic Approach to Natural Language Formalization and Verification The FACTS Grounding Leaderboard: Benchmarking LLMs' Ability to Ground Responses to Long-Form Input

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-03T22:49:01.771793Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a4766f61-05d4-4180-a24a-21a32268eab5 · outbound

This paper cites doi: 10.3233/FAIA342.

A Neurosymbolic Approach to Natural Language Formalization and Verification doi: 10.3233/FAIA342

Reference 2021

Resolution: unresolved; no resolver link, observed 2026-08-03T22:49:01.706984Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation e4ecd9da-a918-4ac1-a97f-21c5287a5e72 · inbound

FregeLogic at SemEval 2026 Task 11: A Hybrid Neuro-Symbolic Architecture for Content-Robust Syllogistic Validity Prediction cites this paper.

FregeLogic at SemEval 2026 Task 11: A Hybrid Neuro-Symbolic Architecture for Content-Robust Syllogistic Validity Prediction A Neurosymbolic Approach to Natural Language Formalization and Verification

Reference 9

Resolution: metadata mismatch; arxiv_id, observed 2026-07-15T01:20:49.585649Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 28694f96-93dc-4f9b-9428-d01d03253334 · inbound

MANTRA: Synthesizing SMT-Validated Compliance Benchmarks for Tool-Using LLM Agents cites this paper.

MANTRA: Synthesizing SMT-Validated Compliance Benchmarks for Tool-Using LLM Agents A Neurosymbolic Approach to Natural Language Formalization and Verification

Reference 4

Resolution: metadata mismatch; arxiv_id, observed 2026-07-15T01:20:49.585649Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 5ce6cf40-2a43-4f72-ac31-ad77245852f7 · inbound

Neurosymbolic Auditing of Natural-Language Software Requirements cites this paper.

Neurosymbolic Auditing of Natural-Language Software Requirements A Neurosymbolic Approach to Natural Language Formalization and Verification

Reference 7

Resolution: verified exact; arxiv_id, observed 2026-07-15T01:20:49.585649Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 54acb188-4c19-4dea-a35d-f262e75636cf · inbound

Managing Uncertainty in LLM-Generated Procedural Knowledge for Virtual Laboratory Planning cites this paper.

Managing Uncertainty in LLM-Generated Procedural Knowledge for Virtual Laboratory Planning A Neurosymbolic Approach to Natural Language Formalization and Verification

Reference 6

Resolution: metadata mismatch; arxiv_id, observed 2026-07-15T01:20:49.585649Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 80462bf1-69b8-4661-b5bb-91e9c89498dc · inbound

Closing the Loop: Formally Verified Law as a Reward Signal for Self-Improving Legal AI cites this paper.

Closing the Loop: Formally Verified Law as a Reward Signal for Self-Improving Legal AI A Neurosymbolic Approach to Natural Language Formalization and Verification

Reference 5

Resolution: metadata mismatch; arxiv_id, observed 2026-07-15T01:20:49.585649Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.