Paper Citation Record · LEDGER

NL2LOGIC: AST-Guided Translation of Natural Language into First-Order Logic with Large Language Models

As of 18 August 2026, this Paper Citation Record lists 8 of 8 outbound references and 0 inbound Pith citation observations for arXiv:2602.13237.

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

pith.paper-citation-record.v1
2602.13237 v1

Coverage vector

measured 8 of 8 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-03T06:52:17.362634Z

measured 8 of 8 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-18T06:34:40.430872+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

8 of 8 outbound references displayed

verified exact0
verified fuzzy0
unresolved8
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation eeed4eb6-59c5-48b0-b554-e2c490a463b7 · outbound

This paper cites an unresolved cited work.

NL2LOGIC: AST-Guided Translation of Natural Language into First-Order Logic with Large Language Models Unresolved cited work

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-03T06:52:16.717021Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a3bb7055-6054-4b92-bd6f-542cb96ffdcb · outbound

This paper cites student",.

NL2LOGIC: AST-Guided Translation of Natural Language into First-Order Logic with Large Language Models student",

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-03T06:52:16.942106Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b68db984-2f0d-4b49-83df-7281bf5bc8b3 · outbound

This paper cites Preserve the exact wording and capitalization of all subject and object names.

NL2LOGIC: AST-Guided Translation of Natural Language into First-Order Logic with Large Language Models Preserve the exact wording and capitalization of all subject and object names

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-03T06:52:17.158061Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 197f32c7-dc39-46f5-b90c-78341e71b822 · outbound

This paper cites All students study hard.

NL2LOGIC: AST-Guided Translation of Natural Language into First-Order Logic with Large Language Models All students study hard

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-03T06:52:17.362634Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 155f559e-08f0-489f-a3fa-a1dfadc442e1 · outbound

This paper cites Clark Barrett, Aaron Stump, Cesare Tinelli, and 1 oth- ers.

NL2LOGIC: AST-Guided Translation of Natural Language into First-Order Logic with Large Language Models Clark Barrett, Aaron Stump, Cesare Tinelli, and 1 oth- ers

Reference 2009

Resolution: unresolved; no resolver link, observed 2026-08-03T06:52:16.159049Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d62325da-850b-4c40-b1c7-a089391e75b5 · outbound

This paper cites Semantic Parsing with Dual Learning.

NL2LOGIC: AST-Guided Translation of Natural Language into First-Order Logic with Large Language Models Semantic Parsing with Dual Learning

Reference 2019

Resolution: unresolved; no resolver link, observed 2026-08-03T06:52:16.299933Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fca34071-1288-4f2c-8e0f-2ac9f267a9fb · outbound

This paper cites Selection-Inference: Exploiting Large Language Models for Interpretable Logical Reasoning.

NL2LOGIC: AST-Guided Translation of Natural Language into First-Order Logic with Large Language Models Selection-Inference: Exploiting Large Language Models for Interpretable Logical Reasoning

Reference 2022

Resolution: unresolved; no resolver link, observed 2026-08-03T06:52:16.442553Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fbbe6a76-0f75-472b-8b77-7943319648c5 · outbound

This paper cites Learning to Map Sentences to Logical Form: Structured Classification with Probabilistic Categorial Grammars.

NL2LOGIC: AST-Guided Translation of Natural Language into First-Order Logic with Large Language Models Learning to Map Sentences to Logical Form: Structured Classification with Probabilistic Categorial Grammars

Reference 2023

Resolution: unresolved; no resolver link, observed 2026-08-03T06:52:16.585773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.