{"as_of":"2026-08-04T07:42:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:3f9636f798258423ad651b8225bd06ffcdec217212fdc686fe3cd61398e76438","coverage":[{"denominator":42,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":42,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-17T05:23:04.821980Z","state":"measured"},{"denominator":42,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":42,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-04T06:34:03.388597+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2511.21104/citation-record","integrity":"/paper/2511.21104/integrity","json":"/paper/2511.21104/citation-record.json","paper":"/paper/2511.21104"},"outbound":[{"citation":{"cited_paper":{"arxiv_id":"2108.07732","last_updated":"2021-08-16T03:57:30Z","snapshot_observed_at":"2026-08-02T19:23:53.535075Z","submitted_at":"2021-08-16T03:57:30Z","title":"Program Synthesis with Large Language Models","version":1},"cited_work":{"arxiv_id":"2108.07732","doi":"10.1007/s11390-025-5518-5","metadata_source":"pith","pith_arxiv_id":"2108.07732","snapshot_observed_at":"2026-07-11T11:50:26.030339Z","title":"Program Synthesis with Large Language Models","venue":"cs.PL","work_id":"fd241a05-03b9-4de2-9588-9d77ce176125","year":2021},"citing_paper":{"arxiv_id":"2511.21104","last_updated":"2026-05-14T05:18:06Z","snapshot_observed_at":"2026-07-31T09:16:50.137667Z","submitted_at":"2025-11-26T06:39:19Z","title":"BRIDGE: Building Representations In Domain Guided Program Synthesis","version":4},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-05-17T05:23:04.821980Z"},"links":{"cited_paper":"/paper/2108.07732","citing_paper":"/paper/2511.21104"},"observation_digest":"sha256:f427151f0e757538663be47a49978ada55aa2d740b088bd98e1a648b70ff28ea","observation_id":"1ef5abb6-26ec-4356-8363-c58f0a3958b6","resolution":{"observed_at":"2026-05-17T05:24:04.798218Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"E., DELINE, R., JACOBS, B","venue":null,"work_id":"7d9380b0-f55d-4c15-b6e2-60dba9dd874d","year":2005},"citing_paper":{"arxiv_id":"2511.21104","last_updated":"2026-05-14T05:18:06Z","snapshot_observed_at":"2026-07-31T09:16:50.137667Z","submitted_at":"2025-11-26T06:39:19Z","title":"BRIDGE: Building Representations In Domain Guided Program Synthesis","version":4},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-05-17T05:23:04.821980Z"},"links":{"citing_paper":"/paper/2511.21104"},"observation_digest":"sha256:5f43a6d6a39dd0371a913521f5d00fabac4259d9f8b649831cd12abb251b7b69","observation_id":"a0a7eba2-0f67-4391-8421-032384b479e5","resolution":{"observed_at":"2026-05-17T05:24:05.372068Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"and CASTÉRAN, P","venue":null,"work_id":"2e91e4d2-992d-4d08-9c02-afcbcaab0c9f","year":2013},"citing_paper":{"arxiv_id":"2511.21104","last_updated":"2026-05-14T05:18:06Z","snapshot_observed_at":"2026-07-31T09:16:50.137667Z","submitted_at":"2025-11-26T06:39:19Z","title":"BRIDGE: Building Representations In Domain Guided Program Synthesis","version":4},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-05-17T05:23:04.821980Z"},"links":{"citing_paper":"/paper/2511.21104"},"observation_digest":"sha256:b446a8c40cb626b62e6b699bbb6d3b99d36c45a70d010b465a443158db7ffcc2","observation_id":"0dac31a8-0f3a-4403-a828-f334b81f1547","resolution":{"observed_at":"2026-05-17T05:24:05.394377Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"and PASKEVICH, A","venue":null,"work_id":"375bddc1-09ff-4411-9f9f-8df60e13da52","year":2011},"citing_paper":{"arxiv_id":"2511.21104","last_updated":"2026-05-14T05:18:06Z","snapshot_observed_at":"2026-07-31T09:16:50.137667Z","submitted_at":"2025-11-26T06:39:19Z","title":"BRIDGE: Building Representations In Domain Guided Program Synthesis","version":4},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-05-17T05:23:04.821980Z"},"links":{"citing_paper":"/paper/2511.21104"},"observation_digest":"sha256:6010e2cb62c9fb15f3e3e9930d8d7e3e1fbf01b7396d981dea2bf5294e2e3e54","observation_id":"bb05de85-26bc-4225-8cc7-d57112c31a7e","resolution":{"observed_at":"2026-05-17T05:24:05.402704Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2509.22908","doi":"10.48550/arxiv.2509.22908","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T12:15:01.137692Z","title":"E., KUKOVEC, J., SINGH, A., BUTTERLEY, O., BIZID, A., DOUGHERTY, Q., ZHAO, M., TAN, M","venue":null,"work_id":"457a44cf-6ea7-4a78-810f-636734b005b7","year":2025},"citing_paper":{"arxiv_id":"2511.21104","last_updated":"2026-05-14T05:18:06Z","snapshot_observed_at":"2026-07-31T09:16:50.137667Z","submitted_at":"2025-11-26T06:39:19Z","title":"BRIDGE: Building Representations In Domain Guided Program Synthesis","version":4},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-05-17T05:23:04.821980Z"},"links":{"citing_paper":"/paper/2511.21104"},"observation_digest":"sha256:5d238db82b9ed890ca2ff9bd4b1099a9bdf1f6ef1997bec7f9f5241b3a71b902","observation_id":"f13c6c70-ace9-4c16-9ccb-fefb844eb64b","resolution":{"observed_at":"2026-05-17T05:24:04.819807Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-02T13:08:08.30236+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-02T13:08:08.30236+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2107.03374","last_updated":"2021-07-14T17:16:02Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2021-07-07T17:41:24Z","title":"Evaluating Large Language Models Trained on Code","version":2},"cited_work":{"arxiv_id":"2107.03374","doi":"10.48550/arxiv.2107.03374","metadata_source":"pith","pith_arxiv_id":"2107.03374","snapshot_observed_at":"2026-07-11T03:27:46.202228Z","title":"Evaluating Large Language Models Trained on Code","venue":"cs.LG","work_id":"042493e9-b26f-4b4e-bbde-382072ca9b08","year":2021},"citing_paper":{"arxiv_id":"2511.21104","last_updated":"2026-05-14T05:18:06Z","snapshot_observed_at":"2026-07-31T09:16:50.137667Z","submitted_at":"2025-11-26T06:39:19Z","title":"BRIDGE: Building Representations In Domain Guided Program Synthesis","version":4},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-05-17T05:23:04.821980Z"},"links":{"cited_paper":"/paper/2107.03374","citing_paper":"/paper/2511.21104"},"observation_digest":"sha256:88d6e985d0a43c3c03845f0caf1ce0d99738ec68f201511fa6e79636b7149f00","observation_id":"67ab64ae-faf0-4023-b841-24c03f9f4207","resolution":{"observed_at":"2026-05-17T05:24:04.824355Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-01T08:08:23.404839+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-01T08:08:23.404839+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"64419f2a-22ad-4ab4-9543-cfcc7bbff3d6","year":1996},"citing_paper":{"arxiv_id":"2511.21104","last_updated":"2026-05-14T05:18:06Z","snapshot_observed_at":"2026-07-31T09:16:50.137667Z","submitted_at":"2025-11-26T06:39:19Z","title":"BRIDGE: Building Representations In Domain Guided Program Synthesis","version":4},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-05-17T05:23:04.821980Z"},"links":{"citing_paper":"/paper/2511.21104"},"observation_digest":"sha256:920aa0836f2db3e4a40c25e7730d1dd6bc47d930c7189063a9fb804dfd24d050","observation_id":"4a9c0655-4615-4e98-bbd7-111ebbad2401","resolution":{"observed_at":"2026-05-17T05:24:05.382884Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"andVONRAUMER, J","venue":null,"work_id":"b66161e1-1714-4219-949e-14b51c611c1f","year":2015},"citing_paper":{"arxiv_id":"2511.21104","last_updated":"2026-05-14T05:18:06Z","snapshot_observed_at":"2026-07-31T09:16:50.137667Z","submitted_at":"2025-11-26T06:39:19Z","title":"BRIDGE: Building Representations In Domain Guided Program Synthesis","version":4},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-05-17T05:23:04.821980Z"},"links":{"citing_paper":"/paper/2511.21104"},"observation_digest":"sha256:342e8924258f62cf409b1431f81270076ce7d28e2bdf88684cf24212164f5ae6","observation_id":"58ae1933-973c-4e6b-9e6b-041bed41b14a","resolution":{"observed_at":"2026-05-17T05:24:05.380156Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"10254656-5cda-45f8-9541-a85b1ecb6a85","year":1976},"citing_paper":{"arxiv_id":"2511.21104","last_updated":"2026-05-14T05:18:06Z","snapshot_observed_at":"2026-07-31T09:16:50.137667Z","submitted_at":"2025-11-26T06:39:19Z","title":"BRIDGE: Building Representations In Domain Guided Program Synthesis","version":4},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-05-17T05:23:04.821980Z"},"links":{"citing_paper":"/paper/2511.21104"},"observation_digest":"sha256:fb0d3a5e72830d60cab58b461d1c87e02e7c9b4e4197daca0ae61ec9a3119090","observation_id":"6d162d82-2e93-4e8e-a659-a8c7d7563338","resolution":{"observed_at":"2026-05-17T05:24:05.377294Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"and ZHOU, M","venue":null,"work_id":"2f0ccd51-7678-4fc8-afc9-7265bfe9e6c4","year":2020},"citing_paper":{"arxiv_id":"2511.21104","last_updated":"2026-05-14T05:18:06Z","snapshot_observed_at":"2026-07-31T09:16:50.137667Z","submitted_at":"2025-11-26T06:39:19Z","title":"BRIDGE: Building Representations In Domain Guided Program Synthesis","version":4},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-05-17T05:23:04.821980Z"},"links":{"citing_paper":"/paper/2511.21104"},"observation_digest":"sha256:22c5f4397eebc2c0d857595108a92e52b59aa3989269bda84048b92952c76543","observation_id":"9c5fdd92-0355-4e5e-9300-904efc9f2e47","resolution":{"observed_at":"2026-05-17T05:24:05.413457Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"aab10475-2ead-427e-9a4c-c3feaef849bc","year":1967},"citing_paper":{"arxiv_id":"2511.21104","last_updated":"2026-05-14T05:18:06Z","snapshot_observed_at":"2026-07-31T09:16:50.137667Z","submitted_at":"2025-11-26T06:39:19Z","title":"BRIDGE: Building Representations In Domain Guided Program Synthesis","version":4},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-05-17T05:23:04.821980Z"},"links":{"citing_paper":"/paper/2511.21104"},"observation_digest":"sha256:2217fd3030073da4a878a5d48a6f2bc6f89c48891ddd27bb4f5f2575c93cc920","observation_id":"2094dc5e-852a-45bc-80d8-f66efaee9b61","resolution":{"observed_at":"2026-05-17T05:24:05.405309Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2211.10435","last_updated":"2023-01-27T15:30:27Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2022-11-18T18:56:13Z","title":"PAL: Program-aided Language Models","version":2},"cited_work":{"arxiv_id":"2211.10435","doi":"10.48550/arxiv.2211.10435","metadata_source":"pith","pith_arxiv_id":"2211.10435","snapshot_observed_at":"2026-07-10T06:15:00.866473Z","title":"PAL: Program-aided Language Models","venue":"cs.CL","work_id":"4ed8425e-fa39-4f3b-816a-f312a04d19bb","year":2022},"citing_paper":{"arxiv_id":"2511.21104","last_updated":"2026-05-14T05:18:06Z","snapshot_observed_at":"2026-07-31T09:16:50.137667Z","submitted_at":"2025-11-26T06:39:19Z","title":"BRIDGE: Building Representations In Domain Guided Program Synthesis","version":4},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-05-17T05:23:04.821980Z"},"links":{"cited_paper":"/paper/2211.10435","citing_paper":"/paper/2511.21104"},"observation_digest":"sha256:0096b15d0f3696c02933b72f307b23102beb9b2e27c640ef5786ba81c73bcf1d","observation_id":"4b8bc4a1-bb4b-4feb-8506-c3c2eaea1921","resolution":{"observed_at":"2026-05-17T05:24:04.828608Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"K., CLEMENT, C., DRAIN, D., SUNDARESAN, N., YIN, J., JIANG, D","venue":null,"work_id":"f402b608-4ee6-4c0d-b75a-7508c6200195","year":2021},"citing_paper":{"arxiv_id":"2511.21104","last_updated":"2026-05-14T05:18:06Z","snapshot_observed_at":"2026-07-31T09:16:50.137667Z","submitted_at":"2025-11-26T06:39:19Z","title":"BRIDGE: Building Representations In Domain Guided Program Synthesis","version":4},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-05-17T05:23:04.821980Z"},"links":{"citing_paper":"/paper/2511.21104"},"observation_digest":"sha256:295d01d450eaad17918a6c4704dd77c5dc325991b2d18295820062fac2376cec","observation_id":"162a00be-81cc-4da2-a063-9a28df703a2c","resolution":{"observed_at":"2026-05-17T05:24:05.385927Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"7ae72b8d-e57b-4226-b551-517c978bd7f5","year":1969},"citing_paper":{"arxiv_id":"2511.21104","last_updated":"2026-05-14T05:18:06Z","snapshot_observed_at":"2026-07-31T09:16:50.137667Z","submitted_at":"2025-11-26T06:39:19Z","title":"BRIDGE: Building Representations In Domain Guided Program Synthesis","version":4},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-05-17T05:23:04.821980Z"},"links":{"citing_paper":"/paper/2511.21104"},"observation_digest":"sha256:3f809c330993f2a3ca0796a24c3eae2946e984e3ff3d4df285f9290f0f0af350","observation_id":"6c08b784-33cc-493d-b774-c2ac846407a5","resolution":{"observed_at":"2026-05-17T05:24:05.364142Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"beacbaa6-1d31-4762-a2db-9d0d186db168","year":1971},"citing_paper":{"arxiv_id":"2511.21104","last_updated":"2026-05-14T05:18:06Z","snapshot_observed_at":"2026-07-31T09:16:50.137667Z","submitted_at":"2025-11-26T06:39:19Z","title":"BRIDGE: Building Representations In Domain Guided Program Synthesis","version":4},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-05-17T05:23:04.821980Z"},"links":{"citing_paper":"/paper/2511.21104"},"observation_digest":"sha256:a6b3673d00a11d6ab4a21aee050e4496d46a67edcae9fd6eeae39544fd3acba2","observation_id":"78d08d72-12d0-4534-9e0a-fe954a405017","resolution":{"observed_at":"2026-05-17T05:24:05.399664Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"6e434aa8-6617-4c79-8b41-c24d9161adab","year":1989},"citing_paper":{"arxiv_id":"2511.21104","last_updated":"2026-05-14T05:18:06Z","snapshot_observed_at":"2026-07-31T09:16:50.137667Z","submitted_at":"2025-11-26T06:39:19Z","title":"BRIDGE: Building Representations In Domain Guided Program Synthesis","version":4},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-05-17T05:23:04.821980Z"},"links":{"citing_paper":"/paper/2511.21104"},"observation_digest":"sha256:9664ffbc10dee3c63c15e4bbc4c09569f69b4fa76f91951ab74983fa96d70d4a","observation_id":"c9b6ba9e-989b-4300-8638-328a19965fc5","resolution":{"observed_at":"2026-05-17T05:24:05.366702Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"5576e555-b5e6-4657-b147-10f3cb20e05e","year":2009},"citing_paper":{"arxiv_id":"2511.21104","last_updated":"2026-05-14T05:18:06Z","snapshot_observed_at":"2026-07-31T09:16:50.137667Z","submitted_at":"2025-11-26T06:39:19Z","title":"BRIDGE: Building Representations In Domain Guided Program Synthesis","version":4},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-05-17T05:23:04.821980Z"},"links":{"citing_paper":"/paper/2511.21104"},"observation_digest":"sha256:33b71f2d878de12105409e52f7789c675875f8b425a639446a16e47fbcf3c9a7","observation_id":"e81d8e6b-bf3a-48d7-8604-c1ca37faae31","resolution":{"observed_at":"2026-05-17T05:24:05.408014Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"and HAW- BLITZEL, C","venue":null,"work_id":"58fff7cc-6fb2-4f3b-a91f-cc39351a08dd","year":2023},"citing_paper":{"arxiv_id":"2511.21104","last_updated":"2026-05-14T05:18:06Z","snapshot_observed_at":"2026-07-31T09:16:50.137667Z","submitted_at":"2025-11-26T06:39:19Z","title":"BRIDGE: Building Representations In Domain Guided Program Synthesis","version":4},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-05-17T05:23:04.821980Z"},"links":{"citing_paper":"/paper/2511.21104"},"observation_digest":"sha256:735722c7807ab80be55d399334abee5fba0528f95bae5b3b44336f5e1268bf04","observation_id":"2badc26e-7f7f-47d8-a3ba-e3cff7c194cc","resolution":{"observed_at":"2026-05-17T05:24:05.362002Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"4f911677-c29c-4d28-a66e-9b066bfe7d6d","year":2010},"citing_paper":{"arxiv_id":"2511.21104","last_updated":"2026-05-14T05:18:06Z","snapshot_observed_at":"2026-07-31T09:16:50.137667Z","submitted_at":"2025-11-26T06:39:19Z","title":"BRIDGE: Building Representations In Domain Guided Program Synthesis","version":4},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-05-17T05:23:04.821980Z"},"links":{"citing_paper":"/paper/2511.21104"},"observation_digest":"sha256:baad2e044cf5bff87d32ea81db765ef3e93a09562b6fa9e897991b5001587285","observation_id":"40a1acc6-a268-4ef2-9540-d0d965619226","resolution":{"observed_at":"2026-05-17T05:24:05.391799Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"df693fdc-2343-45d1-aecc-0caf12d8434c","year":2009},"citing_paper":{"arxiv_id":"2511.21104","last_updated":"2026-05-14T05:18:06Z","snapshot_observed_at":"2026-07-31T09:16:50.137667Z","submitted_at":"2025-11-26T06:39:19Z","title":"BRIDGE: Building Representations In Domain Guided Program Synthesis","version":4},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-05-17T05:23:04.821980Z"},"links":{"citing_paper":"/paper/2511.21104"},"observation_digest":"sha256:9a644ff0016090d996bbcd6fa224af026518441a22309df91ba5d5a0c2f4a041","observation_id":"2b654bc8-1195-46ef-b2d3-47f36011f590","resolution":{"observed_at":"2026-05-17T05:24:05.397145Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2406.11915","last_updated":"2024-10-10T16:13:19Z","snapshot_observed_at":"2026-07-06T18:32:28.184208Z","submitted_at":"2024-06-16T21:11:23Z","title":"miniCodeProps: a Minimal Benchmark for Proving Code Properties","version":2},"cited_work":{"arxiv_id":"2406.11915","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2406.11915","snapshot_observed_at":"2026-07-01T21:26:13.999304Z","title":"miniCodeProps: A minimal benchmark for proving code properties","venue":null,"work_id":"cb75711a-c611-4f1c-bdef-cbd99cef34e1","year":2024},"citing_paper":{"arxiv_id":"2511.21104","last_updated":"2026-05-14T05:18:06Z","snapshot_observed_at":"2026-07-31T09:16:50.137667Z","submitted_at":"2025-11-26T06:39:19Z","title":"BRIDGE: Building Representations In Domain Guided Program Synthesis","version":4},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-05-17T05:23:04.821980Z"},"links":{"cited_paper":"/paper/2406.11915","citing_paper":"/paper/2511.21104"},"observation_digest":"sha256:1d131e44494d058e2de39cb3f5937a7d5d54526987589fd83b4a9822256bd879","observation_id":"fc4c65f7-8470-48db-bca8-15ee52964351","resolution":{"observed_at":"2026-05-17T05:24:04.833673Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2406.08467","last_updated":"2024-06-12T17:53:31Z","snapshot_observed_at":"2026-07-06T18:29:49.284504Z","submitted_at":"2024-06-12T17:53:31Z","title":"DafnyBench: A Benchmark for Formal Software Verification","version":1},"cited_work":{"arxiv_id":"2406.08467","doi":"10.48550/arxiv.2406.08467","metadata_source":"pith","pith_arxiv_id":"2406.08467","snapshot_observed_at":"2026-07-10T06:15:00.866473Z","title":"DafnyBench: A benchmark for formal software verification","venue":"cs.SE","work_id":"a976f0b7-700b-463a-a2c1-0c8e407f6662","year":2024},"citing_paper":{"arxiv_id":"2511.21104","last_updated":"2026-05-14T05:18:06Z","snapshot_observed_at":"2026-07-31T09:16:50.137667Z","submitted_at":"2025-11-26T06:39:19Z","title":"BRIDGE: Building Representations In Domain Guided Program Synthesis","version":4},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-05-17T05:23:04.821980Z"},"links":{"cited_paper":"/paper/2406.08467","citing_paper":"/paper/2511.21104"},"observation_digest":"sha256:11986b630ad7d552176bb0a07312965546c637f3abd27aaea059604b59c7e0b1","observation_id":"2bb18b8b-8e5e-478c-a57b-72e3a90876c7","resolution":{"observed_at":"2026-05-17T05:24:04.806937Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2303.17651","last_updated":"2023-05-25T19:13:47Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2023-03-30T18:30:01Z","title":"Self-Refine: Iterative Refinement with Self-Feedback","version":2},"cited_work":{"arxiv_id":"2303.17651","doi":"10.1007/s10664-008-","metadata_source":"pith","pith_arxiv_id":"2303.17651","snapshot_observed_at":"2026-07-11T11:50:26.030339Z","title":"Self-Refine: Iterative Refinement with Self-Feedback","venue":"cs.CL","work_id":"59181e7f-e58e-45d3-8146-4477a9f53d5a","year":2023},"citing_paper":{"arxiv_id":"2511.21104","last_updated":"2026-05-14T05:18:06Z","snapshot_observed_at":"2026-07-31T09:16:50.137667Z","submitted_at":"2025-11-26T06:39:19Z","title":"BRIDGE: Building Representations In Domain Guided Program Synthesis","version":4},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-05-17T05:23:04.821980Z"},"links":{"cited_paper":"/paper/2303.17651","citing_paper":"/paper/2511.21104"},"observation_digest":"sha256:9e368286df793e0a6b175c84e1429196fb83ed3f01dcc181d36a422a309b5a7e","observation_id":"224344d5-b98a-4e19-bbbf-bde58fa5a60d","resolution":{"observed_at":"2026-05-17T05:24:04.810753Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"6e651254-4947-45d2-9bd3-2280966108ec","year":2020},"citing_paper":{"arxiv_id":"2511.21104","last_updated":"2026-05-14T05:18:06Z","snapshot_observed_at":"2026-07-31T09:16:50.137667Z","submitted_at":"2025-11-26T06:39:19Z","title":"BRIDGE: Building Representations In Domain Guided Program Synthesis","version":4},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-05-17T05:23:04.821980Z"},"links":{"citing_paper":"/paper/2511.21104"},"observation_digest":"sha256:29d3feefe4aedbe9b4f57b1ea69547cd2c1d668d80aa0ecf34d4cd7ca992d66b","observation_id":"9302dfb3-3c5a-4bcb-bd13-ed73f5182d9e","resolution":{"observed_at":"2026-05-17T05:24:05.369406Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"and KOYEJO, S","venue":null,"work_id":"28ae0efb-c22c-4752-aa87-5bf3ff4f25cd","year":2025},"citing_paper":{"arxiv_id":"2511.21104","last_updated":"2026-05-14T05:18:06Z","snapshot_observed_at":"2026-07-31T09:16:50.137667Z","submitted_at":"2025-11-26T06:39:19Z","title":"BRIDGE: Building Representations In Domain Guided Program Synthesis","version":4},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-05-17T05:23:04.821980Z"},"links":{"citing_paper":"/paper/2511.21104"},"observation_digest":"sha256:7b5837c7c267f51121a0e06c5e7707bf642ac9e05a084466cd88ae98885ee2a3","observation_id":"654c37e1-1d54-4ac7-87a2-5873008f291c","resolution":{"observed_at":"2026-05-17T05:24:05.359846Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"and YAO, S","venue":null,"work_id":"83c3460f-be78-4b82-833b-7343e3a53e46","year":2023},"citing_paper":{"arxiv_id":"2511.21104","last_updated":"2026-05-14T05:18:06Z","snapshot_observed_at":"2026-07-31T09:16:50.137667Z","submitted_at":"2025-11-26T06:39:19Z","title":"BRIDGE: Building Representations In Domain Guided Program Synthesis","version":4},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-05-17T05:23:04.821980Z"},"links":{"citing_paper":"/paper/2511.21104"},"observation_digest":"sha256:45108db26defe22b4633c946c91e7386f3658209a2d036c13b9c63d58a07820e","observation_id":"d4c26028-6f30-4473-9566-e32eb436ba59","resolution":{"observed_at":"2026-05-17T05:24:05.388801Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2310.17807","last_updated":"2024-11-16T21:57:49Z","snapshot_observed_at":"2026-07-06T16:39:16.652626Z","submitted_at":"2023-10-26T22:58:19Z","title":"Clover: Closed-Loop Verifiable Code Generation","version":4},"cited_work":{"arxiv_id":"2310.17807","doi":"10.48550/arxiv.2310.17807","metadata_source":"arxiv_reference","pith_arxiv_id":"2310.17807","snapshot_observed_at":"2026-07-10T06:15:00.866473Z","title":"Clover: Closed-loop verifiable code generation","venue":null,"work_id":"e9f3eadf-5ce1-4399-9149-c80c017a5982","year":2023},"citing_paper":{"arxiv_id":"2511.21104","last_updated":"2026-05-14T05:18:06Z","snapshot_observed_at":"2026-07-31T09:16:50.137667Z","submitted_at":"2025-11-26T06:39:19Z","title":"BRIDGE: Building Representations In Domain Guided Program Synthesis","version":4},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-05-17T05:23:04.821980Z"},"links":{"cited_paper":"/paper/2310.17807","citing_paper":"/paper/2511.21104"},"observation_digest":"sha256:83063f2c59bb3358462d2a0fdb931251d241217cf7a32aaaf4ef2dfd5ca116d1","observation_id":"1132164b-713c-4fc9-8252-50b86a7c2289","resolution":{"observed_at":"2026-05-17T05:24:04.815466Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2505.13938","doi":"10.48550/arxiv.2505.13938","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T12:15:01.137692Z","title":"CLEVER: A Curated Benchmark for Formally Verified Code Generation","venue":null,"work_id":"cdf41e8b-ef2a-400b-922f-b8e65da9e5d7","year":2025},"citing_paper":{"arxiv_id":"2511.21104","last_updated":"2026-05-14T05:18:06Z","snapshot_observed_at":"2026-07-31T09:16:50.137667Z","submitted_at":"2025-11-26T06:39:19Z","title":"BRIDGE: Building Representations In Domain Guided Program Synthesis","version":4},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-05-17T05:23:04.821980Z"},"links":{"citing_paper":"/paper/2511.21104"},"observation_digest":"sha256:e01d5584e5af498b1e648546208259cfe871d8d410482581521563c68ab418d7","observation_id":"56930809-97e6-4672-8095-0befccf0e02d","resolution":{"observed_at":"2026-05-17T05:24:04.802517Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"f190d9df-909b-482c-865f-68c78d7b2831","year":2018},"citing_paper":{"arxiv_id":"2511.21104","last_updated":"2026-05-14T05:18:06Z","snapshot_observed_at":"2026-07-31T09:16:50.137667Z","submitted_at":"2025-11-26T06:39:19Z","title":"BRIDGE: Building Representations In Domain Guided Program Synthesis","version":4},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-05-17T05:23:04.821980Z"},"links":{"citing_paper":"/paper/2511.21104"},"observation_digest":"sha256:0706e91cc7520fed0d421cef68c675a2dd1a34568c7a6b52df73a289266fde35","observation_id":"dd2d82f0-a5ef-4170-8889-f161508c13b3","resolution":{"observed_at":"2026-05-17T05:24:05.374694Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"and ZHANG, T","venue":null,"work_id":"5904e9f4-1cd3-4c95-a402-e6f3112c8776","year":2024},"citing_paper":{"arxiv_id":"2511.21104","last_updated":"2026-05-14T05:18:06Z","snapshot_observed_at":"2026-07-31T09:16:50.137667Z","submitted_at":"2025-11-26T06:39:19Z","title":"BRIDGE: Building Representations In Domain Guided Program Synthesis","version":4},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-05-17T05:23:04.821980Z"},"links":{"citing_paper":"/paper/2511.21104"},"observation_digest":"sha256:8507cfc65cd48c8d138522a1bc82dc3baddac0c9cf6e04aa7f85ae44b03e90d0","observation_id":"3f732a95-baf7-47e8-be3a-ff187c2074e9","resolution":{"observed_at":"2026-05-17T05:24:05.410496Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2203.11171","last_updated":"2023-03-07T17:57:37Z","snapshot_observed_at":"2026-07-06T12:50:22.773056Z","submitted_at":"2022-03-21T17:48:52Z","title":"Self-Consistency Improves Chain of Thought Reasoning in Language Models","version":4},"cited_work":{"arxiv_id":"2203.11171","doi":"10.1101/2025.04.03.646459","metadata_source":"pith","pith_arxiv_id":"2203.11171","snapshot_observed_at":"2026-07-11T11:50:26.030339Z","title":"Self-Consistency Improves Chain of Thought Reasoning in Language Models","venue":"cs.CL","work_id":"8c6d5a6b-b5cc-4105-9c84-9c34bb9375bb","year":2022},"citing_paper":{"arxiv_id":"2511.21104","last_updated":"2026-05-14T05:18:06Z","snapshot_observed_at":"2026-07-31T09:16:50.137667Z","submitted_at":"2025-11-26T06:39:19Z","title":"BRIDGE: Building Representations In Domain Guided Program Synthesis","version":4},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-05-17T05:23:04.821980Z"},"links":{"cited_paper":"/paper/2203.11171","citing_paper":"/paper/2511.21104"},"observation_digest":"sha256:feb9b019a148b4867dba6e36a6e6afad4ecdd7453308d4362e9532e363611c39","observation_id":"5aaf607f-30d4-439f-815c-a5362a9ea628","resolution":{"observed_at":"2026-05-17T05:24:04.838375Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-05-21T18:52:42.88633+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-21T18:52:42.88633+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2201.11903","last_updated":"2023-01-10T23:07:57Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2022-01-28T02:33:07Z","title":"Chain-of-Thought Prompting Elicits Reasoning in Large Language Models","version":6},"cited_work":{"arxiv_id":"2201.11903","doi":"10.48550/arxiv.2201.11903","metadata_source":"pith","pith_arxiv_id":"2201.11903","snapshot_observed_at":"2026-07-10T21:57:37.821767Z","title":"Chain-of-Thought Prompting Elicits Reasoning in Large Language Models","venue":"cs.CL","work_id":"d1cf6693-a082-403c-ada9-dac7b96341f9","year":2022},"citing_paper":{"arxiv_id":"2511.21104","last_updated":"2026-05-14T05:18:06Z","snapshot_observed_at":"2026-07-31T09:16:50.137667Z","submitted_at":"2025-11-26T06:39:19Z","title":"BRIDGE: Building Representations In Domain Guided Program Synthesis","version":4},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-05-17T05:23:04.821980Z"},"links":{"cited_paper":"/paper/2201.11903","citing_paper":"/paper/2511.21104"},"observation_digest":"sha256:325c347f906e0bb333c3993c33d05e17369b4d346c5e714542ead8706d73b4d1","observation_id":"604fbac8-ba50-46c8-a5b4-c441c4cd460c","resolution":{"observed_at":"2026-05-17T05:24:04.784543Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T01:08:13.648188+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-04T01:08:13.648188+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2404.00762","last_updated":"2024-04-02T05:44:02Z","snapshot_observed_at":"2026-08-03T10:59:58.362641Z","submitted_at":"2024-03-31T18:15:49Z","title":"Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification","version":2},"cited_work":{"arxiv_id":"2404.00762","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2404.00762","snapshot_observed_at":"2026-06-28T23:52:49.333537Z","title":"Enchanting program specification synthesis by large language models using static analysis and program verification","venue":null,"work_id":"08a75c06-eb90-4524-acd9-cd18610ed433","year":2024},"citing_paper":{"arxiv_id":"2511.21104","last_updated":"2026-05-14T05:18:06Z","snapshot_observed_at":"2026-07-31T09:16:50.137667Z","submitted_at":"2025-11-26T06:39:19Z","title":"BRIDGE: Building Representations In Domain Guided Program Synthesis","version":4},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-05-17T05:23:04.821980Z"},"links":{"cited_paper":"/paper/2404.00762","citing_paper":"/paper/2511.21104"},"observation_digest":"sha256:be50f40c1603f199ec3a9451c0c63ea141c289859b4c1485ed63934e991f85fb","observation_id":"3c07e68b-cd3d-4e2c-afca-412b0eb564e8","resolution":{"observed_at":"2026-05-17T05:24:04.775426Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2509.23061","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-04T09:19:44.083626Z","title":"and YUAN, B","venue":null,"work_id":"be07d67a-728d-48a9-87b6-dd55bfc0938d","year":2025},"citing_paper":{"arxiv_id":"2511.21104","last_updated":"2026-05-14T05:18:06Z","snapshot_observed_at":"2026-07-31T09:16:50.137667Z","submitted_at":"2025-11-26T06:39:19Z","title":"BRIDGE: Building Representations In Domain Guided Program Synthesis","version":4},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-05-17T05:23:04.821980Z"},"links":{"citing_paper":"/paper/2511.21104"},"observation_digest":"sha256:c62969a4630874ac30dc0b12608212b499cad4875249d4e62e5f39921d9cd2a3","observation_id":"62ebba55-b954-4f04-a8e7-c836233f8d8e","resolution":{"observed_at":"2026-05-17T05:24:04.789000Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2305.10601","last_updated":"2023-12-03T22:50:35Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2023-05-17T23:16:17Z","title":"Tree of Thoughts: Deliberate Problem Solving with Large Language Models","version":2},"cited_work":{"arxiv_id":"2305.10601","doi":"10.48550/arxiv.2305.10601","metadata_source":"pith","pith_arxiv_id":"2305.10601","snapshot_observed_at":"2026-07-10T06:15:00.866473Z","title":"Tree of Thoughts: Deliberate Problem Solving with Large Language Models","venue":"cs.CL","work_id":"07adb06e-4ed5-4ec5-a7ae-ff288fd214fb","year":2023},"citing_paper":{"arxiv_id":"2511.21104","last_updated":"2026-05-14T05:18:06Z","snapshot_observed_at":"2026-07-31T09:16:50.137667Z","submitted_at":"2025-11-26T06:39:19Z","title":"BRIDGE: Building Representations In Domain Guided Program Synthesis","version":4},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-05-17T05:23:04.821980Z"},"links":{"cited_paper":"/paper/2305.10601","citing_paper":"/paper/2511.21104"},"observation_digest":"sha256:d63674669a42cdf8d4c45cf7f6a7a96f4420b610f0859feabccaf642528a2c5a","observation_id":"dcd85f28-954d-4c9e-bc9c-4a9cf13f10d5","resolution":{"observed_at":"2026-05-17T05:24:04.780403Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T01:08:14.037057+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-04T01:08:14.037057+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"and CAO, Y","venue":null,"work_id":"8477d93d-bd96-48bf-8959-ada8223ff683","year":2023},"citing_paper":{"arxiv_id":"2511.21104","last_updated":"2026-05-14T05:18:06Z","snapshot_observed_at":"2026-07-31T09:16:50.137667Z","submitted_at":"2025-11-26T06:39:19Z","title":"BRIDGE: Building Representations In Domain Guided Program Synthesis","version":4},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-05-17T05:23:04.821980Z"},"links":{"citing_paper":"/paper/2511.21104"},"observation_digest":"sha256:fafcb0f90a492abf9ddc06f94127e867442132b5d671edacc0d1caaa8970a398","observation_id":"7b7831f4-4943-44c8-a2da-bc28714eca6f","resolution":{"observed_at":"2026-05-17T05:24:05.344620Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2505.23135","doi":"10.48550/arxiv.2505.23135","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T12:15:01.137692Z","title":"VERINA: Bench- marking Verifiable Code Generation","venue":null,"work_id":"a11948de-0db3-4ba9-9a9c-ad2a8f304154","year":2025},"citing_paper":{"arxiv_id":"2511.21104","last_updated":"2026-05-14T05:18:06Z","snapshot_observed_at":"2026-07-31T09:16:50.137667Z","submitted_at":"2025-11-26T06:39:19Z","title":"BRIDGE: Building Representations In Domain Guided Program Synthesis","version":4},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-05-17T05:23:04.821980Z"},"links":{"citing_paper":"/paper/2511.21104"},"observation_digest":"sha256:3009e30e4fbeefcd6469f42995cccd46ff7d8f72949678e9871680def0fb24d2","observation_id":"fc102506-bf90-4ced-8ff6-b39a0eef6d92","resolution":{"observed_at":"2026-05-17T05:24:04.793842Z","resolver_source":"arxiv_id","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"932eda7b-1263-4a5a-a03a-caaec43ca28c","year":null},"citing_paper":{"arxiv_id":"2511.21104","last_updated":"2026-05-14T05:18:06Z","snapshot_observed_at":"2026-07-31T09:16:50.137667Z","submitted_at":"2025-11-26T06:39:19Z","title":"BRIDGE: Building Representations In Domain Guided Program Synthesis","version":4},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-05-17T05:23:04.821980Z"},"links":{"citing_paper":"/paper/2511.21104"},"observation_digest":"sha256:6f525ee50be8d3359688be936711a4a9e908931fc9aafad2b2cdac7b7f287f57","observation_id":"068b9483-e4d0-4a91-b0c2-e2ee5e01d74d","resolution":{"observed_at":"2026-05-17T05:24:05.357612Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"b690465c-df86-4222-badd-160e2a0858a9","year":null},"citing_paper":{"arxiv_id":"2511.21104","last_updated":"2026-05-14T05:18:06Z","snapshot_observed_at":"2026-07-31T09:16:50.137667Z","submitted_at":"2025-11-26T06:39:19Z","title":"BRIDGE: Building Representations In Domain Guided Program Synthesis","version":4},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-05-17T05:23:04.821980Z"},"links":{"citing_paper":"/paper/2511.21104"},"observation_digest":"sha256:562b23ea0879bd77c4505361fe5731dbd7fd1a82187831ee57324b780ea0a8c7","observation_id":"376b2684-6679-4d71-a88d-088e97a53eae","resolution":{"observed_at":"2026-05-17T05:24:05.355062Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Each pathway approaches mathematical property identification from different perspectives to ensure comprehensive coverage","venue":null,"work_id":"dbdf5ffb-6baa-4fa6-812e-15ee2c085748","year":null},"citing_paper":{"arxiv_id":"2511.21104","last_updated":"2026-05-14T05:18:06Z","snapshot_observed_at":"2026-07-31T09:16:50.137667Z","submitted_at":"2025-11-26T06:39:19Z","title":"BRIDGE: Building Representations In Domain Guided Program Synthesis","version":4},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-05-17T05:23:04.821980Z"},"links":{"citing_paper":"/paper/2511.21104"},"observation_digest":"sha256:f76158299f04cd87b387912e0780c652e98fc7ce5f8530d0eb6855f3b2d500b9","observation_id":"2e5eaa08-d5d3-499f-aae6-9e8de2d34fb0","resolution":{"observed_at":"2026-05-17T05:24:05.352690Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"3ecd0a2b-3833-4b9f-813d-dad71a804039","year":null},"citing_paper":{"arxiv_id":"2511.21104","last_updated":"2026-05-14T05:18:06Z","snapshot_observed_at":"2026-07-31T09:16:50.137667Z","submitted_at":"2025-11-26T06:39:19Z","title":"BRIDGE: Building Representations In Domain Guided Program Synthesis","version":4},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-05-17T05:23:04.821980Z"},"links":{"citing_paper":"/paper/2511.21104"},"observation_digest":"sha256:bdf15b794950677d5dd861869bc91d388edbd2efc31c341b4004e08e9feebf97","observation_id":"f0af9a5b-aa19-4a30-980a-940bc42f2d1c","resolution":{"observed_at":"2026-05-17T05:24:05.347200Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"intersection_analysis","venue":null,"work_id":"97125a37-fdf1-426b-9a3a-c21fd20dd772","year":null},"citing_paper":{"arxiv_id":"2511.21104","last_updated":"2026-05-14T05:18:06Z","snapshot_observed_at":"2026-07-31T09:16:50.137667Z","submitted_at":"2025-11-26T06:39:19Z","title":"BRIDGE: Building Representations In Domain Guided Program Synthesis","version":4},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-05-17T05:23:04.821980Z"},"links":{"citing_paper":"/paper/2511.21104"},"observation_digest":"sha256:a7360c8e72045b53dda3eb365b10b8ba6f2ca52c9978ead6e660620fa104a105","observation_id":"c45bc769-0d6f-41f7-863e-6c499ba80b93","resolution":{"observed_at":"2026-05-17T05:24:05.349723Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2511.21104","last_updated":"2026-05-14T05:18:06Z","latest_version":4,"primary_category":"cs.LG","snapshot_observed_at":"2026-07-31T09:16:50.137667Z","submitted_at":"2025-11-26T06:39:19Z","title":"BRIDGE: Building Representations In Domain Guided Program Synthesis"},"reference_resolution":{"displayed":42,"state_counts":{"malformed_identifier":1,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":14,"verified_exact":13,"verified_fuzzy":13},"total_outbound_references":42},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"thesis":"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."}