Paper Citation Record · LEDGER

Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning

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

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

pith.paper-citation-record.v1
2305.12295 v2

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 25 of 25 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 25 of 25 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-07T04:55:42.284502Z

measured 1 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-08-05T02:28:24.338817Z

Reference resolution

0 of 0 outbound references displayed

verified exact0
verified fuzzy0
unresolved0
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

7
arxiv_reference, observed 2026-08-05T02:28:24.338817Z

Outbound references

No outbound reference observations are available for this paper version.

Pith citing papers

Observation 399a9281-5066-4780-a858-9d62920a3259 · inbound

ORFS-agent: Tool-Using Agents for Chip Design Optimization cites this paper.

ORFS-agent: Tool-Using Agents for Chip Design Optimization Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning

Reference 42

Resolution: verified exact; arxiv_id, observed 2026-05-19T11:27:16.038681Z

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 36030903-62ee-480d-a24d-521272b167a5 · inbound

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

Mitigating Spurious Correlations in LLMs via Causality-Aware Post-Training Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning

Reference 12

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation beb63caa-ce67-4e6e-ad26-f5af4ee87a93 · inbound

From over-reliance to smart integration: using Large-Language Models as translators between specialized modeling and simulation tools cites this paper.

From over-reliance to smart integration: using Large-Language Models as translators between specialized modeling and simulation tools Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-07T04:53:43.487935Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation efca936b-7996-4a94-ae34-160008f0d7a2 · inbound

DipSVD: Dual-importance Protected SVD for Efficient LLM Compression cites this paper.

DipSVD: Dual-importance Protected SVD for Efficient LLM Compression Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-06T22:58:09.398339Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 591f1166-531e-4e12-a0a5-c7c7ed1f2d9b · inbound

From Legal Text to Tech Specs: Generative AI's Interpretation of Consent in Privacy Law cites this paper.

From Legal Text to Tech Specs: Generative AI's Interpretation of Consent in Privacy Law Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-06T19:56:41.105915Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2aae2ec5-df0f-48e4-9102-e11e01bcec42 · inbound

Integrating External Tools with Large Language Models to Improve Accuracy cites this paper.

Integrating External Tools with Large Language Models to Improve Accuracy Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-06T19:05:02.548607Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e78e6b8f-fd5a-44c5-bc81-f07f93c39478 · inbound

Beyond Isolated Capabilities: Bridging Long CoT Reasoning and Long-Context Understanding cites this paper.

Beyond Isolated Capabilities: Bridging Long CoT Reasoning and Long-Context Understanding Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-06T15:50:51.197770Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 521c1797-7c53-4feb-b9b6-8ca5cbd30f3a · inbound

R4ec: A Reasoning, Reflection, and Refinement Framework for Recommendation Systems cites this paper.

R4ec: A Reasoning, Reflection, and Refinement Framework for Recommendation Systems Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-06T14:58:26.406230Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9c82c850-dc4a-4eed-b7c4-a33328f3eecf · inbound

From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms cites this paper.

From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-06T15:33:30.736315Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1460bfc4-a498-4ffa-9ffe-5eff8e4a1d4c · inbound

Beyond the Surface: A Solution-Aware Retrieval Model for Competition-level Code Generation cites this paper.

Beyond the Surface: A Solution-Aware Retrieval Model for Competition-level Code Generation Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-05T12:56:33.038472Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 51e80c11-e038-4c17-b879-15a02ae88354 · inbound

Throttling Web Agents Using Reasoning Gates cites this paper.

Throttling Web Agents Using Reasoning Gates Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning

Reference 73

Resolution: unresolved; no resolver link, observed 2026-08-05T12:28:04.507275Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 532a7a83-8582-48f3-abb6-eae8bd688b7c · inbound

From Implicit Exploration to Structured Reasoning: Leveraging Guideline and Refinement for LLMs cites this paper.

From Implicit Exploration to Structured Reasoning: Leveraging Guideline and Refinement for LLMs Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-04T23:56:34.889878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 04a2d3e3-f656-4f71-acbc-e94e3bc7b019 · inbound

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

Semantic-Aware Logical Reasoning via a Semiotic Framework Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning

Reference 27

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

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 abcb1a15-4888-4094-a1bc-44b6651f736d · inbound

LLM-Assisted Tool for Joint Generation of Formulas and Functions in Rule-Based Verification of Map Transformations cites this paper.

LLM-Assisted Tool for Joint Generation of Formulas and Functions in Rule-Based Verification of Map Transformations Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning

Reference 8

Resolution: verified exact; arxiv_id, observed 2026-05-18T02:00:38.471090Z

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 132dfeb9-69fe-4ade-a705-1e26e229f018 · inbound

VERGE: Formal Refinement and Guidance Engine for Verifiable LLM Reasoning cites this paper.

VERGE: Formal Refinement and Guidance Engine for Verifiable LLM Reasoning Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning

Reference 4

Resolution: metadata mismatch; arxiv_id, observed 2026-05-16T10:20:49.936365Z

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 2593c52c-99ca-4d05-8e58-d6f9a62a7393 · inbound

LAST: Leveraging Tools as Hints to Enhance Spatial Reasoning for Multimodal Large Language Models cites this paper.

LAST: Leveraging Tools as Hints to Enhance Spatial Reasoning for Multimodal Large Language Models Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning

Reference 28

Resolution: verified exact; arxiv_id, observed 2026-05-10T23:00:47.733310Z

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 6d6fdff5-98d6-48ef-a483-7dae4bf5cbe0 · inbound

VeriTrans: Fine-Tuned LLM-Assisted NL-to-PL Translation via a Deterministic Neuro-Symbolic Pipeline cites this paper.

VeriTrans: Fine-Tuned LLM-Assisted NL-to-PL Translation via a Deterministic Neuro-Symbolic Pipeline Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning

Reference 17

Resolution: verified exact; arxiv_id, observed 2026-05-11T10:31:01.299222Z

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 4ba27694-447d-425d-a2dd-41af68703675 · inbound

LLM Reasoning Is Latent, Not the Chain of Thought cites this paper.

LLM Reasoning Is Latent, Not the Chain of Thought Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning

Reference 14

Resolution: verified exact; arxiv_id, observed 2026-05-10T08:53:04.715478Z

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 25bc98b3-cc0f-40cc-8ad3-f69aa0b53d1b · inbound

From Natural Language to Executable Narsese: A Neuro-Symbolic Benchmark and Pipeline for Reasoning with NARS cites this paper.

From Natural Language to Executable Narsese: A Neuro-Symbolic Benchmark and Pipeline for Reasoning with NARS Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning

Reference 8

Resolution: metadata mismatch; arxiv_id, observed 2026-05-11T12:06:05.008200Z

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 cd840e3f-15e3-4f10-b97c-6980fd262956 · inbound

NoisyCausal: A Benchmark for Evaluating Causal Reasoning Under Structured Noise cites this paper.

NoisyCausal: A Benchmark for Evaluating Causal Reasoning Under Structured Noise Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning

Reference 11

Resolution: metadata mismatch; arxiv_id, observed 2026-05-11T17:56:07.199741Z

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 d346097c-3317-4549-bd2d-80a2a9d1715f · inbound

CodeClinic: Evaluating Automation of Coding Skills for Clinical Reasoning Agents cites this paper.

CodeClinic: Evaluating Automation of Coding Skills for Clinical Reasoning Agents Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning

Reference 29

Resolution: metadata mismatch; arxiv_id, observed 2026-05-12T07:41:46.209339Z

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 d9692fc1-02e5-4c21-8add-1c4365148bd4 · inbound

Logical Judgments Under Pressure: Diagnosing Syllogistic Stability with Learned Soft Prefixes cites this paper.

Logical Judgments Under Pressure: Diagnosing Syllogistic Stability with Learned Soft Prefixes Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-01T15:40:36.356091Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 102e3e67-6bcd-419a-aad1-ab70891e1ef6 · inbound

Training Large Language Models for Self-Explanation Faithfulness cites this paper.

Training Large Language Models for Self-Explanation Faithfulness Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning

Reference 136

Resolution: unresolved; no resolver link, observed 2026-08-01T08:36:29.810585Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f70611ae-384b-4130-bd4d-001d53695152 · inbound

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

Confidently Wrong: Exception Chain Collapse in Frontier LLM Rule Evaluation Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning

Reference 10

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4825c95e-1578-4122-850c-14ffbe4df3b6 · inbound

Credit Cards, Confusion, Computation, and Consequences: What Can We Uncover About Language Model Reasoning? cites this paper.

Credit Cards, Confusion, Computation, and Consequences: What Can We Uncover About Language Model Reasoning? Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning

Reference 171

Resolution: unresolved; no resolver link, observed 2026-07-30T16:01:42.518723Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.