Pith. sign in

Paper Citation Record · LEDGER

A Path Less Traveled: Reimagining Software Engineering Automation via a Neurosymbolic Paradigm

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.

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

pith.paper-citation-record.v1
2505.02275 v1

Coverage vector

measured 25 of 25 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-16T00:59:55.910482Z

measured 25 of 25 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-19T06:32:44.657259+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

25 of 25 outbound references displayed

  • verified exact0
  • verified fuzzy0
  • unresolved25
  • parse uncertain0
  • malformed identifier0
  • metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation bcb67d48-e49a-4a0d-9230-79343c30743b · outbound

This paper cites an unresolved cited work.

A Path Less Traveled: Reimagining Software Engineering Automation via a Neurosymbolic Paradigm Unresolved cited work

Reference 1

Resolution
unresolved
raw_fallback, observed 2026-08-16T00:59:56.162606Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-08-16T00:59:55.819031Z digest=sha256:0788e21a1fa797d600ed6835155efb8f7dbb6ae9c06aa89db993f25c49ac8a70

Observation a87e78c7-5bbf-40b7-b865-ac8ec95da06f · outbound

This paper cites an unresolved cited work.

A Path Less Traveled: Reimagining Software Engineering Automation via a Neurosymbolic Paradigm Unresolved cited work

Reference 2

Resolution
unresolved
raw_fallback, observed 2026-08-16T00:59:56.151889Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-08-16T00:59:55.823018Z digest=sha256:d9f4ea79beab3577f98f227d71585959d0e42e0e469692d8282c56d2dd9f5255

Observation 1d2af0eb-66d0-4f89-9f48-5ddbe6aedf4c · outbound

This paper cites an unresolved cited work.

A Path Less Traveled: Reimagining Software Engineering Automation via a Neurosymbolic Paradigm Unresolved cited work

Reference 3

Resolution
unresolved
raw_fallback, observed 2026-08-16T00:59:56.141427Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-08-16T00:59:55.826657Z digest=sha256:5eb71f899bc9875e5b4f643e52f096784b707167957efef80fb4100a8c197cbe

Observation 742ef42a-e5d1-4de4-a5a1-809f7c1848b1 · outbound

This paper cites GPT-4 Technical Report.

A Path Less Traveled: Reimagining Software Engineering Automation via a Neurosymbolic Paradigm GPT-4 Technical Report

Reference 4

Resolution
unresolved
no resolver link, observed 2026-08-16T00:59:55.830307Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T00:59:55.830307Z digest=sha256:4fbae4d212d657023376dfdfe65b29e764692b469dcac440d5a6721221de12bc

Observation deb3a827-99ef-43c8-8f49-5a23f9cd5891 · outbound

This paper cites an unresolved cited work.

A Path Less Traveled: Reimagining Software Engineering Automation via a Neurosymbolic Paradigm Unresolved cited work

Reference 5

Resolution
unresolved
raw_fallback, observed 2026-08-16T00:59:56.131020Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-08-16T00:59:55.833945Z digest=sha256:ba83765bae4df3af77536215d87a9330c1191ff6681f4d17d237a47245d8a7ef

Observation 82e0fcd2-21f2-4d05-9e9c-dcabedae1e59 · outbound

This paper cites an unresolved cited work.

A Path Less Traveled: Reimagining Software Engineering Automation via a Neurosymbolic Paradigm Unresolved cited work

Reference 6

Resolution
unresolved
raw_fallback, observed 2026-08-16T00:59:56.120787Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-08-16T00:59:55.838145Z digest=sha256:eab51b032af6ffccda84e54373549eaaba9ad72d4acca5ef0ba483662f30bac5

Observation 6c05b9fb-5e8f-4964-9128-5f3d2c17f2fa · outbound

This paper cites an unresolved cited work.

A Path Less Traveled: Reimagining Software Engineering Automation via a Neurosymbolic Paradigm Unresolved cited work

Reference 7

Resolution
unresolved
raw_fallback, observed 2026-08-16T00:59:56.109974Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-08-16T00:59:55.842124Z digest=sha256:435e0f013980a89643eb9b5ed3c41e9f8133099f1a2008ac55baf735dd44ed3c

Observation 7f2ca511-fa46-4d8a-bebc-860832282ae4 · outbound

This paper cites DeepSeek-Coder-V2: Breaking the Barrier of Closed-Source Models in Code Intelligence.

A Path Less Traveled: Reimagining Software Engineering Automation via a Neurosymbolic Paradigm DeepSeek-Coder-V2: Breaking the Barrier of Closed-Source Models in Code Intelligence

Reference 8

Resolution
unresolved
no resolver link, observed 2026-08-16T00:59:55.846179Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T00:59:55.846179Z digest=sha256:780e4418c89bbe3e1d2f94781c5a295abcfc3a6f2dec117e0e141a4530925c45

Observation e7a81a27-48e3-4efd-a2dd-ecac7993a6a3 · outbound

This paper cites Semantic Code Repair using Neuro-Symbolic Transformation Networks.

A Path Less Traveled: Reimagining Software Engineering Automation via a Neurosymbolic Paradigm Semantic Code Repair using Neuro-Symbolic Transformation Networks

Reference 9

Resolution
unresolved
no resolver link, observed 2026-08-16T00:59:55.850160Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T00:59:55.850160Z digest=sha256:27aa26e08ad8d1d0e3d7d978e6dde214b96d65ee250a968d9cceb1e80c435d55

Observation 0b4fa81f-b345-4ab5-892d-51fc6883e86c · outbound

This paper cites InCoder: A Generative Model for Code Infilling and Synthesis.

A Path Less Traveled: Reimagining Software Engineering Automation via a Neurosymbolic Paradigm InCoder: A Generative Model for Code Infilling and Synthesis

Reference 10

Resolution
unresolved
no resolver link, observed 2026-08-16T00:59:55.853860Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T00:59:55.853860Z digest=sha256:1116503812a5a47274b64b6a02247d307a62550fd821ed0eda65631b7bf0493a

Observation 5ba1685d-c1fc-4005-b66e-fd2a441a5c3f · outbound

This paper cites an unresolved cited work.

A Path Less Traveled: Reimagining Software Engineering Automation via a Neurosymbolic Paradigm Unresolved cited work

Reference 11

Resolution
unresolved
raw_fallback, observed 2026-08-16T00:59:56.099017Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-08-16T00:59:55.857441Z digest=sha256:dfddacc2384cec3548c1b611221491a4385883ca68d2be0c7d25bfcc5847a27c

Observation 230aaf5d-9389-4ddc-af04-f0f8d3f43df6 · outbound

This paper cites an unresolved cited work.

A Path Less Traveled: Reimagining Software Engineering Automation via a Neurosymbolic Paradigm Unresolved cited work

Reference 12

Resolution
unresolved
no resolver link, observed 2026-08-16T00:59:55.860611Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T00:59:55.860611Z digest=sha256:b42f3397d0a935b744132669b88526dfb27ebb6af5b3b2ac969120346678d151

Observation 73275f52-bfab-4c47-84a1-93c5cf8ecfe5 · outbound

This paper cites Fix Bugs with Transformer through a Neural-Symbolic Edit Grammar.

A Path Less Traveled: Reimagining Software Engineering Automation via a Neurosymbolic Paradigm Fix Bugs with Transformer through a Neural-Symbolic Edit Grammar

Reference 13

Resolution
unresolved
no resolver link, observed 2026-08-16T00:59:55.863711Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T00:59:55.863711Z digest=sha256:9f11bd7bea85d1ae2cad66bce0095868826a80c47ceb8417e0dcfb40415cc867

Observation f8022a72-b515-46f6-b177-1232176d0362 · outbound

This paper cites CoTran: An LLM-based Code Translator using Reinforcement Learning with Feedback from Compiler and Symbolic Execution.

A Path Less Traveled: Reimagining Software Engineering Automation via a Neurosymbolic Paradigm CoTran: An LLM-based Code Translator using Reinforcement Learning with Feedback from Compiler and Symbolic Execution

Reference 14

Resolution
unresolved
no resolver link, observed 2026-08-16T00:59:55.867512Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T00:59:55.867512Z digest=sha256:d96a1081ebb8dd2a33790ab973947b385663030baba31e9a22155a15d52f0573

Observation 1562d80f-1fd3-42a1-99ef-c319b7c84931 · outbound

This paper cites DeepSeek-V3 Technical Report.

A Path Less Traveled: Reimagining Software Engineering Automation via a Neurosymbolic Paradigm DeepSeek-V3 Technical Report

Reference 15

Resolution
unresolved
no resolver link, observed 2026-08-16T00:59:55.871185Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T00:59:55.871185Z digest=sha256:0dfc5bb578318159b87b2301c249239c5b409a3314f918847f7c4d899fc3b760

Observation 85b72206-0f9d-43d1-8fc4-1e2c99abb7b5 · outbound

This paper cites StarCoder 2 and The Stack v2: The Next Generation.

A Path Less Traveled: Reimagining Software Engineering Automation via a Neurosymbolic Paradigm StarCoder 2 and The Stack v2: The Next Generation

Reference 16

Resolution
unresolved
no resolver link, observed 2026-08-16T00:59:55.874991Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T00:59:55.874991Z digest=sha256:20027fc7a5cfed9b8467d2774ea990152d201cd24ed935f410077fb5461d49ba

Observation 3bcc7205-f6ef-4e79-9225-ee4d3bd19df8 · outbound

This paper cites Neuro-Symbolic Program Synthesis.

A Path Less Traveled: Reimagining Software Engineering Automation via a Neurosymbolic Paradigm Neuro-Symbolic Program Synthesis

Reference 17

Resolution
unresolved
no resolver link, observed 2026-08-16T00:59:55.879036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T00:59:55.879036Z digest=sha256:8106991531cf11d6b7d94fefbec21aa7b9df3e852617ab1e04b31b8a588557a7

Observation 77dedb3e-87a9-4310-a1df-81febc596a7d · outbound

This paper cites Enhancing SQL Query Generation with Neurosymbolic Reasoning.

A Path Less Traveled: Reimagining Software Engineering Automation via a Neurosymbolic Paradigm Enhancing SQL Query Generation with Neurosymbolic Reasoning

Reference 18

Resolution
unresolved
no resolver link, observed 2026-08-16T00:59:55.883594Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T00:59:55.883594Z digest=sha256:6ae0d048284304257d59a247d0606ceea6ba61b57c1181579d2ef08b3a995761

Observation 80a23015-02e1-469d-b103-035d1cc6923c · outbound

This paper cites Code Llama: Open Foundation Models for Code.

A Path Less Traveled: Reimagining Software Engineering Automation via a Neurosymbolic Paradigm Code Llama: Open Foundation Models for Code

Reference 19

Resolution
unresolved
no resolver link, observed 2026-08-16T00:59:55.887006Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T00:59:55.887006Z digest=sha256:05a6afee294fc93f4b69fb088c1f3cac756f08eba6e57d805b406cdbca87c2f7

Observation 6230c767-3ef7-43b5-988f-447f9f799549 · outbound

This paper cites an unresolved cited work.

A Path Less Traveled: Reimagining Software Engineering Automation via a Neurosymbolic Paradigm Unresolved cited work

Reference 20

Resolution
unresolved
raw_fallback, observed 2026-08-16T00:59:56.083786Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-08-16T00:59:55.891102Z digest=sha256:aa3952086293534bc7ece75fb8fcc5624d76878c24dff46c8ae50f823f47fa4a

Observation 7d62975d-72b3-4d7c-aadd-a64acbe82982 · outbound

This paper cites Toward Neurosymbolic Program Comprehension.

A Path Less Traveled: Reimagining Software Engineering Automation via a Neurosymbolic Paradigm Toward Neurosymbolic Program Comprehension

Reference 21

Resolution
unresolved
no resolver link, observed 2026-08-16T00:59:55.894978Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T00:59:55.894978Z digest=sha256:e5eef1d2fcb9bc3ab77472814219ddcef8f6abe8d5130a24c8ec0480e83e53d3

Observation e6800c57-0937-404e-a74a-5918aac18046 · outbound

This paper cites Will we run out of data? Limits of LLM scaling based on human-generated data.

A Path Less Traveled: Reimagining Software Engineering Automation via a Neurosymbolic Paradigm Will we run out of data? Limits of LLM scaling based on human-generated data

Reference 22

Resolution
unresolved
no resolver link, observed 2026-08-16T00:59:55.898770Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T00:59:55.898770Z digest=sha256:e408f441ccde4072110a3859262db7df4062d09bd73caf394a57c5d36a775663

Observation 68c8b656-363a-4f98-8cab-1a2d356b8574 · outbound

This paper cites an unresolved cited work.

A Path Less Traveled: Reimagining Software Engineering Automation via a Neurosymbolic Paradigm Unresolved cited work

Reference 23

Resolution
unresolved
no resolver link, observed 2026-08-16T00:59:55.902628Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T00:59:55.902628Z digest=sha256:8493a74f5b12f41e01e1d7089589b459cec376d9f853b7e14a4616d861bbea0c

Observation a29b0470-2922-41ca-97cd-6549e60b36a7 · outbound

This paper cites an unresolved cited work.

A Path Less Traveled: Reimagining Software Engineering Automation via a Neurosymbolic Paradigm Unresolved cited work

Reference 24

Resolution
unresolved
raw_fallback, observed 2026-08-16T00:59:56.073569Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-08-16T00:59:55.907049Z digest=sha256:8e7ebb3556ff67338954be38c6646c509dca0dbc48f4466183544bca0f99d756

Observation f73566d4-867d-458b-8c07-4813376feadf · outbound

This paper cites an unresolved cited work.

A Path Less Traveled: Reimagining Software Engineering Automation via a Neurosymbolic Paradigm Unresolved cited work

Reference 25

Resolution
unresolved
raw_fallback, observed 2026-08-16T00:59:56.062942Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-08-16T00:59:55.910482Z digest=sha256:f13c9899fdfc02f5541ced818c651be7b2b2095d27ce244a434c3a4099adf5bc

Pith citing papers

No inbound Pith citation observations are available.