Paper Citation Record · LEDGER

Math Natural Language Inference: this should be easy!

As of 15 August 2026, this Paper Citation Record lists 11 of 11 outbound references and 0 inbound Pith citation observations for arXiv:2507.23063.

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

pith.paper-citation-record.v1
2507.23063 v1

Coverage vector

measured 11 of 11 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T11:10:59.948669Z

measured 11 of 11 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-14T06:32:32.682623+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

11 of 11 outbound references displayed

verified exact2
verified fuzzy1
unresolved8
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 72471391-fe0d-499c-b681-09fcbe521bcb · outbound

This paper cites an unresolved cited work.

Math Natural Language Inference: this should be easy! Unresolved cited work

Reference 1

Resolution: unresolved; raw_fallback, observed 2026-08-06T11:11:00.204153Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 54204f40-697e-47fe-9cdb-2e9932c60a15 · outbound

This paper cites Extracting Mathematical Concepts from Text.

Math Natural Language Inference: this should be easy! Extracting Mathematical Concepts from Text

Reference 2

Resolution: verified exact; local_arxiv, observed 2026-08-06T11:11:00.105178Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation f5706167-8836-4033-b730-5f7bee5e157d · outbound

This paper cites Conditional and Modal Reasoning in Large Language Models.

Math Natural Language Inference: this should be easy! Conditional and Modal Reasoning in Large Language Models

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-06T11:10:59.916683Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6b5a7cf0-d2f4-4ab1-b705-637c7f8ad863 · outbound

This paper cites an unresolved cited work.

Math Natural Language Inference: this should be easy! Unresolved cited work

Reference 4

Resolution: unresolved; raw_fallback, observed 2026-08-06T11:11:00.187228Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation ff0e2132-acbe-4a57-920d-ad76b2eff314 · outbound

This paper cites Causal Reasoning and Large Language Models: Opening a New Frontier for Causality.

Math Natural Language Inference: this should be easy! Causal Reasoning and Large Language Models: Opening a New Frontier for Causality

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-06T11:10:59.925456Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f000d266-c273-42ec-818f-d1361941749c · outbound

This paper cites Lost in Inference: Rediscovering the Role of Natural Language Inference for Large Language Models.

Math Natural Language Inference: this should be easy! Lost in Inference: Rediscovering the Role of Natural Language Inference for Large Language Models

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-06T11:10:59.929884Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 16fad7b3-daf8-49e5-b6c3-ea77776bee6d · outbound

This paper cites an unresolved cited work.

Math Natural Language Inference: this should be easy! Unresolved cited work

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-06T11:10:59.934896Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 76e68971-e5a3-45bd-be55-31668e5db7c9 · outbound

This paper cites an unresolved cited work.

Math Natural Language Inference: this should be easy! Unresolved cited work

Reference 8

Resolution: unresolved; raw_fallback, observed 2026-08-06T11:11:00.166425Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 9c9bdf81-49a9-4cda-8895-d5948803a48e · outbound

This paper cites Trinh, Yuhuai Wu, Quoc V.

Math Natural Language Inference: this should be easy! Trinh, Yuhuai Wu, Quoc V

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T11:11:00.140725Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation f08b90ca-5517-4598-8ac1-e7652513fa9d · outbound

This paper cites an unresolved cited work.

Math Natural Language Inference: this should be easy! Unresolved cited work

Reference 10

Resolution: unresolved; raw_fallback, observed 2026-08-06T11:11:00.122558Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 313d4f2c-4a72-430c-9f3c-87d0cc99b35a · outbound

This paper cites Are Large Language Models Really Good Logical Reasoners? A Comprehensive Evaluation and Beyond.

Math Natural Language Inference: this should be easy! Are Large Language Models Really Good Logical Reasoners? A Comprehensive Evaluation and Beyond

Reference 11

Resolution: verified exact; local_arxiv, observed 2026-08-06T11:11:00.010692Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Pith citing papers

No inbound Pith citation observations are available.