Paper Citation Record · LEDGER

Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning

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

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

pith.paper-citation-record.v1
2607.17047 v1

Coverage vector

measured 38 of 38 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-01T19:14:31.710343Z

measured 38 of 38 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 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

38 of 38 outbound references displayed

verified exact7
verified fuzzy0
unresolved31
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 49b4c4ed-3e03-4030-b9dc-47a0b7a38a69 · outbound

This paper cites an unresolved cited work.

Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning Unresolved cited work

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-01T19:14:26.577029Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ecc56afd-3eaa-44aa-af3d-7d162e60a9a7 · outbound

This paper cites an unresolved cited work.

Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning Unresolved cited work

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-01T19:14:26.680841Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2a7c0164-d385-413b-ab0d-7f8e292c3a4f · outbound

This paper cites Tenenbaum.

Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning Tenenbaum

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-01T19:14:26.818563Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ecd0784f-8d9d-4b95-91dd-75d28144bb5f · outbound

This paper cites an unresolved cited work.

Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning Unresolved cited work

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-01T19:14:26.947506Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8d607fbd-2c01-4a21-af3f-b73a59a51d2a · outbound

This paper cites an unresolved cited work.

Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning Unresolved cited work

Reference 5

Resolution: verified exact; arxiv_id, observed 2026-08-01T19:19:10.023879Z

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 2272e9f9-57df-46d5-aabe-4a592a079124 · outbound

This paper cites an unresolved cited work.

Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning Unresolved cited work

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-01T19:14:27.218380Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c64ad591-427e-4adf-bf55-163cd69b74a8 · outbound

This paper cites an unresolved cited work.

Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning Unresolved cited work

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-01T19:14:27.342097Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3da34f38-472e-4a47-98e5-4fb88ab01694 · outbound

This paper cites an unresolved cited work.

Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning Unresolved cited work

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-01T19:14:27.503099Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1166e9f6-b53f-4b3c-b3fe-9293d38094c5 · outbound

This paper cites Energy-Based Transformers are Scalable Learners and Thinkers.

Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning Energy-Based Transformers are Scalable Learners and Thinkers

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-01T19:14:27.667342Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7fd26e9c-34aa-44fd-8167-63018bf68b7b · outbound

This paper cites an unresolved cited work.

Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning Unresolved cited work

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-01T19:14:27.828638Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5adf4177-8cef-4ca3-9866-b4b88b253bb4 · outbound

This paper cites Can Large Language Models Reason? A Characterization via 3-SAT.

Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning Can Large Language Models Reason? A Characterization via 3-SAT

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-01T19:14:27.990869Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c2c45165-5367-4d07-8152-cf1798435b42 · outbound

This paper cites an unresolved cited work.

Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning Unresolved cited work

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-01T19:14:28.095563Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f2f971c2-d58a-4af9-8f8a-f5303d17f02e · outbound

This paper cites an unresolved cited work.

Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning Unresolved cited work

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-01T19:14:28.175347Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4fa27d50-5558-4043-9631-2d2f6dbf9d28 · outbound

This paper cites Less is More: Recursive Reasoning with Tiny Networks.

Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning Less is More: Recursive Reasoning with Tiny Networks

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-01T19:14:28.217780Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fcbc27ab-2a4a-45f4-af29-894f018c2e30 · outbound

This paper cites an unresolved cited work.

Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning Unresolved cited work

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-01T19:14:28.337627Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7beef586-3ef5-454f-80c6-4ae1f098adc2 · outbound

This paper cites an unresolved cited work.

Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning Unresolved cited work

Reference 16

Resolution: verified exact; doi, observed 2026-08-01T19:19:09.758392Z

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 395e809d-6ad3-4e03-bcea-28816d72884a · outbound

This paper cites an unresolved cited work.

Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning Unresolved cited work

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-01T19:14:28.684745Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8d5c26fb-105a-4168-ad11-aa9998891ddc · outbound

This paper cites an unresolved cited work.

Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning Unresolved cited work

Reference 18

Resolution: verified exact; doi, observed 2026-08-01T19:19:09.465708Z

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 dfabaaf3-cfdf-43d6-b9a6-cdc8112cde52 · outbound

This paper cites an unresolved cited work.

Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning Unresolved cited work

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-01T19:14:29.005207Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ce8c16ac-d01f-451c-82a3-b2b0f8d4afc6 · outbound

This paper cites an unresolved cited work.

Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning Unresolved cited work

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-01T19:14:29.184462Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2d0bbe3f-d3ea-4ade-9421-9763099f02bc · outbound

This paper cites an unresolved cited work.

Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning Unresolved cited work

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-01T19:14:29.378922Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8bed2c07-0ad9-4499-b195-ef03150646fd · outbound

This paper cites an unresolved cited work.

Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning Unresolved cited work

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-01T19:14:29.534470Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 77673092-9a0c-4edc-a8d6-e6bcfccaaf28 · outbound

This paper cites an unresolved cited work.

Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning Unresolved cited work

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-01T19:14:29.594415Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 342649ee-172f-4bcc-97bc-7369dce59fe8 · outbound

This paper cites an unresolved cited work.

Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning Unresolved cited work

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-01T19:14:29.704149Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d175190c-5c83-430e-b7c7-37694158885f · outbound

This paper cites an unresolved cited work.

Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning Unresolved cited work

Reference 25

Resolution: verified exact; doi, observed 2026-08-01T19:19:09.281981Z

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 1ea1cdfa-6b99-4c66-bcda-2856ba1e03d4 · outbound

This paper cites an unresolved cited work.

Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning Unresolved cited work

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-01T19:14:29.974812Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 66eb2a86-1b2e-4f61-861e-81062e0b24e7 · outbound

This paper cites an unresolved cited work.

Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning Unresolved cited work

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-01T19:14:30.034006Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 390109a7-9792-4d34-a2e2-0ce0156cdd0c · outbound

This paper cites an unresolved cited work.

Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning Unresolved cited work

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-01T19:14:30.107230Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 49d57c72-f063-4518-b63a-128fe7114390 · outbound

This paper cites an unresolved cited work.

Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning Unresolved cited work

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-01T19:14:30.303310Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a2675fd9-4b02-4735-bf70-4f0cd6dd94d1 · outbound

This paper cites Hierarchical Reasoning Model.

Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning Hierarchical Reasoning Model

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-01T19:14:30.453355Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 75b0a68f-7f59-48c4-a9b9-fd17e0fb46df · outbound

This paper cites an unresolved cited work.

Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning Unresolved cited work

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-01T19:14:30.665024Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 95c0e46c-5d64-40eb-8e6a-b45c1aa77fb5 · outbound

This paper cites CODA: Difficulty-Aware Compute Allocation for Adaptive Reasoning.

Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning CODA: Difficulty-Aware Compute Allocation for Adaptive Reasoning

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-01T19:14:30.821020Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e5019ce5-dd5d-4179-b6b3-6120151c2781 · outbound

This paper cites an unresolved cited work.

Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning Unresolved cited work

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-01T19:14:31.036194Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cd873441-42ff-4807-967a-d7592c97f577 · outbound

This paper cites Adaptive Test-Time Compute Allocation for Reasoning LLMs via Constrained Policy Optimization.

Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning Adaptive Test-Time Compute Allocation for Reasoning LLMs via Constrained Policy Optimization

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-01T19:14:31.123478Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0daa1d53-8b79-4eb5-8c88-a2a66c9f4351 · outbound

This paper cites an unresolved cited work.

Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning Unresolved cited work

Reference 35

Resolution: verified exact; doi, observed 2026-08-01T19:19:09.026615Z

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 80ee3962-044c-4665-8b05-e518ec46923b · outbound

This paper cites an unresolved cited work.

Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning Unresolved cited work

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-01T19:14:31.439802Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b97e81c9-5d26-4635-b984-f2bb2549478f · outbound

This paper cites an unresolved cited work.

Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning Unresolved cited work

Reference 37

Resolution: verified exact; doi, observed 2026-08-01T19:19:08.885020Z

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 7463bde4-fb64-4b00-ac57-e4eac5b2f753 · outbound

This paper cites an unresolved cited work.

Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning Unresolved cited work

Reference 38

Resolution: verified exact; doi, observed 2026-08-01T19:19:08.717376Z

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.

Pith citing papers

No inbound Pith citation observations are available.