Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-07T22:51:13.062709Z
Paper Citation Record · LEDGER
CRANE: Reasoning with constrained LLM generation
As of 9 August 2026, this Paper Citation Record lists 17 of 17 outbound references and 12 inbound Pith citation observations for arXiv:2502.09061.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-09T06:31:02.800959+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-08T20:19:02.536453Z
A source-named dated measurement, never combined with another source.
Source: arxiv_reference, observed 2026-07-02T08:06:48.385427Z
Reference resolution
17 of 17 outbound references displayed
- verified exact0
- verified fuzzy4
- unresolved9
- parse uncertain0
- malformed identifier4
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 436a21c0-af9e-46c9-b097-5418237a3cf7 · outbound
This paper cites Strobl, L., Merrill, W., Weiss, G., Chiang, D., and Angluin, D.
CRANE: Reasoning with constrained LLM generation Strobl, L., Merrill, W., Weiss, G., Chiang, D., and Angluin, D
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T22:51:13.328950Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 58c93124-c2d4-4177-bda5-3bcaa428773b · outbound
This paper cites CoRNStack: High-Quality Contrastive Data for Better Code Retrieval and Reranking.
CRANE: Reasoning with constrained LLM generation CoRNStack: High-Quality Contrastive Data for Better Code Retrieval and Reranking
Reference 7
- Resolution
- malformed identifier
- no resolver link, observed 2026-08-07T22:51:13.008690Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f9dd6e89-6c6b-45f8-bb81-75be91464569 · outbound
This paper cites an unresolved cited work.
CRANE: Reasoning with constrained LLM generation Unresolved cited work
Reference 31
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T22:51:13.313414Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 12698051-c922-4034-a410-53024518d5f2 · outbound
This paper cites an unresolved cited work.
CRANE: Reasoning with constrained LLM generation Unresolved cited work
Reference 42
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T22:51:13.298104Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation dde69332-575c-4421-a09f-91857dc08260 · outbound
This paper cites an unresolved cited work.
CRANE: Reasoning with constrained LLM generation Unresolved cited work
Reference 53
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T22:51:13.279721Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation cfe2136f-56f0-4808-8e99-a7b5fa42bcea · outbound
This paper cites an unresolved cited work.
CRANE: Reasoning with constrained LLM generation Unresolved cited work
Reference 64
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T22:51:13.263422Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 455de394-6f8d-416c-b5bd-78edd482b4e8 · outbound
This paper cites an unresolved cited work.
CRANE: Reasoning with constrained LLM generation Unresolved cited work
Reference 75
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T22:51:13.247027Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 3729d1d4-4b38-415e-9a94-8f84627b2bf3 · outbound
This paper cites an unresolved cited work.
CRANE: Reasoning with constrained LLM generation Unresolved cited work
Reference 86
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T22:51:13.231752Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation f39f4464-dafc-400e-8472-80ad6bf6c1a0 · outbound
This paper cites IterGen: Iterative Semantic-aware Structured LLM Generation with Backtracking.
CRANE: Reasoning with constrained LLM generation IterGen: Iterative Semantic-aware Structured LLM Generation with Backtracking
Reference 91
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T22:51:13.014159Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a6b32990-0973-4791-babe-8bd5a8ee035b · outbound
This paper cites an unresolved cited work.
CRANE: Reasoning with constrained LLM generation Unresolved cited work
Reference 97
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T22:51:13.216326Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation c8b3ee1d-a930-420e-b1b6-5a568656de15 · outbound
This paper cites These are the ONLY operations in the grammar.
CRANE: Reasoning with constrained LLM generation These are the ONLY operations in the grammar
Reference 108
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T22:51:13.201101Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 3bd2cf32-83f4-4865-bb23-7e76c137be11 · outbound
This paper cites Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning.
CRANE: Reasoning with constrained LLM generation Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning
Reference 313
- Resolution
- malformed identifier
- no resolver link, observed 2026-08-07T22:51:12.993196Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1b5790da-8e40-40f5-9cf7-db154233454b · outbound
This paper cites DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning.
CRANE: Reasoning with constrained LLM generation DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning
Reference 2008
- Resolution
- malformed identifier
- no resolver link, observed 2026-08-07T22:51:12.981520Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 22882cdb-60a6-4307-805e-e134d4dc502a · outbound
This paper cites an unresolved cited work.
CRANE: Reasoning with constrained LLM generation Unresolved cited work
Reference 2022
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T22:51:13.344186Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 5e839002-8106-4ba9-9d39-244be7532dd7 · outbound
This paper cites GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language Models.
CRANE: Reasoning with constrained LLM generation GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language Models
Reference 2024
- Resolution
- malformed identifier
- no resolver link, observed 2026-08-07T22:51:12.987734Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5b3b0418-45a9-4784-ab8f-423fa95f56e4 · outbound
This paper cites <" "<" space? expr space?.
CRANE: Reasoning with constrained LLM generation <" "<" space? expr space?
Reference 3600
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T22:51:13.183042Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 0d82337f-8d54-4b9a-8f12-6752ec7c04d0 · outbound
This paper cites De Moura, L.
CRANE: Reasoning with constrained LLM generation De Moura, L
Reference 8856
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T22:51:13.359669Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Pith citing papers
Observation 822a441b-a668-4088-b8e8-436f1fab345f · inbound
Flexible and Efficient Grammar-Constrained Decoding cites this paper.
Flexible and Efficient Grammar-Constrained Decoding CRANE: Reasoning with constrained LLM generation
Reference 4
- Resolution
- unresolved
- no resolver link, observed 2026-08-08T20:19:02.536453Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f3631b79-d862-4961-8d77-a59b9c3b5858 · inbound
DINGO: Constrained Inference for Diffusion LLMs cites this paper.
DINGO: Constrained Inference for Diffusion LLMs CRANE: Reasoning with constrained LLM generation
Reference 3
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T12:58:35.777033Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 383e5f64-9d34-4cca-b1d1-7d8dd8996d1d · inbound
MyCulture: Exploring Malaysia's Diverse Culture under Low-Resource Language Constraints cites this paper.
MyCulture: Exploring Malaysia's Diverse Culture under Low-Resource Language Constraints CRANE: Reasoning with constrained LLM generation
Reference 5
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T23:25:38.183084Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b29a63d0-46d2-47f7-9842-9b66fd20bd79 · inbound
RefineStat: Efficient Exploration for Probabilistic Program Synthesis cites this paper.
RefineStat: Efficient Exploration for Probabilistic Program Synthesis CRANE: Reasoning with constrained LLM generation
Reference 2
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-18T20:31:50.515984Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation c08052f7-6116-4317-8819-24b9f2a74eac · inbound
TreeCoder: Systematic Exploration and Optimisation of Decoding and Constraints for LLM Code Generation cites this paper.
TreeCoder: Systematic Exploration and Optimisation of Decoding and Constraints for LLM Code Generation CRANE: Reasoning with constrained LLM generation
Reference 7
- Resolution
- verified exact
- arxiv_id, observed 2026-05-17T04:21:30.845965Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 0d70bf75-b13d-40ff-8e5b-1d08f844c541 · inbound
BEAVER: An Efficient Deterministic LLM Verifier cites this paper.
BEAVER: An Efficient Deterministic LLM Verifier CRANE: Reasoning with constrained LLM generation
Reference 6
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-17T01:58:51.242809Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 3661ff5a-7ed1-4426-a967-801b8c104c39 · inbound
Trivial Vocabulary Bans Improve LLM Reasoning More Than Deep Linguistic Constraints cites this paper.
Trivial Vocabulary Bans Improve LLM Reasoning More Than Deep Linguistic Constraints CRANE: Reasoning with constrained LLM generation
Reference 1
- Resolution
- verified exact
- arxiv_id, observed 2026-05-13T19:58:12.210346Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation f8245f99-4257-4b41-bd07-2c16137c551b · inbound
The Format Tax cites this paper.
The Format Tax CRANE: Reasoning with constrained LLM generation
Reference 2
- Resolution
- unresolved
- no resolver link, observed 2026-07-13T12:48:03.396039Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7ae8d753-4c00-4753-84b2-a4fa5ee33b36 · inbound
Schema Key Wording as an Instruction Channel in Structured Generation under Constrained Decoding cites this paper.
Schema Key Wording as an Instruction Channel in Structured Generation under Constrained Decoding CRANE: Reasoning with constrained LLM generation
Reference 1
- Resolution
- verified exact
- arxiv_id, observed 2026-05-10T11:15:10.120866Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 3a732e4f-6d5e-431d-b794-842e8aee8de5 · inbound
Improving Quantized Model Performance in Qualitative Analysis with Multi-Pass Prompt Verification cites this paper.
Improving Quantized Model Performance in Qualitative Analysis with Multi-Pass Prompt Verification CRANE: Reasoning with constrained LLM generation
Reference 22
- Resolution
- verified exact
- arxiv_id, observed 2026-05-21T09:39:57.644035Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation c016a1ac-9300-4b2a-bbac-bc295e8e0268 · inbound
Dynamic Infilling Anchors for Format-Constrained Generation in Diffusion Large Language Models cites this paper.
Dynamic Infilling Anchors for Format-Constrained Generation in Diffusion Large Language Models CRANE: Reasoning with constrained LLM generation
Reference 46
- Resolution
- verified exact
- arxiv_id, observed 2026-07-02T08:06:48.386777Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation efeeedae-51cc-48ed-aa8d-a7c2b2171668 · inbound
Imprompt: A Language Framework for Prompt Programming cites this paper.
Imprompt: A Language Framework for Prompt Programming CRANE: Reasoning with constrained LLM generation
Reference 4
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T07:07:39.743637Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.