Paper Citation Record · LEDGER

Harnessing the Power of Large Language Models for Natural Language to First-Order Logic Translation

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

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

pith.paper-citation-record.v1
2305.15541 v1

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

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

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-07T14:55:17.891901Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-07-03T17:18:43.459078Z

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 346e63d9-9325-4271-ad06-06abd9fb1153 · inbound

Do Large Language Models Excel in Complex Logical Reasoning with Formal Language? cites this paper.

Do Large Language Models Excel in Complex Logical Reasoning with Formal Language? Harnessing the Power of Large Language Models for Natural Language to First-Order Logic Translation

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-07T14:55:17.891901Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 385b9e34-d4a9-4db1-94f0-13e0653191e1 · inbound

Breaking the Myth: Can Small Models Infer Postconditions Too? cites this paper.

Breaking the Myth: Can Small Models Infer Postconditions Too? Harnessing the Power of Large Language Models for Natural Language to First-Order Logic Translation

Reference 72

Resolution: unresolved; no resolver link, observed 2026-08-06T17:41:43.597810Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 73a5f6b2-5341-4cc7-844e-612d58fc6265 · inbound

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

Semantic-Aware Logical Reasoning via a Semiotic Framework Harnessing the Power of Large Language Models for Natural Language to First-Order Logic Translation

Reference 50

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

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 b6024eda-90c6-4a28-91fc-de5ba76ec7b9 · 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 Harnessing the Power of Large Language Models for Natural Language to First-Order Logic Translation

Reference 11

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

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 76e2e688-96e7-4e20-8ff7-dc89ff4a3155 · inbound

ROSUM-MCTS: Monte Carlo Tree Search-Inspired HDL Code Summarization with Structural Rewards cites this paper.

ROSUM-MCTS: Monte Carlo Tree Search-Inspired HDL Code Summarization with Structural Rewards Harnessing the Power of Large Language Models for Natural Language to First-Order Logic Translation

Reference 4

Resolution: verified exact; arxiv_id, observed 2026-07-02T20:27:22.730404Z

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 643cf3db-b54f-413a-aaa5-5b185e095a13 · 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 Harnessing the Power of Large Language Models for Natural Language to First-Order Logic Translation

Reference 22

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

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.