Recoverable Identifier

arXiv:2605.07451 · detector doi_compliance · incontrovertible · 2026-05-19 11:50:37.653367+00:00

advisory doi_compliance recoverable_identifier

DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.5555/3737916.3737967) 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

Teuber, S., Mitsch, S., Platzer, A.: Provably safe neural network controllers via differential dynamic logic. In: Globerson, A., Mackey, L., Fan, A., Zhang, C., Bel- grave, D., Tomczak, J., Paquet, U. (eds.) Advances in Neural Information Process- ing Systems. Curran Associates, Inc. (2024).https://doi.org/10.5555/3737916. 3737967

Evidence payload

{
  "printed_excerpt": "Teuber, S., Mitsch, S., Platzer, A.: Provably safe neural network controllers via differential dynamic logic. In: Globerson, A., Mackey, L., Fan, A., Zhang, C., Bel- grave, D., Tomczak, J., Paquet, U. (eds.) Advances in Neural Information P",
  "reconstructed_doi": "10.5555/3737916.3737967",
  "ref_index": 25,
  "resolved_title": null,
  "verdict_class": "incontrovertible"
}