Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-10T21:18:59.530837Z
Paper Citation Record · LEDGER
Online Prompt Selection for Program Synthesis
As of 13 August 2026, this Paper Citation Record lists 32 of 32 outbound references and 0 inbound Pith citation observations for arXiv:2501.05247.
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-13T06:32:02.005865+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
32 of 32 outbound references displayed
- verified exact1
- verified fuzzy2
- unresolved29
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 248c7d97-85ee-410a-9f66-8e4250fa0c04 · outbound
This paper cites , " * write output.state after.block = add.period write newline.
Online Prompt Selection for Program Synthesis , " * write output.state after.block = add.period write newline
Reference 1
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T21:18:59.364299Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6a950a8e-0b00-4ec9-89b3-31022f194086 · outbound
This paper cites write newline.
Online Prompt Selection for Program Synthesis write newline
Reference 2
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T21:18:59.369645Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 78bf1841-6410-430e-bff3-9e817ddbaf17 · outbound
This paper cites an unresolved cited work.
Online Prompt Selection for Program Synthesis Unresolved cited work
Reference 3
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T21:19:00.004631Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation dd28f010-b251-47e9-96a2-a73a5f082dca · outbound
This paper cites an unresolved cited work.
Online Prompt Selection for Program Synthesis Unresolved cited work
Reference 4
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T21:18:59.979640Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation b230e147-9a5d-423b-b7b3-5964fdd56271 · outbound
This paper cites an unresolved cited work.
Online Prompt Selection for Program Synthesis Unresolved cited work
Reference 5
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T21:18:59.965594Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 6cb46320-fea6-4fad-a1c0-e6d099fc5419 · outbound
This paper cites HYSYNTH: Context-Free LLM Approximation for Guiding Program Synthesis.
Online Prompt Selection for Program Synthesis HYSYNTH: Context-Free LLM Approximation for Guiding Program Synthesis
Reference 6
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T21:18:59.391031Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 25b672de-355d-4348-acb1-f978edbee043 · outbound
This paper cites an unresolved cited work.
Online Prompt Selection for Program Synthesis Unresolved cited work
Reference 7
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T21:18:59.950237Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 42f2b429-73fa-4ba8-b0c0-5ba529ff0c66 · outbound
This paper cites RLPrompt: Optimizing Discrete Text Prompts with Reinforcement Learning.
Online Prompt Selection for Program Synthesis RLPrompt: Optimizing Discrete Text Prompts with Reinforcement Learning
Reference 8
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T21:18:59.400697Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 68205045-d813-4eb8-9548-1305bad0e903 · outbound
This paper cites an unresolved cited work.
Online Prompt Selection for Program Synthesis Unresolved cited work
Reference 9
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T21:18:59.936348Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 44f6de07-9248-497b-9c4d-6f1e690966d3 · outbound
This paper cites an unresolved cited work.
Online Prompt Selection for Program Synthesis Unresolved cited work
Reference 10
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T21:18:59.922325Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation d5ecae68-6b51-4811-b4ec-d61f04bace73 · outbound
This paper cites PRewrite: Prompt Rewriting with Reinforcement Learning.
Online Prompt Selection for Program Synthesis PRewrite: Prompt Rewriting with Reinforcement Learning
Reference 11
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T21:18:59.415923Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8d097b1d-5331-4ca5-b264-a3f8fd8cbc97 · outbound
This paper cites an unresolved cited work.
Online Prompt Selection for Program Synthesis Unresolved cited work
Reference 12
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T21:18:59.907132Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation d025ef5c-d33e-4560-aaa7-48ff4502fb99 · outbound
This paper cites Large Language Models Understand and Can be Enhanced by Emotional Stimuli.
Online Prompt Selection for Program Synthesis Large Language Models Understand and Can be Enhanced by Emotional Stimuli
Reference 13
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T21:18:59.435151Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5bedd37d-6a32-4790-b589-ea52a8940f57 · outbound
This paper cites Prefix-Tuning: Optimizing Continuous Prompts for Generation.
Online Prompt Selection for Program Synthesis Prefix-Tuning: Optimizing Continuous Prompts for Generation
Reference 14
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T21:18:59.440861Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation bc6db3a8-99fd-488b-8026-dd9cbf4839b3 · outbound
This paper cites an unresolved cited work.
Online Prompt Selection for Program Synthesis Unresolved cited work
Reference 15
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T21:18:59.892690Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 28bbce8e-217d-4f5b-86e6-3502b71b861b · outbound
This paper cites Generated Knowledge Prompting for Commonsense Reasoning.
Online Prompt Selection for Program Synthesis Generated Knowledge Prompting for Commonsense Reasoning
Reference 16
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T21:18:59.451654Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b968c592-c4ca-4e86-b3a4-a158497337e3 · outbound
This paper cites What Makes Good In-Context Examples for GPT-$3$?.
Online Prompt Selection for Program Synthesis What Makes Good In-Context Examples for GPT-$3$?
Reference 17
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T21:18:59.457793Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6dcf8d81-8f1b-42eb-9605-017f1078fb22 · outbound
This paper cites an unresolved cited work.
Online Prompt Selection for Program Synthesis Unresolved cited work
Reference 18
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T21:18:59.463191Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7d496a37-b92e-4d76-97bc-4e06f2a1cc7d · outbound
This paper cites Fantastically Ordered Prompts and Where to Find Them: Overcoming Few-Shot Prompt Order Sensitivity.
Online Prompt Selection for Program Synthesis Fantastically Ordered Prompts and Where to Find Them: Overcoming Few-Shot Prompt Order Sensitivity
Reference 19
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T21:18:59.467592Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a379de75-7e11-427f-9be7-e5be7e958040 · outbound
This paper cites an unresolved cited work.
Online Prompt Selection for Program Synthesis Unresolved cited work
Reference 20
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T21:18:59.868321Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 993e1dfb-6181-445e-8496-698c59b1cb5a · outbound
This paper cites an unresolved cited work.
Online Prompt Selection for Program Synthesis Unresolved cited work
Reference 21
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T21:18:59.844525Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation e0e4b57b-5309-41ba-b908-1c35b8a8f17a · outbound
This paper cites The SyGuS Language Standard Version 2.1.
Online Prompt Selection for Program Synthesis The SyGuS Language Standard Version 2.1
Reference 22
- Resolution
- verified exact
- local_arxiv, observed 2026-08-10T21:18:59.629791Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation b3ecd52b-f829-48ce-904a-40b0de83d228 · outbound
This paper cites an unresolved cited work.
Online Prompt Selection for Program Synthesis Unresolved cited work
Reference 23
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T21:18:59.830269Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation e4e8b655-0680-4254-b737-a4da34b90ff9 · outbound
This paper cites an unresolved cited work.
Online Prompt Selection for Program Synthesis Unresolved cited work
Reference 24
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T21:18:59.814246Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 3f809b51-fb14-45fd-9f79-b1ae86913b6e · outbound
This paper cites GrIPS: Gradient-free, Edit-based Instruction Search for Prompting Large Language Models.
Online Prompt Selection for Program Synthesis GrIPS: Gradient-free, Edit-based Instruction Search for Prompting Large Language Models
Reference 25
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T21:18:59.497245Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 087edd7d-32ad-468c-96be-3e4307920cc9 · outbound
This paper cites AutoPrompt: Eliciting Knowledge from Language Models with Automatically Generated Prompts.
Online Prompt Selection for Program Synthesis AutoPrompt: Eliciting Knowledge from Language Models with Automatically Generated Prompts
Reference 26
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T21:18:59.501996Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8fc1a8c7-d97d-45f0-97c4-1f1cd8d8f3e7 · outbound
This paper cites an unresolved cited work.
Online Prompt Selection for Program Synthesis Unresolved cited work
Reference 27
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T21:18:59.800433Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 067da32e-ac22-482d-ad7e-741004904317 · outbound
This paper cites an unresolved cited work.
Online Prompt Selection for Program Synthesis Unresolved cited work
Reference 28
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T21:18:59.786050Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 2c85187f-b9ed-40ab-9ed4-182e6e655e7d · outbound
This paper cites H.; Le, Q.
Reference 29
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T21:18:59.772116Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 9c06c504-de5f-4534-b57a-8bbb5a1fa7b2 · outbound
This paper cites M.; Hamadi, Y.; and de Moura, L.
Online Prompt Selection for Program Synthesis M.; Hamadi, Y.; and de Moura, L
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T21:18:59.758469Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation c0445f22-be08-49a3-a7e8-b6eb25a07b78 · outbound
This paper cites TEMPERA: Test-Time Prompting via Reinforcement Learning.
Online Prompt Selection for Program Synthesis TEMPERA: Test-Time Prompting via Reinforcement Learning
Reference 31
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T21:18:59.526104Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0d918773-6db8-4302-9409-267a9d27be45 · outbound
This paper cites When "A Helpful Assistant" Is Not Really Helpful: Personas in System Prompts Do Not Improve Performances of Large Language Models.
Online Prompt Selection for Program Synthesis When "A Helpful Assistant" Is Not Really Helpful: Personas in System Prompts Do Not Improve Performances of Large Language Models
Reference 32
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T21:18:59.530837Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Pith citing papers
No inbound Pith citation observations are available.