pith. sign in

Recoverable Identifier

arXiv:2605.15406 · detector doi_compliance · incontrovertible · 2026-05-19 15:01:48.854956+00:00

advisory doi_compliance recoverable_identifier

DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1145/3586050.url:https://doi.org/10.1145/3586050) was visible in the surrounding text but could not be confirmed against doi.org as printed.

Paper page Integrity report arXiv Try DOI

Evidence text

David Chiang, Colin McDonald, and Chung-chieh Shan. “Exact Recursive Probabilistic Programming”. In:Proc. ACM Program. Lang.7.OOPSLA1 (Apr. 2023).doi:10.1145/3586050.url:https://doi.org/10.1145/ 3586050

Evidence payload

{
  "printed_excerpt": "David Chiang, Colin McDonald, and Chung-chieh Shan. \u201cExact Recursive Probabilistic Programming\u201d. In:Proc. ACM Program. Lang.7.OOPSLA1 (Apr. 2023).doi:10.1145/3586050.url:https://doi.org/10.1145/ 3586050",
  "reconstructed_doi": "10.1145/3586050.url:https://doi.org/10.1145/3586050",
  "ref_index": 7,
  "resolved_title": null,
  "verdict_class": "incontrovertible"
}