{"as_of":"2026-08-07T11:19:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:49fdd38b0d9af7a0b52774472798529bae204bab9993bf178cc5fe601dcf16e3","coverage":[{"denominator":38,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":38,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-01T19:14:31.710343Z","state":"measured"},{"denominator":38,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":38,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-07T06:34:17.273281+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2607.17047/citation-record","integrity":"/paper/2607.17047/integrity","json":"/paper/2607.17047/citation-record.json","paper":"/paper/2607.17047"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T19:14:26.577029Z","title":null,"venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2607.17047","last_updated":"2026-07-19T03:23:22Z","snapshot_observed_at":"2026-08-06T16:57:47.420938Z","submitted_at":"2026-07-19T03:23:22Z","title":"Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-01T19:14:26.577029Z"},"links":{"citing_paper":"/paper/2607.17047"},"observation_digest":"sha256:81c1cf5dd37ff3bae6491572de8934eeb3a2dd64df3fd4feed981449ae184cc8","observation_id":"49b4c4ed-3e03-4030-b9dc-47a0b7a38a69","resolution":{"observed_at":"2026-08-01T19:14:26.577029Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T19:14:26.680841Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.17047","last_updated":"2026-07-19T03:23:22Z","snapshot_observed_at":"2026-08-06T16:57:47.420938Z","submitted_at":"2026-07-19T03:23:22Z","title":"Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-01T19:14:26.680841Z"},"links":{"citing_paper":"/paper/2607.17047"},"observation_digest":"sha256:c59de1f5c56897a34fad7a7d9efaedeeddf575b87464ac053c30bea8d1e2b23d","observation_id":"ecc56afd-3eaa-44aa-af3d-7d162e60a9a7","resolution":{"observed_at":"2026-08-01T19:14:26.680841Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T19:14:26.818563Z","title":"Tenenbaum","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.17047","last_updated":"2026-07-19T03:23:22Z","snapshot_observed_at":"2026-08-06T16:57:47.420938Z","submitted_at":"2026-07-19T03:23:22Z","title":"Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-01T19:14:26.818563Z"},"links":{"citing_paper":"/paper/2607.17047"},"observation_digest":"sha256:a7448c18943afcf4399fb04484d1e81dc9dffb114267a70b0db46b5057ee0798","observation_id":"2a7c0164-d385-413b-ab0d-7f8e292c3a4f","resolution":{"observed_at":"2026-08-01T19:14:26.818563Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T19:14:26.947506Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.17047","last_updated":"2026-07-19T03:23:22Z","snapshot_observed_at":"2026-08-06T16:57:47.420938Z","submitted_at":"2026-07-19T03:23:22Z","title":"Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-01T19:14:26.947506Z"},"links":{"citing_paper":"/paper/2607.17047"},"observation_digest":"sha256:2cb6ebf2428084806ff3a3ea97ff5f25dce617f0a52efebeabfa125a21ca0b23","observation_id":"ecd0784f-8d9d-4b95-91dd-75d28144bb5f","resolution":{"observed_at":"2026-08-01T19:14:26.947506Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2602.12665","doi":"10.48550/arxiv.2602.12665","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Open MIND","work_id":"a06956d7-06af-4704-99da-8b2a56dc5e78","year":2026},"citing_paper":{"arxiv_id":"2607.17047","last_updated":"2026-07-19T03:23:22Z","snapshot_observed_at":"2026-08-06T16:57:47.420938Z","submitted_at":"2026-07-19T03:23:22Z","title":"Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-01T19:14:27.034688Z"},"links":{"citing_paper":"/paper/2607.17047"},"observation_digest":"sha256:2dabdc316d1a33fa2eae350491a6106a15c344fe27e734192854d5332a4d99f4","observation_id":"8d607fbd-2c01-4a21-af3f-b73a59a51d2a","resolution":{"observed_at":"2026-08-01T19:19:10.023879Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T19:14:27.218380Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.17047","last_updated":"2026-07-19T03:23:22Z","snapshot_observed_at":"2026-08-06T16:57:47.420938Z","submitted_at":"2026-07-19T03:23:22Z","title":"Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-01T19:14:27.218380Z"},"links":{"citing_paper":"/paper/2607.17047"},"observation_digest":"sha256:ab99951b5246cfce8c39f46637025eee26d0adaad59a36649a766da59b3104f4","observation_id":"2272e9f9-57df-46d5-aabe-4a592a079124","resolution":{"observed_at":"2026-08-01T19:14:27.218380Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T19:14:27.342097Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.17047","last_updated":"2026-07-19T03:23:22Z","snapshot_observed_at":"2026-08-06T16:57:47.420938Z","submitted_at":"2026-07-19T03:23:22Z","title":"Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-01T19:14:27.342097Z"},"links":{"citing_paper":"/paper/2607.17047"},"observation_digest":"sha256:4aa3516383edda811baecf2ae507fa761a5b480a6d0c5756964f76456c4f3f28","observation_id":"c64ad591-427e-4adf-bf55-163cd69b74a8","resolution":{"observed_at":"2026-08-01T19:14:27.342097Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T19:14:27.503099Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.17047","last_updated":"2026-07-19T03:23:22Z","snapshot_observed_at":"2026-08-06T16:57:47.420938Z","submitted_at":"2026-07-19T03:23:22Z","title":"Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-01T19:14:27.503099Z"},"links":{"citing_paper":"/paper/2607.17047"},"observation_digest":"sha256:5912631ca6fbf7b7bc959595846de4fa0376acc9803479c047a6e953c32061c3","observation_id":"3da34f38-472e-4a47-98e5-4fb88ab01694","resolution":{"observed_at":"2026-08-01T19:14:27.503099Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2507.02092","last_updated":"2025-07-02T19:17:29Z","snapshot_observed_at":"2026-08-06T20:35:50.241169Z","submitted_at":"2025-07-02T19:17:29Z","title":"Energy-Based Transformers are Scalable Learners and Thinkers","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2507.02092","snapshot_observed_at":"2026-08-01T19:14:27.667342Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.17047","last_updated":"2026-07-19T03:23:22Z","snapshot_observed_at":"2026-08-06T16:57:47.420938Z","submitted_at":"2026-07-19T03:23:22Z","title":"Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-01T19:14:27.667342Z"},"links":{"cited_paper":"/paper/2507.02092","citing_paper":"/paper/2607.17047"},"observation_digest":"sha256:b18ae60dc0a06747313277b40c997c37e05d14f2ba10e478f0722bad26c2fd83","observation_id":"1166e9f6-b53f-4b3c-b3fe-9293d38094c5","resolution":{"observed_at":"2026-08-01T19:14:27.667342Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T19:14:27.828638Z","title":null,"venue":null,"work_id":null,"year":1985},"citing_paper":{"arxiv_id":"2607.17047","last_updated":"2026-07-19T03:23:22Z","snapshot_observed_at":"2026-08-06T16:57:47.420938Z","submitted_at":"2026-07-19T03:23:22Z","title":"Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-01T19:14:27.828638Z"},"links":{"citing_paper":"/paper/2607.17047"},"observation_digest":"sha256:b31a7211799cb65241d36d2cb9872e6d6fd33402a06b8c8a39787df2a27fd952","observation_id":"7fd26e9c-34aa-44fd-8167-63018bf68b7b","resolution":{"observed_at":"2026-08-01T19:14:27.828638Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2408.07215","last_updated":"2024-10-22T21:44:03Z","snapshot_observed_at":"2026-07-06T19:00:27.086920Z","submitted_at":"2024-08-13T21:54:10Z","title":"Can Large Language Models Reason? A Characterization via 3-SAT","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.07215","snapshot_observed_at":"2026-08-01T19:14:27.990869Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.17047","last_updated":"2026-07-19T03:23:22Z","snapshot_observed_at":"2026-08-06T16:57:47.420938Z","submitted_at":"2026-07-19T03:23:22Z","title":"Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-01T19:14:27.990869Z"},"links":{"cited_paper":"/paper/2408.07215","citing_paper":"/paper/2607.17047"},"observation_digest":"sha256:8da2976c0e2e0acdd8da01b21da348f0d4798f4e777889910fc46860271ad27d","observation_id":"5adf4177-8cef-4ca3-9866-b4b88b253bb4","resolution":{"observed_at":"2026-08-01T19:14:27.990869Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T19:14:28.095563Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.17047","last_updated":"2026-07-19T03:23:22Z","snapshot_observed_at":"2026-08-06T16:57:47.420938Z","submitted_at":"2026-07-19T03:23:22Z","title":"Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-01T19:14:28.095563Z"},"links":{"citing_paper":"/paper/2607.17047"},"observation_digest":"sha256:b18932dd84ea3f033fbd4f2087c3ebdbe89a4f7835a8c756a6bb43c6a29c7a10","observation_id":"c2c45165-5367-4d07-8152-cf1798435b42","resolution":{"observed_at":"2026-08-01T19:14:28.095563Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T19:14:28.175347Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.17047","last_updated":"2026-07-19T03:23:22Z","snapshot_observed_at":"2026-08-06T16:57:47.420938Z","submitted_at":"2026-07-19T03:23:22Z","title":"Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-01T19:14:28.175347Z"},"links":{"citing_paper":"/paper/2607.17047"},"observation_digest":"sha256:cb7835d7d7633827252868b3be21896159465c25c09f0a8574c0875eb1151c86","observation_id":"f2f971c2-d58a-4af9-8f8a-f5303d17f02e","resolution":{"observed_at":"2026-08-01T19:14:28.175347Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2510.04871","last_updated":"2025-10-06T14:58:08Z","snapshot_observed_at":"2026-07-06T22:31:49.574184Z","submitted_at":"2025-10-06T14:58:08Z","title":"Less is More: Recursive Reasoning with Tiny Networks","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2510.04871","snapshot_observed_at":"2026-08-01T19:14:28.217780Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.17047","last_updated":"2026-07-19T03:23:22Z","snapshot_observed_at":"2026-08-06T16:57:47.420938Z","submitted_at":"2026-07-19T03:23:22Z","title":"Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-01T19:14:28.217780Z"},"links":{"cited_paper":"/paper/2510.04871","citing_paper":"/paper/2607.17047"},"observation_digest":"sha256:eac225774ba9676a1ab0a3fc0d6b17f5a497884bf6d85a7f538afaf7df6302e6","observation_id":"4fa27d50-5558-4043-9631-2d2f6dbf9d28","resolution":{"observed_at":"2026-08-01T19:14:28.217780Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T19:14:28.337627Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.17047","last_updated":"2026-07-19T03:23:22Z","snapshot_observed_at":"2026-08-06T16:57:47.420938Z","submitted_at":"2026-07-19T03:23:22Z","title":"Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-01T19:14:28.337627Z"},"links":{"citing_paper":"/paper/2607.17047"},"observation_digest":"sha256:e5aa5906cddadddf4aba1b37c1e65aafd2f92d18c6b03160f2b82aa97281dc8a","observation_id":"fcbc27ab-2a4a-45f4-af29-894f018c2e30","resolution":{"observed_at":"2026-08-01T19:14:28.337627Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1073/pnas.0703685104","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Proceedings of the National Academy of Sciences","work_id":"0ecf14c1-cb8b-4308-b90d-91af7247075c","year":2007},"citing_paper":{"arxiv_id":"2607.17047","last_updated":"2026-07-19T03:23:22Z","snapshot_observed_at":"2026-08-06T16:57:47.420938Z","submitted_at":"2026-07-19T03:23:22Z","title":"Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-01T19:14:28.510893Z"},"links":{"citing_paper":"/paper/2607.17047"},"observation_digest":"sha256:067c92950ee94ad7eaf6b3425ca09bf1b771e8478fbc54ade552472ed4ffe012","observation_id":"7beef586-3ef5-454f-80c6-4ae1f098adc2","resolution":{"observed_at":"2026-08-01T19:19:09.758392Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T19:14:28.684745Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.17047","last_updated":"2026-07-19T03:23:22Z","snapshot_observed_at":"2026-08-06T16:57:47.420938Z","submitted_at":"2026-07-19T03:23:22Z","title":"Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-01T19:14:28.684745Z"},"links":{"citing_paper":"/paper/2607.17047"},"observation_digest":"sha256:2709fda261f2f4e565495e4142ad6ac81027944be6942e8d044872b297d44b3d","observation_id":"395e809d-6ad3-4e03-bcea-28816d72884a","resolution":{"observed_at":"2026-08-01T19:14:28.684745Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.18653/v1/2026.acl-long.1766","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T19:19:09.370643Z","title":null,"venue":null,"work_id":"6df402ad-f0a9-433b-bca9-096be730ebba","year":2026},"citing_paper":{"arxiv_id":"2607.17047","last_updated":"2026-07-19T03:23:22Z","snapshot_observed_at":"2026-08-06T16:57:47.420938Z","submitted_at":"2026-07-19T03:23:22Z","title":"Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-01T19:14:28.862520Z"},"links":{"citing_paper":"/paper/2607.17047"},"observation_digest":"sha256:44fb390142bad8b75ac7ea1a23bb902c0a67c19d27fb7b662a3469f33a96d805","observation_id":"8d5c26fb-105a-4168-ad11-aa9998891ddc","resolution":{"observed_at":"2026-08-01T19:19:09.465708Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T19:14:29.005207Z","title":null,"venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2607.17047","last_updated":"2026-07-19T03:23:22Z","snapshot_observed_at":"2026-08-06T16:57:47.420938Z","submitted_at":"2026-07-19T03:23:22Z","title":"Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-01T19:14:29.005207Z"},"links":{"citing_paper":"/paper/2607.17047"},"observation_digest":"sha256:05444c779f0aeb4ab610fdf998453b6782e1f8aab49a951e6dcb5c0f3e29c6fa","observation_id":"dfabaaf3-cfdf-43d6-b9a6-cdc8112cde52","resolution":{"observed_at":"2026-08-01T19:14:29.005207Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T19:14:29.184462Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.17047","last_updated":"2026-07-19T03:23:22Z","snapshot_observed_at":"2026-08-06T16:57:47.420938Z","submitted_at":"2026-07-19T03:23:22Z","title":"Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-01T19:14:29.184462Z"},"links":{"citing_paper":"/paper/2607.17047"},"observation_digest":"sha256:8c7d608e2a05590c9199879dc0a599fa5feacf99f4c0e9049d7bc42bb3bb6473","observation_id":"ce8c16ac-d01f-451c-82a3-b2b0f8d4afc6","resolution":{"observed_at":"2026-08-01T19:14:29.184462Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T19:14:29.378922Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.17047","last_updated":"2026-07-19T03:23:22Z","snapshot_observed_at":"2026-08-06T16:57:47.420938Z","submitted_at":"2026-07-19T03:23:22Z","title":"Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-01T19:14:29.378922Z"},"links":{"citing_paper":"/paper/2607.17047"},"observation_digest":"sha256:17aa9ef6e118e6682f3d3112b34e14d309a5079f547d79a9af3dcd8ac38acd18","observation_id":"2d0bbe3f-d3ea-4ade-9421-9763099f02bc","resolution":{"observed_at":"2026-08-01T19:14:29.378922Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T19:14:29.534470Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.17047","last_updated":"2026-07-19T03:23:22Z","snapshot_observed_at":"2026-08-06T16:57:47.420938Z","submitted_at":"2026-07-19T03:23:22Z","title":"Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-01T19:14:29.534470Z"},"links":{"citing_paper":"/paper/2607.17047"},"observation_digest":"sha256:5e35a1969636a60009d4efa3572cbe8e41522c73d5440ff7bff56a00585ffb50","observation_id":"8bed2c07-0ad9-4499-b195-ef03150646fd","resolution":{"observed_at":"2026-08-01T19:14:29.534470Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T19:14:29.594415Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.17047","last_updated":"2026-07-19T03:23:22Z","snapshot_observed_at":"2026-08-06T16:57:47.420938Z","submitted_at":"2026-07-19T03:23:22Z","title":"Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-01T19:14:29.594415Z"},"links":{"citing_paper":"/paper/2607.17047"},"observation_digest":"sha256:bf3056cb6cf179d3825240cbaff1739641b82046610cb14b3a43275386bb8633","observation_id":"77673092-9a0c-4edc-a8d6-e6bcfccaaf28","resolution":{"observed_at":"2026-08-01T19:14:29.594415Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T19:14:29.704149Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.17047","last_updated":"2026-07-19T03:23:22Z","snapshot_observed_at":"2026-08-06T16:57:47.420938Z","submitted_at":"2026-07-19T03:23:22Z","title":"Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-01T19:14:29.704149Z"},"links":{"citing_paper":"/paper/2607.17047"},"observation_digest":"sha256:dc4507952572acd42387eef95588dc01d1200710bb580f10acc99507e557cdf4","observation_id":"342649ee-172f-4bcc-97bc-7369dce59fe8","resolution":{"observed_at":"2026-08-01T19:14:29.704149Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.52202/075280-2425","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":null,"work_id":"4850b285-6d1f-443c-bcd0-4db0af1cdfed","year":2023},"citing_paper":{"arxiv_id":"2607.17047","last_updated":"2026-07-19T03:23:22Z","snapshot_observed_at":"2026-08-06T16:57:47.420938Z","submitted_at":"2026-07-19T03:23:22Z","title":"Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-01T19:14:29.853076Z"},"links":{"citing_paper":"/paper/2607.17047"},"observation_digest":"sha256:da9ab4c987eaca0a7a467dfe11940dafac3ecacf4c03a74cca726680eaeeaf7a","observation_id":"d175190c-5c83-430e-b7c7-37694158885f","resolution":{"observed_at":"2026-08-01T19:19:09.281981Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T19:14:29.974812Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.17047","last_updated":"2026-07-19T03:23:22Z","snapshot_observed_at":"2026-08-06T16:57:47.420938Z","submitted_at":"2026-07-19T03:23:22Z","title":"Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-01T19:14:29.974812Z"},"links":{"citing_paper":"/paper/2607.17047"},"observation_digest":"sha256:c2f63807974de2f094b63573894d6a7882ded512a550253e14407b9e27a2d0d7","observation_id":"1ea1cdfa-6b99-4c66-bcda-2856ba1e03d4","resolution":{"observed_at":"2026-08-01T19:14:29.974812Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T19:14:30.034006Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.17047","last_updated":"2026-07-19T03:23:22Z","snapshot_observed_at":"2026-08-06T16:57:47.420938Z","submitted_at":"2026-07-19T03:23:22Z","title":"Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-01T19:14:30.034006Z"},"links":{"citing_paper":"/paper/2607.17047"},"observation_digest":"sha256:0839b681cc0713ce5e7b5cb9230329c327670cbe9bbe9d742aaeb8467e4d2fb3","observation_id":"66eb2a86-1b2e-4f61-861e-81062e0b24e7","resolution":{"observed_at":"2026-08-01T19:14:30.034006Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T19:14:30.107230Z","title":null,"venue":null,"work_id":null,"year":1968},"citing_paper":{"arxiv_id":"2607.17047","last_updated":"2026-07-19T03:23:22Z","snapshot_observed_at":"2026-08-06T16:57:47.420938Z","submitted_at":"2026-07-19T03:23:22Z","title":"Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-01T19:14:30.107230Z"},"links":{"citing_paper":"/paper/2607.17047"},"observation_digest":"sha256:15d5d33539226744b15fb6522ea20e00e838a9aa3de352249dcb0bb7e92853fd","observation_id":"390109a7-9792-4d34-a2e2-0ce0156cdd0c","resolution":{"observed_at":"2026-08-01T19:14:30.107230Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T19:14:30.303310Z","title":null,"venue":null,"work_id":null,"year":1987},"citing_paper":{"arxiv_id":"2607.17047","last_updated":"2026-07-19T03:23:22Z","snapshot_observed_at":"2026-08-06T16:57:47.420938Z","submitted_at":"2026-07-19T03:23:22Z","title":"Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-01T19:14:30.303310Z"},"links":{"citing_paper":"/paper/2607.17047"},"observation_digest":"sha256:51485983b9be50442edb2698dfb4ebb8cbc2de674630534ca30cca50e2b30e66","observation_id":"49d57c72-f063-4518-b63a-128fe7114390","resolution":{"observed_at":"2026-08-01T19:14:30.303310Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2506.21734","last_updated":"2025-08-04T08:45:08Z","snapshot_observed_at":"2026-08-06T13:55:12.607273Z","submitted_at":"2025-06-26T19:39:54Z","title":"Hierarchical Reasoning Model","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2506.21734","snapshot_observed_at":"2026-08-01T19:14:30.453355Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.17047","last_updated":"2026-07-19T03:23:22Z","snapshot_observed_at":"2026-08-06T16:57:47.420938Z","submitted_at":"2026-07-19T03:23:22Z","title":"Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-01T19:14:30.453355Z"},"links":{"cited_paper":"/paper/2506.21734","citing_paper":"/paper/2607.17047"},"observation_digest":"sha256:9eef47125f0b39e18b79a162e7c196063f473321d725fe2c0e8b8b0898fd7c04","observation_id":"a2675fd9-4b02-4735-bf70-4f0cd6dd94d1","resolution":{"observed_at":"2026-08-01T19:14:30.453355Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T19:14:30.665024Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.17047","last_updated":"2026-07-19T03:23:22Z","snapshot_observed_at":"2026-08-06T16:57:47.420938Z","submitted_at":"2026-07-19T03:23:22Z","title":"Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-01T19:14:30.665024Z"},"links":{"citing_paper":"/paper/2607.17047"},"observation_digest":"sha256:c1e38d1cfd5d453809b8765b4926933b3fe9fd2e009c69410de824c9672c417a","observation_id":"75b0a68f-7f59-48c4-a9b9-fd17e0fb46df","resolution":{"observed_at":"2026-08-01T19:14:30.665024Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2603.08659","last_updated":"2026-04-06T09:23:11Z","snapshot_observed_at":"2026-08-03T00:34:34.031576Z","submitted_at":"2026-03-09T17:37:15Z","title":"CODA: Difficulty-Aware Compute Allocation for Adaptive Reasoning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2603.08659","snapshot_observed_at":"2026-08-01T19:14:30.821020Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.17047","last_updated":"2026-07-19T03:23:22Z","snapshot_observed_at":"2026-08-06T16:57:47.420938Z","submitted_at":"2026-07-19T03:23:22Z","title":"Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-01T19:14:30.821020Z"},"links":{"cited_paper":"/paper/2603.08659","citing_paper":"/paper/2607.17047"},"observation_digest":"sha256:a30281dcd7d1b786c0ef8cc46eaf0500e86ef3814f44bc1c4cfb4bf3527d6e36","observation_id":"95c0e46c-5d64-40eb-8e6a-b45c1aa77fb5","resolution":{"observed_at":"2026-08-01T19:14:30.821020Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T19:14:31.036194Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.17047","last_updated":"2026-07-19T03:23:22Z","snapshot_observed_at":"2026-08-06T16:57:47.420938Z","submitted_at":"2026-07-19T03:23:22Z","title":"Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning","version":1},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-01T19:14:31.036194Z"},"links":{"citing_paper":"/paper/2607.17047"},"observation_digest":"sha256:246a3a6b419114ce23114ed1db1f1bcb32f0427cc36a6a9ec352cc96f579bedc","observation_id":"e5019ce5-dd5d-4179-b6b3-6120151c2781","resolution":{"observed_at":"2026-08-01T19:14:31.036194Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2604.14853","last_updated":"2026-04-16T10:39:22Z","snapshot_observed_at":"2026-07-06T23:02:31.717911Z","submitted_at":"2026-04-16T10:39:22Z","title":"Adaptive Test-Time Compute Allocation for Reasoning LLMs via Constrained Policy Optimization","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2604.14853","snapshot_observed_at":"2026-08-01T19:14:31.123478Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.17047","last_updated":"2026-07-19T03:23:22Z","snapshot_observed_at":"2026-08-06T16:57:47.420938Z","submitted_at":"2026-07-19T03:23:22Z","title":"Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning","version":1},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-01T19:14:31.123478Z"},"links":{"cited_paper":"/paper/2604.14853","citing_paper":"/paper/2607.17047"},"observation_digest":"sha256:195cf70f1eaa104907ff973acfa473f531b9667ef0bb96309a1f954f1e5eac98","observation_id":"cd873441-42ff-4807-967a-d7592c97f577","resolution":{"observed_at":"2026-08-01T19:14:31.123478Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3808209","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T19:19:08.955289Z","title":null,"venue":null,"work_id":"f2528f41-0342-4afc-9062-009a60696970","year":2026},"citing_paper":{"arxiv_id":"2607.17047","last_updated":"2026-07-19T03:23:22Z","snapshot_observed_at":"2026-08-06T16:57:47.420938Z","submitted_at":"2026-07-19T03:23:22Z","title":"Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning","version":1},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-01T19:14:31.262396Z"},"links":{"citing_paper":"/paper/2607.17047"},"observation_digest":"sha256:a7761ec4ab2c7dc6d3b8b621ef5f0ac656d2ef5dda0cef00e017b50900f6d951","observation_id":"0daa1d53-8b79-4eb5-8c88-a2a66c9f4351","resolution":{"observed_at":"2026-08-01T19:19:09.026615Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T19:14:31.439802Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.17047","last_updated":"2026-07-19T03:23:22Z","snapshot_observed_at":"2026-08-06T16:57:47.420938Z","submitted_at":"2026-07-19T03:23:22Z","title":"Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning","version":1},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-01T19:14:31.439802Z"},"links":{"citing_paper":"/paper/2607.17047"},"observation_digest":"sha256:1366eeca74b6ba25bbedc49a9c9ae4f404f09612cbe80a8822c6e9166cccc900","observation_id":"80ee3962-044c-4665-8b05-e518ec46923b","resolution":{"observed_at":"2026-08-01T19:14:31.439802Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.18653/v1/2026.acl-long.96","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T19:19:08.815252Z","title":null,"venue":null,"work_id":"7bad4c02-b4dc-4bd8-b392-6552dc404f6d","year":2026},"citing_paper":{"arxiv_id":"2607.17047","last_updated":"2026-07-19T03:23:22Z","snapshot_observed_at":"2026-08-06T16:57:47.420938Z","submitted_at":"2026-07-19T03:23:22Z","title":"Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning","version":1},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-01T19:14:31.594608Z"},"links":{"citing_paper":"/paper/2607.17047"},"observation_digest":"sha256:f72bd70604cdc5194f40095b5fe0fd8a4bd106bc7a1dc42ef019cf5d18c416d9","observation_id":"b97e81c9-5d26-4635-b984-f2bb2549478f","resolution":{"observed_at":"2026-08-01T19:19:08.885020Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.18653/v1/2026.findings-acl.1199","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T19:19:08.675465Z","title":null,"venue":null,"work_id":"2b58a593-9edc-4ab9-9ff5-1a65f2330247","year":2026},"citing_paper":{"arxiv_id":"2607.17047","last_updated":"2026-07-19T03:23:22Z","snapshot_observed_at":"2026-08-06T16:57:47.420938Z","submitted_at":"2026-07-19T03:23:22Z","title":"Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning","version":1},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-01T19:14:31.710343Z"},"links":{"citing_paper":"/paper/2607.17047"},"observation_digest":"sha256:75f5a702c2876aa8ca84cb8fbebc09513669271a52855f5aa958b8b24d2750e6","observation_id":"7463bde4-fb64-4b00-ac57-e4eac5b2f753","resolution":{"observed_at":"2026-08-01T19:19:08.717376Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2607.17047","last_updated":"2026-07-19T03:23:22Z","latest_version":1,"primary_category":"cs.LG","snapshot_observed_at":"2026-08-06T16:57:47.420938Z","submitted_at":"2026-07-19T03:23:22Z","title":"Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning"},"reference_resolution":{"displayed":38,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":31,"verified_exact":7,"verified_fuzzy":0},"total_outbound_references":38},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"thesis":"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."}