{"as_of":"2026-08-19T19:50:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:53d36abc0e7d88effcca0f467573a2a5dccd1e9da14a2281a2acddc735855964","coverage":[{"denominator":25,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":25,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-16T00:59:55.910482Z","state":"measured"},{"denominator":25,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":25,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-19T06:32:44.657259+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/2505.02275/citation-record","integrity":"/paper/2505.02275/integrity","json":"/paper/2505.02275/citation-record.json","paper":"/paper/2505.02275"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T00:59:56.159168Z","title":null,"venue":null,"work_id":"5f931b66-d7ff-4774-b0d8-96d45496fcf0","year":2024},"citing_paper":{"arxiv_id":"2505.02275","last_updated":"2025-05-04T22:10:21Z","snapshot_observed_at":"2026-08-18T12:11:26.543144Z","submitted_at":"2025-05-04T22:10:21Z","title":"A Path Less Traveled: Reimagining Software Engineering Automation via a Neurosymbolic Paradigm","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-16T00:59:55.819031Z"},"links":{"citing_paper":"/paper/2505.02275"},"observation_digest":"sha256:0788e21a1fa797d600ed6835155efb8f7dbb6ae9c06aa89db993f25c49ac8a70","observation_id":"bcb67d48-e49a-4a0d-9230-79343c30743b","resolution":{"observed_at":"2026-08-16T00:59:56.162606Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-08-16T00:59:56.148129Z","title":null,"venue":null,"work_id":"d8706c92-f417-42b8-ae86-09926c6cff42","year":null},"citing_paper":{"arxiv_id":"2505.02275","last_updated":"2025-05-04T22:10:21Z","snapshot_observed_at":"2026-08-18T12:11:26.543144Z","submitted_at":"2025-05-04T22:10:21Z","title":"A Path Less Traveled: Reimagining Software Engineering Automation via a Neurosymbolic Paradigm","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-16T00:59:55.823018Z"},"links":{"citing_paper":"/paper/2505.02275"},"observation_digest":"sha256:d9f4ea79beab3577f98f227d71585959d0e42e0e469692d8282c56d2dd9f5255","observation_id":"a87e78c7-5bbf-40b7-b865-ac8ec95da06f","resolution":{"observed_at":"2026-08-16T00:59:56.151889Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-08-16T00:59:56.138121Z","title":null,"venue":null,"work_id":"af62a460-85f1-45ce-8bc9-e7b2b4a3cc7a","year":2024},"citing_paper":{"arxiv_id":"2505.02275","last_updated":"2025-05-04T22:10:21Z","snapshot_observed_at":"2026-08-18T12:11:26.543144Z","submitted_at":"2025-05-04T22:10:21Z","title":"A Path Less Traveled: Reimagining Software Engineering Automation via a Neurosymbolic Paradigm","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-16T00:59:55.826657Z"},"links":{"citing_paper":"/paper/2505.02275"},"observation_digest":"sha256:5eb71f899bc9875e5b4f643e52f096784b707167957efef80fb4100a8c197cbe","observation_id":"1d2af0eb-66d0-4f89-9f48-5ddbe6aedf4c","resolution":{"observed_at":"2026-08-16T00:59:56.141427Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2303.08774","last_updated":"2024-03-04T06:01:33Z","snapshot_observed_at":"2026-08-17T09:58:46.058102Z","submitted_at":"2023-03-15T17:15:04Z","title":"GPT-4 Technical Report","version":6},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.08774","snapshot_observed_at":"2026-08-16T00:59:55.830307Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.02275","last_updated":"2025-05-04T22:10:21Z","snapshot_observed_at":"2026-08-18T12:11:26.543144Z","submitted_at":"2025-05-04T22:10:21Z","title":"A Path Less Traveled: Reimagining Software Engineering Automation via a Neurosymbolic Paradigm","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-16T00:59:55.830307Z"},"links":{"cited_paper":"/paper/2303.08774","citing_paper":"/paper/2505.02275"},"observation_digest":"sha256:4fbae4d212d657023376dfdfe65b29e764692b469dcac440d5a6721221de12bc","observation_id":"742ef42a-e5d1-4de4-a5a1-809f7c1848b1","resolution":{"observed_at":"2026-08-16T00:59:55.830307Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T00:59:56.126935Z","title":null,"venue":null,"work_id":"907daeb4-0780-444c-b445-341aae7d5a82","year":2017},"citing_paper":{"arxiv_id":"2505.02275","last_updated":"2025-05-04T22:10:21Z","snapshot_observed_at":"2026-08-18T12:11:26.543144Z","submitted_at":"2025-05-04T22:10:21Z","title":"A Path Less Traveled: Reimagining Software Engineering Automation via a Neurosymbolic Paradigm","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-16T00:59:55.833945Z"},"links":{"citing_paper":"/paper/2505.02275"},"observation_digest":"sha256:ba83765bae4df3af77536215d87a9330c1191ff6681f4d17d237a47245d8a7ef","observation_id":"deb3a827-99ef-43c8-8f49-5a23f9cd5891","resolution":{"observed_at":"2026-08-16T00:59:56.131020Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-08-16T00:59:56.117263Z","title":null,"venue":null,"work_id":"61496aec-419f-43ca-a5c4-0c99d22c2c90","year":2025},"citing_paper":{"arxiv_id":"2505.02275","last_updated":"2025-05-04T22:10:21Z","snapshot_observed_at":"2026-08-18T12:11:26.543144Z","submitted_at":"2025-05-04T22:10:21Z","title":"A Path Less Traveled: Reimagining Software Engineering Automation via a Neurosymbolic Paradigm","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-16T00:59:55.838145Z"},"links":{"citing_paper":"/paper/2505.02275"},"observation_digest":"sha256:eab51b032af6ffccda84e54373549eaaba9ad72d4acca5ef0ba483662f30bac5","observation_id":"82e0fcd2-21f2-4d05-9e9c-dcabedae1e59","resolution":{"observed_at":"2026-08-16T00:59:56.120787Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-08-16T00:59:56.106095Z","title":null,"venue":null,"work_id":"52f233d2-0729-419b-8c50-1e2a4a3e9d24","year":2024},"citing_paper":{"arxiv_id":"2505.02275","last_updated":"2025-05-04T22:10:21Z","snapshot_observed_at":"2026-08-18T12:11:26.543144Z","submitted_at":"2025-05-04T22:10:21Z","title":"A Path Less Traveled: Reimagining Software Engineering Automation via a Neurosymbolic Paradigm","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-16T00:59:55.842124Z"},"links":{"citing_paper":"/paper/2505.02275"},"observation_digest":"sha256:435e0f013980a89643eb9b5ed3c41e9f8133099f1a2008ac55baf735dd44ed3c","observation_id":"6c05b9fb-5e8f-4964-9128-5f3d2c17f2fa","resolution":{"observed_at":"2026-08-16T00:59:56.109974Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2406.11931","last_updated":"2024-06-17T13:51:35Z","snapshot_observed_at":"2026-08-14T04:42:19.578053Z","submitted_at":"2024-06-17T13:51:35Z","title":"DeepSeek-Coder-V2: Breaking the Barrier of Closed-Source Models in Code Intelligence","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.11931","snapshot_observed_at":"2026-08-16T00:59:55.846179Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.02275","last_updated":"2025-05-04T22:10:21Z","snapshot_observed_at":"2026-08-18T12:11:26.543144Z","submitted_at":"2025-05-04T22:10:21Z","title":"A Path Less Traveled: Reimagining Software Engineering Automation via a Neurosymbolic Paradigm","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-16T00:59:55.846179Z"},"links":{"cited_paper":"/paper/2406.11931","citing_paper":"/paper/2505.02275"},"observation_digest":"sha256:780e4418c89bbe3e1d2f94781c5a295abcfc3a6f2dec117e0e141a4530925c45","observation_id":"7f2ca511-fa46-4d8a-bebc-860832282ae4","resolution":{"observed_at":"2026-08-16T00:59:55.846179Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1710.11054","last_updated":"2017-10-30T16:32:45Z","snapshot_observed_at":"2026-08-14T20:18:51.313058Z","submitted_at":"2017-10-30T16:32:45Z","title":"Semantic Code Repair using Neuro-Symbolic Transformation Networks","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1710.11054","snapshot_observed_at":"2026-08-16T00:59:55.850160Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2505.02275","last_updated":"2025-05-04T22:10:21Z","snapshot_observed_at":"2026-08-18T12:11:26.543144Z","submitted_at":"2025-05-04T22:10:21Z","title":"A Path Less Traveled: Reimagining Software Engineering Automation via a Neurosymbolic Paradigm","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-16T00:59:55.850160Z"},"links":{"cited_paper":"/paper/1710.11054","citing_paper":"/paper/2505.02275"},"observation_digest":"sha256:27aa26e08ad8d1d0e3d7d978e6dde214b96d65ee250a968d9cceb1e80c435d55","observation_id":"e7a81a27-48e3-4efd-a2dd-ecac7993a6a3","resolution":{"observed_at":"2026-08-16T00:59:55.850160Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2204.05999","last_updated":"2023-04-09T14:31:40Z","snapshot_observed_at":"2026-08-13T02:34:38.117682Z","submitted_at":"2022-04-12T16:25:26Z","title":"InCoder: A Generative Model for Code Infilling and Synthesis","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2204.05999","snapshot_observed_at":"2026-08-16T00:59:55.853860Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2505.02275","last_updated":"2025-05-04T22:10:21Z","snapshot_observed_at":"2026-08-18T12:11:26.543144Z","submitted_at":"2025-05-04T22:10:21Z","title":"A Path Less Traveled: Reimagining Software Engineering Automation via a Neurosymbolic Paradigm","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-16T00:59:55.853860Z"},"links":{"cited_paper":"/paper/2204.05999","citing_paper":"/paper/2505.02275"},"observation_digest":"sha256:1116503812a5a47274b64b6a02247d307a62550fd821ed0eda65631b7bf0493a","observation_id":"0b4fa81f-b345-4ab5-892d-51fc6883e86c","resolution":{"observed_at":"2026-08-16T00:59:55.853860Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T00:59:56.095522Z","title":null,"venue":null,"work_id":"75569450-9948-4518-939f-3c1363e7bd4a","year":2008},"citing_paper":{"arxiv_id":"2505.02275","last_updated":"2025-05-04T22:10:21Z","snapshot_observed_at":"2026-08-18T12:11:26.543144Z","submitted_at":"2025-05-04T22:10:21Z","title":"A Path Less Traveled: Reimagining Software Engineering Automation via a Neurosymbolic Paradigm","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-16T00:59:55.857441Z"},"links":{"citing_paper":"/paper/2505.02275"},"observation_digest":"sha256:dfddacc2384cec3548c1b611221491a4385883ca68d2be0c7d25bfcc5847a27c","observation_id":"5ba1685d-c1fc-4005-b66e-fd2a441a5c3f","resolution":{"observed_at":"2026-08-16T00:59:56.099017Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T00:59:55.860611Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.02275","last_updated":"2025-05-04T22:10:21Z","snapshot_observed_at":"2026-08-18T12:11:26.543144Z","submitted_at":"2025-05-04T22:10:21Z","title":"A Path Less Traveled: Reimagining Software Engineering Automation via a Neurosymbolic Paradigm","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-16T00:59:55.860611Z"},"links":{"citing_paper":"/paper/2505.02275"},"observation_digest":"sha256:b42f3397d0a935b744132669b88526dfb27ebb6af5b3b2ac969120346678d151","observation_id":"230aaf5d-9389-4ddc-af04-f0f8d3f43df6","resolution":{"observed_at":"2026-08-16T00:59:55.860611Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2204.06643","last_updated":"2022-04-13T21:39:01Z","snapshot_observed_at":"2026-08-16T17:07:05.181946Z","submitted_at":"2022-04-13T21:39:01Z","title":"Fix Bugs with Transformer through a Neural-Symbolic Edit Grammar","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2204.06643","snapshot_observed_at":"2026-08-16T00:59:55.863711Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2505.02275","last_updated":"2025-05-04T22:10:21Z","snapshot_observed_at":"2026-08-18T12:11:26.543144Z","submitted_at":"2025-05-04T22:10:21Z","title":"A Path Less Traveled: Reimagining Software Engineering Automation via a Neurosymbolic Paradigm","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-16T00:59:55.863711Z"},"links":{"cited_paper":"/paper/2204.06643","citing_paper":"/paper/2505.02275"},"observation_digest":"sha256:9f11bd7bea85d1ae2cad66bce0095868826a80c47ceb8417e0dcfb40415cc867","observation_id":"73275f52-bfab-4c47-84a1-93c5cf8ecfe5","resolution":{"observed_at":"2026-08-16T00:59:55.863711Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2306.06755","last_updated":"2024-10-30T17:22:41Z","snapshot_observed_at":"2026-08-17T03:26:31.887216Z","submitted_at":"2023-06-11T19:47:52Z","title":"CoTran: An LLM-based Code Translator using Reinforcement Learning with Feedback from Compiler and Symbolic Execution","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2306.06755","snapshot_observed_at":"2026-08-16T00:59:55.867512Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.02275","last_updated":"2025-05-04T22:10:21Z","snapshot_observed_at":"2026-08-18T12:11:26.543144Z","submitted_at":"2025-05-04T22:10:21Z","title":"A Path Less Traveled: Reimagining Software Engineering Automation via a Neurosymbolic Paradigm","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-16T00:59:55.867512Z"},"links":{"cited_paper":"/paper/2306.06755","citing_paper":"/paper/2505.02275"},"observation_digest":"sha256:d96a1081ebb8dd2a33790ab973947b385663030baba31e9a22155a15d52f0573","observation_id":"f8022a72-b515-46f6-b177-1232176d0362","resolution":{"observed_at":"2026-08-16T00:59:55.867512Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2412.19437","last_updated":"2025-02-18T17:26:38Z","snapshot_observed_at":"2026-08-18T18:18:37.449517Z","submitted_at":"2024-12-27T04:03:16Z","title":"DeepSeek-V3 Technical Report","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.19437","snapshot_observed_at":"2026-08-16T00:59:55.871185Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.02275","last_updated":"2025-05-04T22:10:21Z","snapshot_observed_at":"2026-08-18T12:11:26.543144Z","submitted_at":"2025-05-04T22:10:21Z","title":"A Path Less Traveled: Reimagining Software Engineering Automation via a Neurosymbolic Paradigm","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-16T00:59:55.871185Z"},"links":{"cited_paper":"/paper/2412.19437","citing_paper":"/paper/2505.02275"},"observation_digest":"sha256:0dfc5bb578318159b87b2301c249239c5b409a3314f918847f7c4d899fc3b760","observation_id":"1562d80f-1fd3-42a1-99ef-c319b7c84931","resolution":{"observed_at":"2026-08-16T00:59:55.871185Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.19173","last_updated":"2024-02-29T13:53:35Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2024-02-29T13:53:35Z","title":"StarCoder 2 and The Stack v2: The Next Generation","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.19173","snapshot_observed_at":"2026-08-16T00:59:55.874991Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.02275","last_updated":"2025-05-04T22:10:21Z","snapshot_observed_at":"2026-08-18T12:11:26.543144Z","submitted_at":"2025-05-04T22:10:21Z","title":"A Path Less Traveled: Reimagining Software Engineering Automation via a Neurosymbolic Paradigm","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-16T00:59:55.874991Z"},"links":{"cited_paper":"/paper/2402.19173","citing_paper":"/paper/2505.02275"},"observation_digest":"sha256:20027fc7a5cfed9b8467d2774ea990152d201cd24ed935f410077fb5461d49ba","observation_id":"85b72206-0f9d-43d1-8fc4-1e2c99abb7b5","resolution":{"observed_at":"2026-08-16T00:59:55.874991Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1611.01855","last_updated":"2016-11-06T22:23:56Z","snapshot_observed_at":"2026-08-14T21:31:44.393603Z","submitted_at":"2016-11-06T22:23:56Z","title":"Neuro-Symbolic Program Synthesis","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1611.01855","snapshot_observed_at":"2026-08-16T00:59:55.879036Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2505.02275","last_updated":"2025-05-04T22:10:21Z","snapshot_observed_at":"2026-08-18T12:11:26.543144Z","submitted_at":"2025-05-04T22:10:21Z","title":"A Path Less Traveled: Reimagining Software Engineering Automation via a Neurosymbolic Paradigm","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-16T00:59:55.879036Z"},"links":{"cited_paper":"/paper/1611.01855","citing_paper":"/paper/2505.02275"},"observation_digest":"sha256:8106991531cf11d6b7d94fefbec21aa7b9df3e852617ab1e04b31b8a588557a7","observation_id":"3bcc7205-f6ef-4e79-9225-ee4d3bd19df8","resolution":{"observed_at":"2026-08-16T00:59:55.879036Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2408.13888","last_updated":"2024-08-25T16:37:26Z","snapshot_observed_at":"2026-08-16T13:23:59.310622Z","submitted_at":"2024-08-25T16:37:26Z","title":"Enhancing SQL Query Generation with Neurosymbolic Reasoning","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.13888","snapshot_observed_at":"2026-08-16T00:59:55.883594Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.02275","last_updated":"2025-05-04T22:10:21Z","snapshot_observed_at":"2026-08-18T12:11:26.543144Z","submitted_at":"2025-05-04T22:10:21Z","title":"A Path Less Traveled: Reimagining Software Engineering Automation via a Neurosymbolic Paradigm","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-16T00:59:55.883594Z"},"links":{"cited_paper":"/paper/2408.13888","citing_paper":"/paper/2505.02275"},"observation_digest":"sha256:6ae0d048284304257d59a247d0606ceea6ba61b57c1181579d2ef08b3a995761","observation_id":"77dedb3e-87a9-4310-a1df-81febc596a7d","resolution":{"observed_at":"2026-08-16T00:59:55.883594Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2308.12950","last_updated":"2024-01-31T19:47:26Z","snapshot_observed_at":"2026-08-18T03:59:39.242039Z","submitted_at":"2023-08-24T17:39:13Z","title":"Code Llama: Open Foundation Models for Code","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2308.12950","snapshot_observed_at":"2026-08-16T00:59:55.887006Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.02275","last_updated":"2025-05-04T22:10:21Z","snapshot_observed_at":"2026-08-18T12:11:26.543144Z","submitted_at":"2025-05-04T22:10:21Z","title":"A Path Less Traveled: Reimagining Software Engineering Automation via a Neurosymbolic Paradigm","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-16T00:59:55.887006Z"},"links":{"cited_paper":"/paper/2308.12950","citing_paper":"/paper/2505.02275"},"observation_digest":"sha256:05a6afee294fc93f4b69fb088c1f3cac756f08eba6e57d805b406cdbca87c2f7","observation_id":"80a23015-02e1-469d-b103-035d1cc6923c","resolution":{"observed_at":"2026-08-16T00:59:55.887006Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T00:59:56.080586Z","title":null,"venue":null,"work_id":"c6ec4804-ae45-43f2-85ef-18f32137270d","year":2024},"citing_paper":{"arxiv_id":"2505.02275","last_updated":"2025-05-04T22:10:21Z","snapshot_observed_at":"2026-08-18T12:11:26.543144Z","submitted_at":"2025-05-04T22:10:21Z","title":"A Path Less Traveled: Reimagining Software Engineering Automation via a Neurosymbolic Paradigm","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-16T00:59:55.891102Z"},"links":{"citing_paper":"/paper/2505.02275"},"observation_digest":"sha256:aa3952086293534bc7ece75fb8fcc5624d76878c24dff46c8ae50f823f47fa4a","observation_id":"6230c767-3ef7-43b5-988f-447f9f799549","resolution":{"observed_at":"2026-08-16T00:59:56.083786Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.01806","last_updated":"2025-02-03T20:38:58Z","snapshot_observed_at":"2026-08-19T04:15:13.294984Z","submitted_at":"2025-02-03T20:38:58Z","title":"Toward Neurosymbolic Program Comprehension","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.01806","snapshot_observed_at":"2026-08-16T00:59:55.894978Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2505.02275","last_updated":"2025-05-04T22:10:21Z","snapshot_observed_at":"2026-08-18T12:11:26.543144Z","submitted_at":"2025-05-04T22:10:21Z","title":"A Path Less Traveled: Reimagining Software Engineering Automation via a Neurosymbolic Paradigm","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-16T00:59:55.894978Z"},"links":{"cited_paper":"/paper/2502.01806","citing_paper":"/paper/2505.02275"},"observation_digest":"sha256:e5eef1d2fcb9bc3ab77472814219ddcef8f6abe8d5130a24c8ec0480e83e53d3","observation_id":"7d62975d-72b3-4d7c-aadd-a64acbe82982","resolution":{"observed_at":"2026-08-16T00:59:55.894978Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2211.04325","last_updated":"2024-06-04T22:09:46Z","snapshot_observed_at":"2026-08-18T12:09:18.268408Z","submitted_at":"2022-10-26T00:28:40Z","title":"Will we run out of data? Limits of LLM scaling based on human-generated data","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2211.04325","snapshot_observed_at":"2026-08-16T00:59:55.898770Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.02275","last_updated":"2025-05-04T22:10:21Z","snapshot_observed_at":"2026-08-18T12:11:26.543144Z","submitted_at":"2025-05-04T22:10:21Z","title":"A Path Less Traveled: Reimagining Software Engineering Automation via a Neurosymbolic Paradigm","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-16T00:59:55.898770Z"},"links":{"cited_paper":"/paper/2211.04325","citing_paper":"/paper/2505.02275"},"observation_digest":"sha256:e408f441ccde4072110a3859262db7df4062d09bd73caf394a57c5d36a775663","observation_id":"e6800c57-0937-404e-a74a-5918aac18046","resolution":{"observed_at":"2026-08-16T00:59:55.898770Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T00:59:55.902628Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2505.02275","last_updated":"2025-05-04T22:10:21Z","snapshot_observed_at":"2026-08-18T12:11:26.543144Z","submitted_at":"2025-05-04T22:10:21Z","title":"A Path Less Traveled: Reimagining Software Engineering Automation via a Neurosymbolic Paradigm","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-16T00:59:55.902628Z"},"links":{"citing_paper":"/paper/2505.02275"},"observation_digest":"sha256:8493a74f5b12f41e01e1d7089589b459cec376d9f853b7e14a4616d861bbea0c","observation_id":"68c8b656-363a-4f98-8cab-1a2d356b8574","resolution":{"observed_at":"2026-08-16T00:59:55.902628Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T00:59:56.070251Z","title":null,"venue":null,"work_id":"755b3eb8-e305-48c4-addf-7b5d1b8501f4","year":2022},"citing_paper":{"arxiv_id":"2505.02275","last_updated":"2025-05-04T22:10:21Z","snapshot_observed_at":"2026-08-18T12:11:26.543144Z","submitted_at":"2025-05-04T22:10:21Z","title":"A Path Less Traveled: Reimagining Software Engineering Automation via a Neurosymbolic Paradigm","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-16T00:59:55.907049Z"},"links":{"citing_paper":"/paper/2505.02275"},"observation_digest":"sha256:8e7ebb3556ff67338954be38c6646c509dca0dbc48f4466183544bca0f99d756","observation_id":"a29b0470-2922-41ca-97cd-6549e60b36a7","resolution":{"observed_at":"2026-08-16T00:59:56.073569Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-08-16T00:59:56.058962Z","title":null,"venue":null,"work_id":"b4bd46a9-4cae-491e-bc52-987e7874a449","year":2024},"citing_paper":{"arxiv_id":"2505.02275","last_updated":"2025-05-04T22:10:21Z","snapshot_observed_at":"2026-08-18T12:11:26.543144Z","submitted_at":"2025-05-04T22:10:21Z","title":"A Path Less Traveled: Reimagining Software Engineering Automation via a Neurosymbolic Paradigm","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-16T00:59:55.910482Z"},"links":{"citing_paper":"/paper/2505.02275"},"observation_digest":"sha256:f13c9899fdfc02f5541ced818c651be7b2b2095d27ce244a434c3a4099adf5bc","observation_id":"f73566d4-867d-458b-8c07-4813376feadf","resolution":{"observed_at":"2026-08-16T00:59:56.062942Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2505.02275","last_updated":"2025-05-04T22:10:21Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-18T12:11:26.543144Z","submitted_at":"2025-05-04T22:10:21Z","title":"A Path Less Traveled: Reimagining Software Engineering Automation via a Neurosymbolic Paradigm"},"reference_resolution":{"displayed":25,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":25,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":25},"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-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"thesis":"As of 19 August 2026, this Paper Citation Record lists 25 of 25 outbound references and 0 inbound Pith citation observations for arXiv:2505.02275."}