Paper Citation Record · LEDGER

BRIDGE: Building Representations In Domain Guided Program Synthesis

As of 4 August 2026, this Paper Citation Record lists 42 of 42 outbound references and 0 inbound Pith citation observations for arXiv:2511.21104.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2511.21104 v4

Coverage vector

measured 42 of 42 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-05-17T05:23:04.821980Z

measured 42 of 42 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-03T06:30:56.289259+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

42 of 42 outbound references displayed

verified exact13
verified fuzzy13
unresolved14
parse uncertain0
malformed identifier1
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 1ef5abb6-26ec-4356-8363-c58f0a3958b6 · outbound

This paper cites Program Synthesis with Large Language Models.

BRIDGE: Building Representations In Domain Guided Program Synthesis Program Synthesis with Large Language Models

Reference 1

Resolution: verified exact; local_arxiv, observed 2026-05-17T05:24:04.798218Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation a0a7eba2-0f67-4391-8421-032384b479e5 · outbound

This paper cites E., DELINE, R., JACOBS, B.

BRIDGE: Building Representations In Domain Guided Program Synthesis E., DELINE, R., JACOBS, B

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-05-17T05:24:05.372068Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 0dac31a8-0f3a-4403-a828-f334b81f1547 · outbound

This paper cites and CASTÉRAN, P.

BRIDGE: Building Representations In Domain Guided Program Synthesis and CASTÉRAN, P

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-05-17T05:24:05.394377Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation bb05de85-26bc-4225-8cc7-d57112c31a7e · outbound

This paper cites and PASKEVICH, A.

BRIDGE: Building Representations In Domain Guided Program Synthesis and PASKEVICH, A

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-05-17T05:24:05.402704Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation f13c6c70-ace9-4c16-9ccb-fefb844eb64b · outbound

This paper cites E., KUKOVEC, J., SINGH, A., BUTTERLEY, O., BIZID, A., DOUGHERTY, Q., ZHAO, M., TAN, M.

BRIDGE: Building Representations In Domain Guided Program Synthesis E., KUKOVEC, J., SINGH, A., BUTTERLEY, O., BIZID, A., DOUGHERTY, Q., ZHAO, M., TAN, M

Reference 5

Resolution: verified exact; arxiv_id, observed 2026-05-17T05:24:04.819807Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 67ab64ae-faf0-4023-b841-24c03f9f4207 · outbound

This paper cites Evaluating Large Language Models Trained on Code.

BRIDGE: Building Representations In Domain Guided Program Synthesis Evaluating Large Language Models Trained on Code

Reference 6

Resolution: verified exact; local_arxiv, observed 2026-05-17T05:24:04.824355Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 4a9c0655-4615-4e98-bbd7-111ebbad2401 · outbound

This paper cites an unresolved cited work.

BRIDGE: Building Representations In Domain Guided Program Synthesis Unresolved cited work

Reference 7

Resolution: unresolved; raw_fallback, observed 2026-05-17T05:24:05.382884Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 58ae1933-973c-4e6b-9e6b-041bed41b14a · outbound

This paper cites andVONRAUMER, J.

BRIDGE: Building Representations In Domain Guided Program Synthesis andVONRAUMER, J

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-05-17T05:24:05.380156Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 6d162d82-2e93-4e8e-a659-a8c7d7563338 · outbound

This paper cites an unresolved cited work.

BRIDGE: Building Representations In Domain Guided Program Synthesis Unresolved cited work

Reference 9

Resolution: unresolved; raw_fallback, observed 2026-05-17T05:24:05.377294Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 9c5fdd92-0355-4e5e-9300-904efc9f2e47 · outbound

This paper cites and ZHOU, M.

BRIDGE: Building Representations In Domain Guided Program Synthesis and ZHOU, M

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-05-17T05:24:05.413457Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 2094dc5e-852a-45bc-80d8-f66efaee9b61 · outbound

This paper cites an unresolved cited work.

BRIDGE: Building Representations In Domain Guided Program Synthesis Unresolved cited work

Reference 11

Resolution: unresolved; raw_fallback, observed 2026-05-17T05:24:05.405309Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 4b8bc4a1-bb4b-4feb-8506-c3c2eaea1921 · outbound

This paper cites PAL: Program-aided Language Models.

BRIDGE: Building Representations In Domain Guided Program Synthesis PAL: Program-aided Language Models

Reference 12

Resolution: verified exact; local_arxiv, observed 2026-05-17T05:24:04.828608Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 162a00be-81cc-4da2-a063-9a28df703a2c · outbound

This paper cites K., CLEMENT, C., DRAIN, D., SUNDARESAN, N., YIN, J., JIANG, D.

BRIDGE: Building Representations In Domain Guided Program Synthesis K., CLEMENT, C., DRAIN, D., SUNDARESAN, N., YIN, J., JIANG, D

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-05-17T05:24:05.385927Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 6c08b784-33cc-493d-b774-c2ac846407a5 · outbound

This paper cites an unresolved cited work.

BRIDGE: Building Representations In Domain Guided Program Synthesis Unresolved cited work

Reference 14

Resolution: unresolved; raw_fallback, observed 2026-05-17T05:24:05.364142Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 78d08d72-12d0-4534-9e0a-fe954a405017 · outbound

This paper cites an unresolved cited work.

BRIDGE: Building Representations In Domain Guided Program Synthesis Unresolved cited work

Reference 15

Resolution: unresolved; raw_fallback, observed 2026-05-17T05:24:05.399664Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation c9b6ba9e-989b-4300-8638-328a19965fc5 · outbound

This paper cites an unresolved cited work.

BRIDGE: Building Representations In Domain Guided Program Synthesis Unresolved cited work

Reference 16

Resolution: unresolved; raw_fallback, observed 2026-05-17T05:24:05.366702Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation e81d8e6b-bf3a-48d7-8604-c1ca37faae31 · outbound

This paper cites an unresolved cited work.

BRIDGE: Building Representations In Domain Guided Program Synthesis Unresolved cited work

Reference 17

Resolution: unresolved; raw_fallback, observed 2026-05-17T05:24:05.408014Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 2badc26e-7f7f-47d8-a3ba-e3cff7c194cc · outbound

This paper cites and HAW- BLITZEL, C.

BRIDGE: Building Representations In Domain Guided Program Synthesis and HAW- BLITZEL, C

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-05-17T05:24:05.362002Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 40a1acc6-a268-4ef2-9540-d0d965619226 · outbound

This paper cites an unresolved cited work.

BRIDGE: Building Representations In Domain Guided Program Synthesis Unresolved cited work

Reference 19

Resolution: unresolved; raw_fallback, observed 2026-05-17T05:24:05.391799Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 2b654bc8-1195-46ef-b2d3-47f36011f590 · outbound

This paper cites an unresolved cited work.

BRIDGE: Building Representations In Domain Guided Program Synthesis Unresolved cited work

Reference 20

Resolution: unresolved; raw_fallback, observed 2026-05-17T05:24:05.397145Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation fc4c65f7-8470-48db-bca8-15ee52964351 · outbound

This paper cites miniCodeProps: a Minimal Benchmark for Proving Code Properties.

BRIDGE: Building Representations In Domain Guided Program Synthesis miniCodeProps: a Minimal Benchmark for Proving Code Properties

Reference 21

Resolution: verified exact; arxiv_id, observed 2026-05-17T05:24:04.833673Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 2bb18b8b-8e5e-478c-a57b-72e3a90876c7 · outbound

This paper cites DafnyBench: A Benchmark for Formal Software Verification.

BRIDGE: Building Representations In Domain Guided Program Synthesis DafnyBench: A Benchmark for Formal Software Verification

Reference 22

Resolution: verified exact; arxiv_id, observed 2026-05-17T05:24:04.806937Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 224344d5-b98a-4e19-bbbf-bde58fa5a60d · outbound

This paper cites Self-Refine: Iterative Refinement with Self-Feedback.

BRIDGE: Building Representations In Domain Guided Program Synthesis Self-Refine: Iterative Refinement with Self-Feedback

Reference 23

Resolution: metadata mismatch; local_arxiv, observed 2026-05-17T05:24:04.810753Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 9302dfb3-3c5a-4bcb-bd13-ed73f5182d9e · outbound

This paper cites an unresolved cited work.

BRIDGE: Building Representations In Domain Guided Program Synthesis Unresolved cited work

Reference 24

Resolution: unresolved; raw_fallback, observed 2026-05-17T05:24:05.369406Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 654c37e1-1d54-4ac7-87a2-5873008f291c · outbound

This paper cites and KOYEJO, S.

BRIDGE: Building Representations In Domain Guided Program Synthesis and KOYEJO, S

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-05-17T05:24:05.359846Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation d4c26028-6f30-4473-9566-e32eb436ba59 · outbound

This paper cites and YAO, S.

BRIDGE: Building Representations In Domain Guided Program Synthesis and YAO, S

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-05-17T05:24:05.388801Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 1132164b-713c-4fc9-8252-50b86a7c2289 · outbound

This paper cites Clover: Closed-Loop Verifiable Code Generation.

BRIDGE: Building Representations In Domain Guided Program Synthesis Clover: Closed-Loop Verifiable Code Generation

Reference 27

Resolution: verified exact; arxiv_id, observed 2026-05-17T05:24:04.815466Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 56930809-97e6-4672-8095-0befccf0e02d · outbound

This paper cites CLEVER: A Curated Benchmark for Formally Verified Code Generation.

BRIDGE: Building Representations In Domain Guided Program Synthesis CLEVER: A Curated Benchmark for Formally Verified Code Generation

Reference 28

Resolution: verified exact; arxiv_id, observed 2026-05-17T05:24:04.802517Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation dd2d82f0-a5ef-4170-8889-f161508c13b3 · outbound

This paper cites an unresolved cited work.

BRIDGE: Building Representations In Domain Guided Program Synthesis Unresolved cited work

Reference 29

Resolution: unresolved; raw_fallback, observed 2026-05-17T05:24:05.374694Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 3f732a95-baf7-47e8-be3a-ff187c2074e9 · outbound

This paper cites and ZHANG, T.

BRIDGE: Building Representations In Domain Guided Program Synthesis and ZHANG, T

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-05-17T05:24:05.410496Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 5aaf607f-30d4-439f-815c-a5362a9ea628 · outbound

This paper cites Self-Consistency Improves Chain of Thought Reasoning in Language Models.

BRIDGE: Building Representations In Domain Guided Program Synthesis Self-Consistency Improves Chain of Thought Reasoning in Language Models

Reference 31

Resolution: verified exact; local_arxiv, observed 2026-05-17T05:24:04.838375Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 604fbac8-ba50-46c8-a5b4-c441c4cd460c · outbound

This paper cites Chain-of-Thought Prompting Elicits Reasoning in Large Language Models.

BRIDGE: Building Representations In Domain Guided Program Synthesis Chain-of-Thought Prompting Elicits Reasoning in Large Language Models

Reference 32

Resolution: verified exact; local_arxiv, observed 2026-05-17T05:24:04.784543Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T01:08:13.648188+00:00.

Observation 3c07e68b-cd3d-4e2c-afca-412b0eb564e8 · outbound

This paper cites Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification.

BRIDGE: Building Representations In Domain Guided Program Synthesis Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification

Reference 33

Resolution: verified exact; arxiv_id, observed 2026-05-17T05:24:04.775426Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 62ebba55-b954-4f04-a8e7-c836233f8d8e · outbound

This paper cites and YUAN, B.

BRIDGE: Building Representations In Domain Guided Program Synthesis and YUAN, B

Reference 34

Resolution: verified exact; arxiv_id, observed 2026-05-17T05:24:04.789000Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation dcd85f28-954d-4c9e-bc9c-4a9cf13f10d5 · outbound

This paper cites Tree of Thoughts: Deliberate Problem Solving with Large Language Models.

BRIDGE: Building Representations In Domain Guided Program Synthesis Tree of Thoughts: Deliberate Problem Solving with Large Language Models

Reference 35

Resolution: verified exact; local_arxiv, observed 2026-05-17T05:24:04.780403Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T01:08:14.037057+00:00.

Observation 7b7831f4-4943-44c8-a2da-bc28714eca6f · outbound

This paper cites and CAO, Y.

BRIDGE: Building Representations In Domain Guided Program Synthesis and CAO, Y

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-05-17T05:24:05.344620Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation fc102506-bf90-4ced-8ff6-b39a0eef6d92 · outbound

This paper cites VERINA: Bench- marking Verifiable Code Generation.

BRIDGE: Building Representations In Domain Guided Program Synthesis VERINA: Bench- marking Verifiable Code Generation

Reference 37

Resolution: malformed identifier; arxiv_id, observed 2026-05-17T05:24:04.793842Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 068b9483-e4d0-4a91-b0c2-e2ee5e01d74d · outbound

This paper cites an unresolved cited work.

BRIDGE: Building Representations In Domain Guided Program Synthesis Unresolved cited work

Reference 38

Resolution: unresolved; raw_fallback, observed 2026-05-17T05:24:05.357612Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 376b2684-6679-4d71-a88d-088e97a53eae · outbound

This paper cites an unresolved cited work.

BRIDGE: Building Representations In Domain Guided Program Synthesis Unresolved cited work

Reference 39

Resolution: unresolved; raw_fallback, observed 2026-05-17T05:24:05.355062Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 2e5eaa08-d5d3-499f-aae6-9e8de2d34fb0 · outbound

This paper cites Each pathway approaches mathematical property identification from different perspectives to ensure comprehensive coverage.

BRIDGE: Building Representations In Domain Guided Program Synthesis Each pathway approaches mathematical property identification from different perspectives to ensure comprehensive coverage

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-05-17T05:24:05.352690Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation f0af9a5b-aa19-4a30-980a-940bc42f2d1c · outbound

This paper cites an unresolved cited work.

BRIDGE: Building Representations In Domain Guided Program Synthesis Unresolved cited work

Reference 41

Resolution: unresolved; raw_fallback, observed 2026-05-17T05:24:05.347200Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation c45bc769-0d6f-41f7-863e-6c499ba80b93 · outbound

This paper cites intersection_analysis.

BRIDGE: Building Representations In Domain Guided Program Synthesis intersection_analysis

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-05-17T05:24:05.349723Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Pith citing papers

No inbound Pith citation observations are available.