Recoverable Identifier

arXiv:2605.15827 · detector doi_compliance · incontrovertible · 2026-05-19 18:21:41.980183+00:00

advisory doi_compliance recoverable_identifier

DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1007/978-3-319-68167-2_2616) 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

Feng, Y., Zhang, L., Jansen, D.N., Zhan, N., Xia, B.: Finding Polynomial Loop Invariants for Probabilistic Programs. In: D’Souza, D., Kumar, K.N. (eds.) Au- tomated Technology for Verification and Analysis - 15th International Sympo- sium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings. LNCS, vol. 10482, pp. 400–416. Springer, Heidelberg (2017).https://doi.org/10.1007/978-3-319- 68167-2_26 16 P. Schr¨ oer et al

Evidence payload

{
  "printed_excerpt": "Feng, Y., Zhang, L., Jansen, D.N., Zhan, N., Xia, B.: Finding Polynomial Loop Invariants for Probabilistic Programs. In: D\u2019Souza, D., Kumar, K.N. (eds.) Au- tomated Technology for Verification and Analysis - 15th International Sympo- sium, ",
  "reconstructed_doi": "10.1007/978-3-319-68167-2_2616",
  "ref_index": 31,
  "resolved_title": null,
  "verdict_class": "incontrovertible"
}