Pith. sign in

Paper Citation Record · LEDGER

Online Prompt Selection for Program Synthesis

As of 14 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.

pith.paper-citation-record.v1
2501.05247 v2

Coverage vector

measured 32 of 32 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-10T21:18:59.530837Z

measured 32 of 32 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-14T06:32:32.682623+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

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.

source=arxiv_source observed=2026-08-10T21:18:59.364299Z digest=sha256:54cab3ecbfc51a38032e6f2844eb740ca5093c04c1eca18d16c4a6e5a23be3f0

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.

source=arxiv_source observed=2026-08-10T21:18:59.369645Z digest=sha256:5e1247447fb19487fd503eff87f63f1b5b42c4abc5b86d9f91ba9075784b39d7

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-14T06:32:32.682623+00:00.

source=arxiv_source observed=2026-08-10T21:18:59.375385Z digest=sha256:448fec95a9ed7e7aba478c71018a6e5e043f51d90f9b71439dc5fab35face044

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-14T06:32:32.682623+00:00.

source=arxiv_source observed=2026-08-10T21:18:59.381662Z digest=sha256:0fcb5799e2f77a308980b8843153540269deef5f30200ecd58769f37ae141697

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-14T06:32:32.682623+00:00.

source=arxiv_source observed=2026-08-10T21:18:59.386346Z digest=sha256:ca515313c10b675b871603be748889fe419b5a10637b78b3b2ec9ca1c787e9b3

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.

source=arxiv_source observed=2026-08-10T21:18:59.391031Z digest=sha256:56ec52c02d81106d39c08e32817cd895fc2fcb1c801d1e366ef774268b2d1745

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-14T06:32:32.682623+00:00.

source=arxiv_source observed=2026-08-10T21:18:59.395981Z digest=sha256:f678f15b852e3df42f6141f18e136be13c9fdf6b0748ebf083dbc862ee5e055f

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.

source=arxiv_source observed=2026-08-10T21:18:59.400697Z digest=sha256:5c3d34ccd83c876f5fd9e390163ee59ba2fb32a3ec948fc84a38302d7c0cfc5f

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-14T06:32:32.682623+00:00.

source=arxiv_source observed=2026-08-10T21:18:59.406825Z digest=sha256:4f04fef4a94bb4143f329d7b3b8fbc89ccb15a26b445e595b4605df6232ff527

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-14T06:32:32.682623+00:00.

source=arxiv_source observed=2026-08-10T21:18:59.411249Z digest=sha256:74b2e416a43057b903889a4de81e47598e6620b965f652c532f6791b3aca203a

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.

source=arxiv_source observed=2026-08-10T21:18:59.415923Z digest=sha256:eab2631974ecd301db7e0e6e88be45e57848f407286361e7b97b7f79842484e3

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-14T06:32:32.682623+00:00.

source=arxiv_source observed=2026-08-10T21:18:59.430757Z digest=sha256:8203ac4f84f87e58b9f6e8a3118b50b1c1e3e3cd8b956df6fe58b514e3c40fa9

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.

source=arxiv_source observed=2026-08-10T21:18:59.435151Z digest=sha256:69bf85cdaf38b4a330f4f8ea4b263911007a8c64a5f2b7c47876ad4850d4abba

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.

source=arxiv_source observed=2026-08-10T21:18:59.440861Z digest=sha256:6129f5b4fd1370543e367145541e0391084684856353b8d27e2ea67cfe5ea07c

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-14T06:32:32.682623+00:00.

source=arxiv_source observed=2026-08-10T21:18:59.446335Z digest=sha256:56304577a0c6a2a920d761fd7fe3407b1a3da7f28c549ff900a244192612c654

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.

source=arxiv_source observed=2026-08-10T21:18:59.451654Z digest=sha256:619c43637341e19eec7c6f8586262208b8c6aa6210cefaf9bf992a43a5da7255

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.

source=arxiv_source observed=2026-08-10T21:18:59.457793Z digest=sha256:552fe415f9e0d28a9ae0c8bc386f2418a5a28f45b11161ed118c1d76546b2f3d

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.

source=arxiv_source observed=2026-08-10T21:18:59.463191Z digest=sha256:d3b65e95cf4f773b5b25bfa60f91a2b146728a3e2529427ecc450b1d52f3d271

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.

source=arxiv_source observed=2026-08-10T21:18:59.467592Z digest=sha256:10b4da20f8786982dc84ee28e15f734e6fc0ece64a48460c91eb0b4db8bae0aa

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-14T06:32:32.682623+00:00.

source=arxiv_source observed=2026-08-10T21:18:59.472594Z digest=sha256:a3bdfdbe09a91b8c3d65e6c16bb336eae68082cbe842453205a0591b4bc85eaf

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-14T06:32:32.682623+00:00.

source=arxiv_source observed=2026-08-10T21:18:59.477179Z digest=sha256:76879119ec5c463a57cbc92647c980f6e997298da7cbb6560345d40f14b3a9bd

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-14T06:32:32.682623+00:00.

source=arxiv_source observed=2026-08-10T21:18:59.482701Z digest=sha256:3d9ab7caedc799a6b11fff940d7b486d88149f6e79e3fc70fc52419ded4a603d

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-14T06:32:32.682623+00:00.

source=arxiv_source observed=2026-08-10T21:18:59.488300Z digest=sha256:15aaef9f41bac8e6893358ea6e1f53ec60971d3ad414b7a5dfc6cf8df6615c5f

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-14T06:32:32.682623+00:00.

source=arxiv_source observed=2026-08-10T21:18:59.492984Z digest=sha256:134424421166c4abe4328308e2c82d2a7fbfce644471bd4b3ad73c20cfcbc141

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.

source=arxiv_source observed=2026-08-10T21:18:59.497245Z digest=sha256:32f26fe011187c8e3f3fde740c9c83b71b2b0d70dc466bf5c9d01aeb434bd62e

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.

source=arxiv_source observed=2026-08-10T21:18:59.501996Z digest=sha256:bbe0a3829743d0a2773a8d3f19bd916ca54368a213d0ee2a99e92f408d864210

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-14T06:32:32.682623+00:00.

source=arxiv_source observed=2026-08-10T21:18:59.507408Z digest=sha256:7a2c03f7095468d086284ebea4c8eafd535ec37c7456664c530c46e6b8675b6a

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-14T06:32:32.682623+00:00.

source=arxiv_source observed=2026-08-10T21:18:59.512103Z digest=sha256:1819ec28556db40b8e16edb72f7efaa2df9afc4c38a0b8ce71e4741bbab3af2d

Observation 2c85187f-b9ed-40ab-9ed4-182e6e655e7d · outbound

This paper cites H.; Le, Q.

Online Prompt Selection for Program Synthesis 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-14T06:32:32.682623+00:00.

source=arxiv_source observed=2026-08-10T21:18:59.516585Z digest=sha256:e588c8793b59eeff4408029162e755277abd4844dc6f6bae63406c59925f50a8

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-14T06:32:32.682623+00:00.

source=arxiv_source observed=2026-08-10T21:18:59.521463Z digest=sha256:966f84644989c2a088f8c1da179ab54bc48ae1c5e68a349c9e774f486812516b

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.

source=arxiv_source observed=2026-08-10T21:18:59.526104Z digest=sha256:835abe0eee24494d31d57242f771c18c15bd3498996d23f258b9a99df8eebf23

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.

source=arxiv_source observed=2026-08-10T21:18:59.530837Z digest=sha256:368ce295982e34634f7924959aec9a6e3f9a75ad78ef4f07cd2d0489d96111dd

Pith citing papers

No inbound Pith citation observations are available.