Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links
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 5 inbound Pith citation observations for arXiv:2305.15541.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-07T06:34:17.273281+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-06T17:41:43.597810Z
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 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.