Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-07T12:42:56.845720Z
Paper Citation Record · LEDGER
Large Language Model Meets Constraint Propagation
As of 15 August 2026, this Paper Citation Record lists 35 of 35 outbound references and 0 inbound Pith citation observations for arXiv:2505.24012.
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-15T06:32:42.880941+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
35 of 35 outbound references displayed
- verified exact0
- verified fuzzy30
- unresolved4
- parse uncertain1
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 98ba7793-ca96-45e0-b812-c5ad5b98a855 · outbound
This paper cites Hanjie, Runzhe Yang, and Karthik R Narasimhan.
Large Language Model Meets Constraint Propagation Hanjie, Runzhe Yang, and Karthik R Narasimhan
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T12:43:00.420402Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 4b7af7aa-c4d1-4116-a872-493df53d5ed1 · outbound
This paper cites Bartoldson, Bhavya Kailkhura, and Ferdi- nando Fioretto.
Large Language Model Meets Constraint Propagation Bartoldson, Bhavya Kailkhura, and Ferdi- nando Fioretto
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T12:43:00.298538Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation cef9ab56-e2c0-443c-a4cf-9b32f95203fd · outbound
This paper cites Adversarial tokenization, 2025.
Large Language Model Meets Constraint Propagation Adversarial tokenization, 2025
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T12:43:00.190740Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 8e7e59aa-6a20-4b4a-a929-ec36821080f6 · outbound
This paper cites Chi, Quoc V.
Large Language Model Meets Constraint Propagation Chi, Quoc V
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T12:43:00.112730Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 8b68c25b-5458-48a4-8883-b067d2e0fda5 · outbound
This paper cites Griffiths, Yuan Cao, and Karthik Narasimhan.
Large Language Model Meets Constraint Propagation Griffiths, Yuan Cao, and Karthik Narasimhan
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T12:42:59.973236Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation edf759c4-d85b-48c9-a74f-1ad7935200aa · outbound
This paper cites Fast lexically constrained decoding with dynamic beam allocation for neural ma- chine translation.
Large Language Model Meets Constraint Propagation Fast lexically constrained decoding with dynamic beam allocation for neural ma- chine translation
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T12:42:59.840488Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation ec7148c9-483f-43f3-9e16-1e36d5e367f8 · outbound
This paper cites Smith, and Yejin Choi.
Large Language Model Meets Constraint Propagation Smith, and Yejin Choi
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T12:42:59.678944Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 6baba849-1e5c-4e9d-b646-dd77a43b254a · outbound
This paper cites Constraints first: A new mdd-based model to generate sentences under constraints.
Large Language Model Meets Constraint Propagation Constraints first: A new mdd-based model to generate sentences under constraints
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T12:42:59.543622Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 8c3f2936-114f-4caf-9929-315c7ed7bb5b · outbound
This paper cites Intertwining cp and nlp: The generation of unreasonably con- strained sentences.
Large Language Model Meets Constraint Propagation Intertwining cp and nlp: The generation of unreasonably con- strained sentences
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T12:42:59.382185Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 9f8e8166-15ca-490e-bf18-97b15319aa91 · outbound
This paper cites Markov constraint as large language model surrogate.
Large Language Model Meets Constraint Propagation Markov constraint as large language model surrogate
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T12:42:59.239403Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 6f092341-92ce-44fc-936b-93eec9565eac · outbound
This paper cites Combining Constraint Programming Reason- ing with Large Language Model Predictions.
Large Language Model Meets Constraint Propagation Combining Constraint Programming Reason- ing with Large Language Model Predictions
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T12:42:59.129597Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation c0c6741f-363c-4600-beac-2a079a145f7e · outbound
This paper cites The curious case of neural text degeneration.
Large Language Model Meets Constraint Propagation The curious case of neural text degeneration
Reference 12
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T12:42:54.662289Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4536babd-5779-41b0-910f-291b404cf4ac · outbound
This paper cites Where is the signal in tokenization space? In Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing, pages 3966–3979, 2024.
Large Language Model Meets Constraint Propagation Where is the signal in tokenization space? In Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing, pages 3966–3979, 2024
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T12:42:59.022460Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation fd43477f-80e9-4dbd-bb45-febf43bfa209 · outbound
This paper cites Markov constraints: Steerable generation of markov sequences.
Large Language Model Meets Constraint Propagation Markov constraints: Steerable generation of markov sequences
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T12:42:58.927368Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 2305328c-e7c2-4749-a1cf-77949bd69279 · outbound
This paper cites BERT: pre-training of deep bidirectional transformers for language understanding.
Large Language Model Meets Constraint Propagation BERT: pre-training of deep bidirectional transformers for language understanding
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T12:42:58.850613Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation eef691df-bd46-4d7a-8206-96e7ebccc75e · outbound
This paper cites Constraint propagation.
Large Language Model Meets Constraint Propagation Constraint propagation
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T12:42:58.732776Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 97b23d26-bbed-4633-9a5f-1064da61f3e4 · outbound
This paper cites Markov constraints for generating lyrics with style.
Large Language Model Meets Constraint Propagation Markov constraints for generating lyrics with style
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T12:42:58.693074Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 02babfa4-a7a2-401c-b3d3-a357092a9c5d · outbound
This paper cites Avoiding plagiarism in markov sequence generation.
Large Language Model Meets Constraint Propagation Avoiding plagiarism in markov sequence generation
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T12:42:58.635106Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation c23ac38e-5c7e-4050-8a86-065fef7b6d85 · outbound
This paper cites Generating all possible palin- dromes from ngram corpora.
Large Language Model Meets Constraint Propagation Generating all possible palin- dromes from ngram corpora
Reference 19
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T12:42:58.550139Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation c290aa1f-069e-42cd-b395-05b316fe1568 · outbound
This paper cites Assisted lead sheet composition using flowcomposer.
Large Language Model Meets Constraint Propagation Assisted lead sheet composition using flowcomposer
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T12:42:58.476378Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation b4bb3a9a-844c-4693-aa2f-40843d54b98c · outbound
This paper cites Expressing musical ideas with constraint programming using a model of tonal harmony.
Large Language Model Meets Constraint Propagation Expressing musical ideas with constraint programming using a model of tonal harmony
Reference 21
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T12:42:58.399994Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation c92cbe3f-6946-498e-9c5b-26b31d380c7f · outbound
This paper cites Lexically constrained decoding for sequence generation using grid beam search.
Large Language Model Meets Constraint Propagation Lexically constrained decoding for sequence generation using grid beam search
Reference 22
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T12:42:58.314378Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation a6d639a2-eea2-447c-8447-10b50d0bb3db · outbound
This paper cites Neuro- Logic decoding: (un)supervised neural text generation with predicate logic constraints.
Large Language Model Meets Constraint Propagation Neuro- Logic decoding: (un)supervised neural text generation with predicate logic constraints
Reference 23
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T12:42:58.245662Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 81155c10-74f1-4397-aa71-0cbdf0819dd3 · outbound
This paper cites Using on-the-fly model checking to improve constraint programming for dynamic problems.
Large Language Model Meets Constraint Propagation Using on-the-fly model checking to improve constraint programming for dynamic problems
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T12:42:58.179684Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 9deb284a-cbcf-4728-affe-80a64117ff00 · outbound
This paper cites Generative constraint programming.
Large Language Model Meets Constraint Propagation Generative constraint programming
Reference 25
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T12:42:58.137680Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation ddb7d4aa-df37-4093-a9d7-2f1b02168d51 · outbound
This paper cites Why is constrained neural language generation particularly challenging?.
Large Language Model Meets Constraint Propagation Why is constrained neural language generation particularly challenging?
Reference 26
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T12:42:55.894786Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 59115db8-b128-45ea-8876-2d0d68db9560 · outbound
This paper cites A dynamic programming approach for consistency and propagation for knapsack constraints.
Large Language Model Meets Constraint Propagation A dynamic programming approach for consistency and propagation for knapsack constraints
Reference 27
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T12:42:57.986627Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 923ee6ee-2bf8-432f-be34-cbe729f8d4e5 · outbound
This paper cites Flashattention: Fast and memory-efficient exact attention with io-awareness.
Large Language Model Meets Constraint Propagation Flashattention: Fast and memory-efficient exact attention with io-awareness
Reference 28
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T12:42:57.834301Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation b2f43a7e-a1c9-427f-89d8-214f9fb73466 · outbound
This paper cites A Survey of Quantization Methods for Efficient Neural Network Inference.
Large Language Model Meets Constraint Propagation A Survey of Quantization Methods for Efficient Neural Network Inference
Reference 29
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T12:42:56.274457Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9e0abb26-7f78-4e4a-a5b0-948c73f28910 · outbound
This paper cites Thinking, fast and slow.
Large Language Model Meets Constraint Propagation Thinking, fast and slow
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T12:42:57.603055Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 940f9649-b7d4-4d5f-be5d-701eaf6b1a25 · outbound
This paper cites Thinking fast and slow in ai.
Large Language Model Meets Constraint Propagation Thinking fast and slow in ai
Reference 31
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T12:42:57.391623Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 3cce8f23-c007-4951-95dd-60a1ac31604a · outbound
This paper cites Lazy arc consistency.
Large Language Model Meets Constraint Propagation Lazy arc consistency
Reference 32
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T12:42:57.170727Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 9765a5ce-47ee-4ce8-80c4-7f6201358d93 · outbound
This paper cites Constraint-based scheduling: applying constraint pro- gramming to scheduling problems, volume 39.
Large Language Model Meets Constraint Propagation Constraint-based scheduling: applying constraint pro- gramming to scheduling problems, volume 39
Reference 33
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T12:42:57.069304Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 8f2507be-b1aa-4d3f-93c4-558b0317cab1 · outbound
This paper cites an unresolved cited work.
Large Language Model Meets Constraint Propagation Unresolved cited work
Reference 2020
- Resolution
- parse uncertain
- no resolver link, observed 2026-08-07T12:42:54.739359Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d16883cd-6ae6-4f7d-8396-5c5d60a24fd4 · outbound
This paper cites an unresolved cited work.
Large Language Model Meets Constraint Propagation Unresolved cited work
Reference 2021
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T12:42:55.569066Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Pith citing papers
No inbound Pith citation observations are available.