Paper Citation Record · LEDGER

Instantiation-based Formalization of Logical Reasoning Tasks using Language Models and Logical Solvers

As of 20 August 2026, this Paper Citation Record lists 38 of 38 outbound references and 2 inbound Pith citation observations for arXiv:2501.16961.

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

pith.paper-citation-record.v1
2501.16961 v3

Coverage vector

measured 38 of 38 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-10T05:28:44.223677Z

measured 40 of 40 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-20T06:33:59.587034+00:00

measured 2 of 2 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-07T13:48:57.988181Z

measured 0 of 1 external citation measurements

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

Source: pith, observed 2026-08-07T12:35:21.271130Z

Reference resolution

38 of 38 outbound references displayed

verified exact0
verified fuzzy34
unresolved4
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 27556a0a-8ef0-4795-82df-22ebb4b96e9f · outbound

This paper cites Teaching large language models to self-debug.

Instantiation-based Formalization of Logical Reasoning Tasks using Language Models and Logical Solvers Teaching large language models to self-debug

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T05:28:45.422153Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 3854167b-7af1-42a2-a673-69654beb2ff5 · outbound

This paper cites Transformers as soft reasoners over language.

Instantiation-based Formalization of Logical Reasoning Tasks using Language Models and Logical Solvers Transformers as soft reasoners over language

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T05:28:45.407371Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 4c346b80-90f7-4abd-a38b-0c23ffade053 · outbound

This paper cites Selection-inference: Exploiting large language models for interpretable logical reasoning.

Instantiation-based Formalization of Logical Reasoning Tasks using Language Models and Logical Solvers Selection-inference: Exploiting large language models for interpretable logical reasoning

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T05:28:45.393032Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 22b813fa-7a5d-44ea-8db3-4c04180f51c3 · outbound

This paper cites Z3: An efficient smt solver.

Instantiation-based Formalization of Logical Reasoning Tasks using Language Models and Logical Solvers Z3: An efficient smt solver

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T05:28:45.379251Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 6d6952c6-58b9-4f0a-9931-4b6262058583 · outbound

This paper cites The lean theorem prover (system description).

Instantiation-based Formalization of Logical Reasoning Tasks using Language Models and Logical Solvers The lean theorem prover (system description)

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T05:28:45.364198Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 05137885-b319-4d45-9222-12f4c77f3c82 · outbound

This paper cites Leveraging pre-trained large language models to construct and utilize world models for model-based task planning.

Instantiation-based Formalization of Logical Reasoning Tasks using Language Models and Logical Solvers Leveraging pre-trained large language models to construct and utilize world models for model-based task planning

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T05:28:45.350000Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 3836d74a-3c09-4881-b731-bb0060e423a9 · outbound

This paper cites FOLIO: Natural Language Reasoning with First-Order Logic.

Instantiation-based Formalization of Logical Reasoning Tasks using Language Models and Logical Solvers FOLIO: Natural Language Reasoning with First-Order Logic

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-10T05:28:43.886708Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9916efd9-556e-4c19-b9c4-c4f239d30849 · outbound

This paper cites Solving math word problems by combining language models with symbolic solvers.

Instantiation-based Formalization of Logical Reasoning Tasks using Language Models and Logical Solvers Solving math word problems by combining language models with symbolic solvers

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T05:28:45.336112Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation c1412074-4a59-43a5-a654-fb4d323bb53b · outbound

This paper cites Draft, sketch, and prove: Guiding formal theorem provers with informal proofs.

Instantiation-based Formalization of Logical Reasoning Tasks using Language Models and Logical Solvers Draft, sketch, and prove: Guiding formal theorem provers with informal proofs

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T05:28:45.322636Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 8448d4c0-d9a1-4b3c-b6d1-5db56c7505a4 · outbound

This paper cites LLM-ARC: Enhancing LLMs with an Automated Reasoning Critic.

Instantiation-based Formalization of Logical Reasoning Tasks using Language Models and Logical Solvers LLM-ARC: Enhancing LLMs with an Automated Reasoning Critic

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-10T05:28:44.006852Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 62c3ab96-677a-4bbf-b7f6-6decde7ccfc3 · outbound

This paper cites Position: LLM s can t plan, but can help planning in LLM -modulo frameworks.

Instantiation-based Formalization of Logical Reasoning Tasks using Language Models and Logical Solvers Position: LLM s can t plan, but can help planning in LLM -modulo frameworks

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T05:28:45.307106Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation dd679d54-dd4f-48e8-b7b1-dcd15fc50c21 · outbound

This paper cites Decomposed prompting: A modular approach for solving complex tasks.

Instantiation-based Formalization of Logical Reasoning Tasks using Language Models and Logical Solvers Decomposed prompting: A modular approach for solving complex tasks

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T05:28:45.222454Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 55962807-0b40-446a-b240-e2a2b5092e2d · outbound

This paper cites Manning, Christopher Ré, Diana Acosta-Navas, Drew A.

Instantiation-based Formalization of Logical Reasoning Tasks using Language Models and Logical Solvers Manning, Christopher Ré, Diana Acosta-Navas, Drew A

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T05:28:45.162571Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation c1467e9d-159f-4dcb-9823-ce03a4785b1e · outbound

This paper cites Deductive verification of chain-of-thought reasoning.

Instantiation-based Formalization of Logical Reasoning Tasks using Language Models and Logical Solvers Deductive verification of chain-of-thought reasoning

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T05:28:45.148169Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 47948052-3013-487c-9a8c-28d1b2459e01 · outbound

This paper cites Self-refine: Iterative refinement with self-feedback.

Instantiation-based Formalization of Logical Reasoning Tasks using Language Models and Logical Solvers Self-refine: Iterative refinement with self-feedback

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T05:28:45.132705Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 07f5d5b2-0071-4780-a7fe-7192746e4779 · outbound

This paper cites Selfcheck: Using LLM s to zero-shot check their own step-by-step reasoning.

Instantiation-based Formalization of Logical Reasoning Tasks using Language Models and Logical Solvers Selfcheck: Using LLM s to zero-shot check their own step-by-step reasoning

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T05:28:45.116739Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation c87aa734-f988-4a00-8e9c-77a186b706b4 · outbound

This paper cites Nye, Michael Henry Tessler, Joshua B.

Instantiation-based Formalization of Logical Reasoning Tasks using Language Models and Logical Solvers Nye, Michael Henry Tessler, Joshua B

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T05:28:45.100571Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 50ab73ac-2823-4e13-a085-ff4ab7766d6b · outbound

This paper cites Logic-lm: Empowering large language models with symbolic solvers for faithful logical reasoning.

Instantiation-based Formalization of Logical Reasoning Tasks using Language Models and Logical Solvers Logic-lm: Empowering large language models with symbolic solvers for faithful logical reasoning

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T05:28:45.083450Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation f03ddc14-0c50-44da-8fda-3fea0d81503f · outbound

This paper cites Isabelle: A Generic Theorem Prover , volume 828 of Lecture Notes in Computer Science.

Instantiation-based Formalization of Logical Reasoning Tasks using Language Models and Logical Solvers Isabelle: A Generic Theorem Prover , volume 828 of Lecture Notes in Computer Science

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T05:28:45.067819Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation ead1186d-8c74-4d60-9f42-341dad2fe575 · outbound

This paper cites Din-sql: decomposed in-context learning of text-to-sql with self-correction.

Instantiation-based Formalization of Logical Reasoning Tasks using Language Models and Logical Solvers Din-sql: decomposed in-context learning of text-to-sql with self-correction

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T05:28:45.052205Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 19d66630-6c5a-47d7-8090-4b9a31de12e4 · outbound

This paper cites Language models are greedy reasoners: A systematic formal analysis of chain-of-thought.

Instantiation-based Formalization of Logical Reasoning Tasks using Language Models and Logical Solvers Language models are greedy reasoners: A systematic formal analysis of chain-of-thought

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T05:28:45.036447Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 88046510-fa74-444f-bddf-d9c4e46204e8 · outbound

This paper cites Lomeli, Luke Zettlemoyer, Nicola Cancedda, and Thomas Scialom.

Instantiation-based Formalization of Logical Reasoning Tasks using Language Models and Logical Solvers Lomeli, Luke Zettlemoyer, Nicola Cancedda, and Thomas Scialom

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T05:28:44.963366Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 4b3c743e-9ccd-492d-8a79-187deebabc74 · outbound

This paper cites Beyond the imitation game: Quantifying and extrapolating the capabilities of language models.

Instantiation-based Formalization of Logical Reasoning Tasks using Language Models and Logical Solvers Beyond the imitation game: Quantifying and extrapolating the capabilities of language models

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T05:28:44.837717Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 921e44c6-eaaa-4db6-9939-24a62357ad1e · outbound

This paper cites Proofwriter: Generating implications, proofs, and abductive statements over natural language.

Instantiation-based Formalization of Logical Reasoning Tasks using Language Models and Logical Solvers Proofwriter: Generating implications, proofs, and abductive statements over natural language

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T05:28:44.724567Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation f91a58c0-c926-4099-8918-c41db501171b · outbound

This paper cites Entailer: Answering questions with faithful and truthful chains of reasoning.

Instantiation-based Formalization of Logical Reasoning Tasks using Language Models and Logical Solvers Entailer: Answering questions with faithful and truthful chains of reasoning

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T05:28:44.694588Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 421f91a0-9def-40e4-a1d1-2a146c5d7031 · outbound

This paper cites Can large language models really improve by self-critiquing their own plans? In NeurIPS 2023 Foundation Models for Decision Making Workshop , 2023.

Instantiation-based Formalization of Logical Reasoning Tasks using Language Models and Logical Solvers Can large language models really improve by self-critiquing their own plans? In NeurIPS 2023 Foundation Models for Decision Making Workshop , 2023

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T05:28:44.679023Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 9e7bfd9d-e88d-4042-83e6-bc81e4c3986d · outbound

This paper cites Le, Ed H.

Instantiation-based Formalization of Logical Reasoning Tasks using Language Models and Logical Solvers Le, Ed H

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-10T05:28:44.117554Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 395f3e18-adaa-4c3e-9dfe-f32a9c00e70c · outbound

This paper cites Chi, Quoc V.

Instantiation-based Formalization of Logical Reasoning Tasks using Language Models and Logical Solvers Chi, Quoc V

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T05:28:44.653062Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 17dca0a7-665a-400c-8745-fcb66556e966 · outbound

This paper cites Large language models are better reasoners with self-verification.

Instantiation-based Formalization of Logical Reasoning Tasks using Language Models and Logical Solvers Large language models are better reasoners with self-verification

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T05:28:44.638038Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 2692894d-fb6c-4d03-b2c6-f04b6e4d1844 · outbound

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

Instantiation-based Formalization of Logical Reasoning Tasks using Language Models and Logical Solvers Rabe, Charles Staats, Mateja Jamnik, and Christian Szegedy

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T05:28:44.623025Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation d29b39c4-03a7-47b3-813c-67ad8db7ae96 · outbound

This paper cites Self-evaluation guided beam search for reasoning.

Instantiation-based Formalization of Logical Reasoning Tasks using Language Models and Logical Solvers Self-evaluation guided beam search for reasoning

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T05:28:44.608579Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 01089a8d-8bc3-4862-9926-f81d8ea208f1 · outbound

This paper cites Generating natural language proofs with verifier-guided search.

Instantiation-based Formalization of Logical Reasoning Tasks using Language Models and Logical Solvers Generating natural language proofs with verifier-guided search

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T05:28:44.592691Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 795a22fc-c369-413f-803b-64dfe43dc3eb · outbound

This paper cites Sat LM : Satisfiability-aided language models using declarative prompting.

Instantiation-based Formalization of Logical Reasoning Tasks using Language Models and Logical Solvers Sat LM : Satisfiability-aided language models using declarative prompting

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T05:28:44.576174Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation b452cf51-c6ce-45a9-a5f2-7d6a70c75e67 · outbound

This paper cites Thought propagation: an analogical approach to complex reasoning with large language models.

Instantiation-based Formalization of Logical Reasoning Tasks using Language Models and Logical Solvers Thought propagation: an analogical approach to complex reasoning with large language models

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T05:28:44.560515Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 54b753d4-e4e7-4c06-98ad-d66c14687665 · outbound

This paper cites Analytical reasoning of text.

Instantiation-based Formalization of Logical Reasoning Tasks using Language Models and Logical Solvers Analytical reasoning of text

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T05:28:44.545088Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 21b537b5-e583-407d-bb30-1d5c7c05f0d7 · outbound

This paper cites Le, and Ed H.

Instantiation-based Formalization of Logical Reasoning Tasks using Language Models and Logical Solvers Le, and Ed H

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T05:28:44.474628Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation bca8b6ec-6606-4300-b2b9-0c667f98e3b8 · outbound

This paper cites Ensemble Methods: Foundations and Algorithms.

Instantiation-based Formalization of Logical Reasoning Tasks using Language Models and Logical Solvers Ensemble Methods: Foundations and Algorithms

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T05:28:44.390073Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation f18feb3d-afae-48b2-911b-455e32e85f89 · outbound

This paper cites write newline.

Instantiation-based Formalization of Logical Reasoning Tasks using Language Models and Logical Solvers write newline

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-10T05:28:44.223677Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation e663a350-2a2e-427f-844d-3cb1ba44e5c0 · inbound

Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving cites this paper.

Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving Instantiation-based Formalization of Logical Reasoning Tasks using Language Models and Logical Solvers

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-07T13:48:57.988181Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c1f2fb47-8d4b-46ee-8ca3-cbc3001b7a98 · inbound

Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations cites this paper.

Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations Instantiation-based Formalization of Logical Reasoning Tasks using Language Models and Logical Solvers

Reference 36

Resolution: verified exact; local_arxiv, observed 2026-08-07T12:35:21.319763Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.