Paper Citation Record · LEDGER

FOLIO: Natural Language Reasoning with First-Order Logic

As of 9 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 26 inbound Pith citation observations for arXiv:2209.00840.

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

pith.paper-citation-record.v1
2209.00840 v3

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 26 of 26 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-09T06:31:02.800959+00:00

measured 26 of 26 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-08T18:34:26.717301Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-07-04T03:59:34.111501Z

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 4bcdd179-8156-4cd6-b3e4-7af548a52255 · inbound

Reasoning with Language Model is Planning with World Model cites this paper.

Reasoning with Language Model is Planning with World Model FOLIO: Natural Language Reasoning with First-Order Logic

Reference 65

Resolution: metadata mismatch; arxiv_id, observed 2026-05-17T01:49:28.994469Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 5ab026af-b9bc-4f83-8b8a-69d546b5b095 · inbound

Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation cites this paper.

Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation FOLIO: Natural Language Reasoning with First-Order Logic

Reference 2021

Resolution: unresolved; no resolver link, observed 2026-08-08T15:08:25.569771Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 25176236-cd10-4602-85f3-52cccce66007 · inbound

CryptoX : Compositional Reasoning Evaluation of Large Language Models cites this paper.

CryptoX : Compositional Reasoning Evaluation of Large Language Models FOLIO: Natural Language Reasoning with First-Order Logic

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-08T18:34:26.717301Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bf585a55-23b7-4bc7-aa1b-4c7e460f1a2c · inbound

MIH-TCCT: Mitigating Inconsistent Hallucinations in LLMs via Event-Driven Text-Code Cyclic Training cites this paper.

MIH-TCCT: Mitigating Inconsistent Hallucinations in LLMs via Event-Driven Text-Code Cyclic Training FOLIO: Natural Language Reasoning with First-Order Logic

Reference 2022

Resolution: unresolved; no resolver link, observed 2026-08-07T23:19:36.702863Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9d1e3700-fe8f-4399-9c6a-19a46b3b3a00 · inbound

Evaluating the Meta- and Object-Level Reasoning of Large Language Models for Question Answering cites this paper.

Evaluating the Meta- and Object-Level Reasoning of Large Language Models for Question Answering FOLIO: Natural Language Reasoning with First-Order Logic

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-07T18:31:46.629555Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e21f3090-69cb-4441-a937-26476f5fd925 · inbound

KORGym: A Dynamic Game Platform for LLM Reasoning Evaluation cites this paper.

KORGym: A Dynamic Game Platform for LLM Reasoning Evaluation FOLIO: Natural Language Reasoning with First-Order Logic

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-07T15:36:25.653305Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dcd2eb07-fe73-4d35-8e7d-c89e2c8ca88c · inbound

Can Compressed LLMs Truly Act? An Empirical Evaluation of Agentic Capabilities in LLM Compression cites this paper.

Can Compressed LLMs Truly Act? An Empirical Evaluation of Agentic Capabilities in LLM Compression FOLIO: Natural Language Reasoning with First-Order Logic

Reference 2015

Resolution: unresolved; no resolver link, observed 2026-08-07T14:17:55.716989Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dcaac41e-6170-4752-9e5f-151d9d1a7e9d · inbound

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles cites this paper.

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles FOLIO: Natural Language Reasoning with First-Order Logic

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:09.786756Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3bdfb2a5-81ff-49af-9e46-c21fcf83efa7 · inbound

Token Signature: Predicting Chain-of-Thought Gains with Token Decoding Feature in Large Language Models cites this paper.

Token Signature: Predicting Chain-of-Thought Gains with Token Decoding Feature in Large Language Models FOLIO: Natural Language Reasoning with First-Order Logic

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-07T06:09:18.758315Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 625eeb89-d441-417a-a1a8-add8febd28ee · inbound

Mitigating Spurious Correlations in LLMs via Causality-Aware Post-Training cites this paper.

Mitigating Spurious Correlations in LLMs via Causality-Aware Post-Training FOLIO: Natural Language Reasoning with First-Order Logic

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-07T04:55:42.781612Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 26761db9-9e12-4c75-a285-60377864d088 · inbound

Evolutionary Perspectives on the Evaluation of LLM-Based AI Agents: A Comprehensive Survey cites this paper.

Evolutionary Perspectives on the Evaluation of LLM-Based AI Agents: A Comprehensive Survey FOLIO: Natural Language Reasoning with First-Order Logic

Reference 186

Resolution: unresolved; no resolver link, observed 2026-08-07T06:00:19.879662Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a1117513-2ed3-462c-a131-c30dc59528d7 · inbound

Steering LLM Thinking with Budget Guidance cites this paper.

Steering LLM Thinking with Budget Guidance FOLIO: Natural Language Reasoning with First-Order Logic

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-07T00:32:59.829841Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 50d8ed53-ff16-4208-b82b-0ddaeaf071a7 · inbound

A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning cites this paper.

A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning FOLIO: Natural Language Reasoning with First-Order Logic

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-06T04:33:34.393733Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c1d3bab2-ec8e-4b06-b5ea-c4ff44d58900 · inbound

Rethinking Reasoning Quality in Large Language Models through Enhanced Chain-of-Thought via RL cites this paper.

Rethinking Reasoning Quality in Large Language Models through Enhanced Chain-of-Thought via RL FOLIO: Natural Language Reasoning with First-Order Logic

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-05T04:42:06.003231Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 11735ddc-b90d-4e91-9f9e-960368147cfc · inbound

Semantic-Aware Logical Reasoning via a Semiotic Framework cites this paper.

Semantic-Aware Logical Reasoning via a Semiotic Framework FOLIO: Natural Language Reasoning with First-Order Logic

Reference 17

Resolution: verified exact; arxiv_id, observed 2026-05-18T13:01:24.268440Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 744d9d97-5ef5-439c-a1d0-b7eaa0d0a7a3 · inbound

DeltaLogic: Minimal Premise Edits Reveal Belief-Revision Failures in Logical Reasoning Models cites this paper.

DeltaLogic: Minimal Premise Edits Reveal Belief-Revision Failures in Logical Reasoning Models FOLIO: Natural Language Reasoning with First-Order Logic

Reference 5

Resolution: verified exact; arxiv_id, observed 2026-05-13T20:28:14.020420Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation fa423443-444e-497b-ad5b-37a0b5579495 · inbound

Towards Effective In-context Cross-domain Knowledge Transfer via Domain-invariant-neurons-based Retrieval cites this paper.

Towards Effective In-context Cross-domain Knowledge Transfer via Domain-invariant-neurons-based Retrieval FOLIO: Natural Language Reasoning with First-Order Logic

Reference 3

Resolution: metadata mismatch; arxiv_id, observed 2026-05-10T22:50:49.973825Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 72838af7-086b-421f-a3b8-99e177850f55 · inbound

Reason Analogically via Cross-domain Prior Knowledge: An Empirical Study of Cross-domain Knowledge Transfer for In-Context Learning cites this paper.

Reason Analogically via Cross-domain Prior Knowledge: An Empirical Study of Cross-domain Knowledge Transfer for In-Context Learning FOLIO: Natural Language Reasoning with First-Order Logic

Reference 3

Resolution: metadata mismatch; arxiv_id, observed 2026-05-10T23:10:49.989459Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 506cbdfb-65af-4810-b127-f9ebad2c49f1 · inbound

Forge: Quality-Aware Reinforcement Learning for NP-Hard Optimization in LLMs cites this paper.

Forge: Quality-Aware Reinforcement Learning for NP-Hard Optimization in LLMs FOLIO: Natural Language Reasoning with First-Order Logic

Reference 40

Resolution: metadata mismatch; arxiv_id, observed 2026-05-12T02:46:18.942014Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation aa94ccf6-1189-4b8f-9fb1-3a67ca90e56f · inbound

ChaosBench-Logic v2: Evaluating LLM Logical Reasoning over Dynamical Systems at Scale cites this paper.

ChaosBench-Logic v2: Evaluating LLM Logical Reasoning over Dynamical Systems at Scale FOLIO: Natural Language Reasoning with First-Order Logic

Reference 4

Resolution: verified exact; arxiv_id, observed 2026-06-30T14:14:45.364965Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 70995dd9-1e4c-42aa-9d0c-f39abba03d5d · inbound

Linear Probes Detect Task Format, Not Reasoning Mode in Language Model Hidden States cites this paper.

Linear Probes Detect Task Format, Not Reasoning Mode in Language Model Hidden States FOLIO: Natural Language Reasoning with First-Order Logic

Reference 6

Resolution: metadata mismatch; arxiv_id, observed 2026-07-01T23:26:22.718639Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation c4e29945-6da3-43d2-a639-49a3e71297ad · inbound

Know Your Limits : On the Faithfulness of LLMs as Solvers and Autoformalizers in Legal Reasoning cites this paper.

Know Your Limits : On the Faithfulness of LLMs as Solvers and Autoformalizers in Legal Reasoning FOLIO: Natural Language Reasoning with First-Order Logic

Reference 21

Resolution: metadata mismatch; arxiv_id, observed 2026-07-03T17:18:43.463800Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 70fc5c36-629e-4ef6-8353-7980f431fb3f · inbound

SciLens: Multi-modal Scientific Claim Verification with Agentic Entailment and Grounding cites this paper.

SciLens: Multi-modal Scientific Claim Verification with Agentic Entailment and Grounding FOLIO: Natural Language Reasoning with First-Order Logic

Reference 4

Resolution: metadata mismatch; arxiv_id, observed 2026-07-04T03:59:34.113175Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 2d2977e4-26d9-45bd-ab54-e5e6982d07fd · inbound

Scaling with Confidence: Calibrating Confidence of LLMs for Adaptive Test Time Scaling cites this paper.

Scaling with Confidence: Calibrating Confidence of LLMs for Adaptive Test Time Scaling FOLIO: Natural Language Reasoning with First-Order Logic

Reference 50

Resolution: metadata mismatch; arxiv_id, observed 2026-07-03T14:58:32.512333Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 08db19f0-1f04-4c9a-9b80-e7446d739655 · inbound

DAIS: Dependency-Aware Intermediate QA Supervision for Complex Reasoning cites this paper.

DAIS: Dependency-Aware Intermediate QA Supervision for Complex Reasoning FOLIO: Natural Language Reasoning with First-Order Logic

Reference 71

Resolution: unresolved; no resolver link, observed 2026-08-01T13:34:14.740630Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b508200d-e0fb-459e-a670-b3e3247ce2b5 · inbound

Confidently Wrong: Exception Chain Collapse in Frontier LLM Rule Evaluation cites this paper.

Confidently Wrong: Exception Chain Collapse in Frontier LLM Rule Evaluation FOLIO: Natural Language Reasoning with First-Order Logic

Reference 4

Resolution: unresolved; no resolver link, observed 2026-07-30T23:41:20.179943Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.