Pith. sign in

Paper Citation Record · LEDGER

Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localization

As of 9 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 2 inbound Pith citation observations for arXiv:2502.07786.

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

pith.paper-citation-record.v1
2502.07786 v1

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 2 of 2 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-09T06:31:02.800959+00:00

measured 2 of 2 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-02T05:32:58.523379Z

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

0 of 0 outbound references displayed

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

External citation measurements

No source-named external measurement is stored.

Outbound references

No outbound reference observations are available for this paper version.

Pith citing papers

Observation ebac4fd6-939e-4316-b517-1c9d804ec4a7 · inbound

Procedural Refinement by LLM-driven Algorithmic Debugging for ARC-AGI-2 cites this paper.

Procedural Refinement by LLM-driven Algorithmic Debugging for ARC-AGI-2 Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localization

Reference 15

Resolution
unresolved
no resolver link, observed 2026-07-13T21:57:39.418641Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-07-13T21:57:39.418641Z digest=sha256:b424aab2d9b8b3d3b836aee88946fbcf2b64c20d720f3c87ae87a53034e855c5

Observation b66be05d-a21c-48ec-924d-8be5aa4aa209 · inbound

Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement cites this paper.

Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localization

Reference 49

Resolution
unresolved
no resolver link, observed 2026-08-02T05:32:58.523379Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-02T05:32:58.523379Z digest=sha256:be28356a39284d5c594777db7e1a8c6246f5652821161c98e7c55d7e9c9e4f3b