Paper Citation Record · LEDGER

Assessing the Sensitivity and Alignment of FOL Closeness Metrics

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

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

pith.paper-citation-record.v1
2501.08613 v3

Coverage vector

measured 18 of 18 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-10T20:25:25.777799Z

measured 19 of 19 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-22T06:32:14.747728+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-07T22:39:45.573633Z

measured 0 of 1 external citation measurements

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

Source: pith, observed 2026-08-07T22:39:45.899944Z

Reference resolution

18 of 18 outbound references displayed

verified exact1
verified fuzzy1
unresolved16
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 9618d228-60d1-44b6-8122-680b44e39b05 · outbound

This paper cites online" 'onlinestring :=.

Assessing the Sensitivity and Alignment of FOL Closeness Metrics online" 'onlinestring :=

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-10T20:25:25.707235Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation acaf8125-2471-440c-a9ae-6df3628444e0 · outbound

This paper cites write newline.

Assessing the Sensitivity and Alignment of FOL Closeness Metrics write newline

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-10T20:25:25.712295Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 28d8b2c2-51ab-4b42-84b9-bd885e527667 · outbound

This paper cites GPT-4 Technical Report.

Assessing the Sensitivity and Alignment of FOL Closeness Metrics GPT-4 Technical Report

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-10T20:25:25.716495Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8534042a-6a62-4f20-ba41-a799b9cb4a01 · outbound

This paper cites an unresolved cited work.

Assessing the Sensitivity and Alignment of FOL Closeness Metrics Unresolved cited work

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-10T20:25:25.720582Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e472f0a0-13a4-4c8e-ba7a-a0b3acbb1490 · outbound

This paper cites an unresolved cited work.

Assessing the Sensitivity and Alignment of FOL Closeness Metrics Unresolved cited work

Reference 5

Resolution: verified exact; doi, observed 2026-08-10T20:25:25.852006Z

Source-reported events for the cited work

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

Observation c010fb95-73ca-4c36-bf2e-cc684e49cb9b · outbound

This paper cites an unresolved cited work.

Assessing the Sensitivity and Alignment of FOL Closeness Metrics Unresolved cited work

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-10T20:25:25.729450Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 27d933c5-ab12-430c-8ce5-f21c4485f501 · outbound

This paper cites an unresolved cited work.

Assessing the Sensitivity and Alignment of FOL Closeness Metrics Unresolved cited work

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-10T20:25:25.734034Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f21b9298-dde0-43a6-80d4-a0966b707f41 · outbound

This paper cites an unresolved cited work.

Assessing the Sensitivity and Alignment of FOL Closeness Metrics Unresolved cited work

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-10T20:25:25.738041Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ecdf779c-9df7-465c-91bc-e96ba8b4e750 · outbound

This paper cites Zhang, Armando Solar - Lezama, Joshua B.

Assessing the Sensitivity and Alignment of FOL Closeness Metrics Zhang, Armando Solar - Lezama, Joshua B

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-10T20:25:25.742126Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 857260e2-a342-4988-9c72-84082faa8c9c · outbound

This paper cites an unresolved cited work.

Assessing the Sensitivity and Alignment of FOL Closeness Metrics Unresolved cited work

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-10T20:25:25.746210Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 26068dc4-bbd1-4cef-bdcd-01a3c5656f8b · outbound

This paper cites an unresolved cited work.

Assessing the Sensitivity and Alignment of FOL Closeness Metrics Unresolved cited work

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-10T20:25:25.750630Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9d4f7ac7-cd7f-4b71-845f-7c5bd694504f · outbound

This paper cites an unresolved cited work.

Assessing the Sensitivity and Alignment of FOL Closeness Metrics Unresolved cited work

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-10T20:25:25.754655Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9c1f7111-f725-48d2-8f0c-ccd779bb446d · outbound

This paper cites Chi, Quoc V.

Assessing the Sensitivity and Alignment of FOL Closeness Metrics Chi, Quoc V

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-10T20:25:25.758858Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 446b81a0-7522-4b95-ae0c-47f328656b43 · outbound

This paper cites Rabe, Charles Staats, Mateja Jamnik, and Christian Szegedy.

Assessing the Sensitivity and Alignment of FOL Closeness Metrics Rabe, Charles Staats, Mateja Jamnik, and Christian Szegedy

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T20:25:25.906641Z

Source-reported events for the cited work

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

Observation 50156aab-d228-4149-8741-6eaa7306d0af · outbound

This paper cites Formal Mathematical Reasoning: A New Frontier in AI.

Assessing the Sensitivity and Alignment of FOL Closeness Metrics Formal Mathematical Reasoning: A New Frontier in AI

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-10T20:25:25.766278Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c81e75b6-bfec-43be-97ce-26ae57acbd74 · outbound

This paper cites an unresolved cited work.

Assessing the Sensitivity and Alignment of FOL Closeness Metrics Unresolved cited work

Reference 16

Resolution: unresolved; raw_fallback, observed 2026-08-10T20:25:25.892890Z

Source-reported events for the cited work

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

Observation 05cf92da-45b6-4cd2-933b-ed5c81e65305 · outbound

This paper cites an unresolved cited work.

Assessing the Sensitivity and Alignment of FOL Closeness Metrics Unresolved cited work

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-10T20:25:25.774116Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 153f52fb-5694-4cd9-9cfc-445d8a8a823b · outbound

This paper cites Weinberger, and Yoav Artzi.

Assessing the Sensitivity and Alignment of FOL Closeness Metrics Weinberger, and Yoav Artzi

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-10T20:25:25.777799Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation 45fa01d0-7d6e-413a-b412-a63fe8565b16 · inbound

Logical Reasoning in Large Language Models: A Survey cites this paper.

Logical Reasoning in Large Language Models: A Survey Assessing the Sensitivity and Alignment of FOL Closeness Metrics

Reference 54

Resolution: verified exact; local_arxiv, observed 2026-08-07T22:39:45.904004Z

Source-reported events for the cited work

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