Pith. sign in

Paper Citation Record · LEDGER

A Closer Look at Logical Reasoning with LLMs: The Choice of Tool Matters

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

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

pith.paper-citation-record.v1
2406.00284 v2

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

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

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-07T04:53:43.080625Z

measured 1 of 1 external citation measurements

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

2
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 8d8e6e68-2f51-4f31-9d37-196129bf7c3b · inbound

Imagine while Reasoning in Space: Multimodal Visualization-of-Thought cites this paper.

Imagine while Reasoning in Space: Multimodal Visualization-of-Thought A Closer Look at Logical Reasoning with LLMs: The Choice of Tool Matters

Reference 14

Resolution
verified exact
arxiv_id, observed 2026-05-16T23:09:34.939821Z

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.

source=pdf_text observed=2026-05-16T23:09:34.805552Z digest=sha256:12003d16a6e36294f034251ad49bdf364826d26d003290d8c7fecaf72def914e

Observation f44c6e16-05b0-4a78-aed8-401ff19ca3dc · inbound

PuzzleWorld: A Benchmark for Multimodal, Open-Ended Reasoning in Puzzlehunts cites this paper.

PuzzleWorld: A Benchmark for Multimodal, Open-Ended Reasoning in Puzzlehunts A Closer Look at Logical Reasoning with LLMs: The Choice of Tool Matters

Reference 19

Resolution
verified exact
arxiv_id, observed 2026-05-19T10:47:15.178758Z

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.

source=pdf_text observed=2026-05-19T10:43:02.601014Z digest=sha256:da42c7cf4954a170ce05be0fa69ae50ad27e64717e723be4f26210296a88ac42

Observation 3922bb4e-c827-458b-a211-c5d6967faf8f · inbound

From over-reliance to smart integration: using Large-Language Models as translators between specialized modeling and simulation tools cites this paper.

From over-reliance to smart integration: using Large-Language Models as translators between specialized modeling and simulation tools A Closer Look at Logical Reasoning with LLMs: The Choice of Tool Matters

Reference 10

Resolution
unresolved
no resolver link, observed 2026-08-07T04:53:43.080625Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-07T04:53:43.080625Z digest=sha256:e065019b37eabdce11271604682e4f31b64e00c117f5453b505ef8adfe5f9c3b

Observation 37c1c938-6b4f-4244-8901-a6f83db59867 · inbound

Logical Reasoning with Outcome Reward Models for Test-Time Scaling cites this paper.

Logical Reasoning with Outcome Reward Models for Test-Time Scaling A Closer Look at Logical Reasoning with LLMs: The Choice of Tool Matters

Reference 8

Resolution
unresolved
no resolver link, observed 2026-08-05T15:26:52.757698Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-05T15:26:52.757698Z digest=sha256:4d5f1963c81b6e94e4b31e55c59ff5d415d486f125dd3a562f8d7b0a39b2d312

Observation ad5b83f3-129d-4583-b534-91de7bfb61d5 · inbound

LLM-Assisted Tool for Joint Generation of Formulas and Functions in Rule-Based Verification of Map Transformations cites this paper.

LLM-Assisted Tool for Joint Generation of Formulas and Functions in Rule-Based Verification of Map Transformations A Closer Look at Logical Reasoning with LLMs: The Choice of Tool Matters

Reference 11

Resolution
verified exact
arxiv_id, observed 2026-05-18T02:00:38.475847Z

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.

source=pdf_text observed=2026-05-18T01:56:50.023943Z digest=sha256:1dafdf4ceb3385eab8278f12f8284294330543715428f4eac56c32ae71f18054