Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links
Paper Citation Record · LEDGER
Strategies for Improving NL-to-FOL Translation with LLMs: Data Generation, Incremental Fine-Tuning, and Verification
As of 7 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 3 inbound Pith citation observations for arXiv:2409.16461.
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-07T14:55:17.740445Z
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
0
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 ca608db8-6b78-4f60-acac-53d8d037c4b7 · 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? Strategies for Improving NL-to-FOL Translation with LLMs: Data Generation, Incremental Fine-Tuning, and Verification
Reference 41
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T14:55:17.740445Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 364cffa8-0ada-4631-844e-ad15dfe307d4 · inbound
Logical Reasoning with Outcome Reward Models for Test-Time Scaling cites this paper.
Logical Reasoning with Outcome Reward Models for Test-Time Scaling Strategies for Improving NL-to-FOL Translation with LLMs: Data Generation, Incremental Fine-Tuning, and Verification
Reference 15
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T15:26:52.784006Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 662f921a-9d80-4159-ae94-659b0614c409 · inbound
Fixing FOLIO and MALLS: Verified Annotations and an LLM-assisted Framework to Focus Human Relabeling cites this paper.
Fixing FOLIO and MALLS: Verified Annotations and an LLM-assisted Framework to Focus Human Relabeling Strategies for Improving NL-to-FOL Translation with LLMs: Data Generation, Incremental Fine-Tuning, and Verification
Reference 43
- Resolution
- verified exact
- arxiv_id, observed 2026-06-28T14:32:17.757969Z
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.