{"schema":"https://pith.science/schemas/pith-integrity/v1.json","pith_number":"2605.07451","arxiv_id":"2605.07451","integrity":{"available":true,"endpoint":"/pith/2605.07451/integrity.json","summary":{"critical":1,"advisory":1,"informational":0,"by_detector":{"doi_compliance":{"total":2,"critical":1,"advisory":1,"informational":0}}},"clean":false,"detectors_run":[{"name":"claim_evidence","version":"1.0.0","status":"completed","ran_at":"2026-05-20T10:42:02.943931Z","findings_count":0},{"name":"ai_meta_artifact","version":"1.0.0","status":"completed","ran_at":"2026-05-20T05:43:45.473716Z","findings_count":0},{"name":"doi_title_agreement","version":"1.0.0","status":"completed","ran_at":"2026-05-19T16:31:19.028588Z","findings_count":0},{"name":"doi_compliance","version":"1.0.0","status":"completed","ran_at":"2026-05-19T11:50:37.653367Z","findings_count":2}],"findings":[{"detector":"doi_compliance","finding_type":"recoverable_identifier","severity":"advisory","verdict_class":"incontrovertible","note":"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.","detected_doi":"10.5555/3737916.3737967","detected_arxiv_id":null,"ref_index":25,"audited_at":"2026-05-19T11:50:37.653367Z"},{"detector":"doi_compliance","finding_type":"unresolvable_identifier","severity":"critical","verdict_class":"cross_source","note":"Identifier '10.5555/3540261.3542550' is syntactically valid but the DOI registry (doi.org) returned 404, and Crossref / OpenAlex / internal corpus also have no record. The cited work could not be located through any authoritative source.","detected_doi":"10.5555/3540261.3542550","detected_arxiv_id":null,"ref_index":26,"audited_at":"2026-05-19T11:50:37.653367Z"}],"snapshot_sha256":"e2f4242975ba552f517113e3593686577ffa4c1575c3bf52dd112f2b5548f9ee"},"events":[{"event_id":1161,"event_type":"pith.integrity.v1","payload_sha256":"6d113298f6cc7a6463aadbf32b3518cbf73c5d090a92804fee9f4a112b319812","signature_b64":"yAKU6DJeh8JTsBwFgkhrQbzJjOIISx54jSTRv8cWZfTZLJVnWNMoZ74ILA2/MnYAo8cTc2typXcNbMYR1t4QAA==","signing_key_id":"pith-v1-2026-05","created_at":"2026-05-19T11:52:02.521593+00:00","payload":{"note":"Identifier '10.5555/3540261.3542550' is syntactically valid but the DOI registry (doi.org) returned 404, and Crossref / OpenAlex / internal corpus also have no record. The cited work could not be located through any authoritative source.","snippet":"Wang, S., Zhang, H., Xu, K., Lin, X., Jana, S., Hsieh, C.J., Kolter, J.Z.: Beta- CROWN: Efficient bound propagation with per-neuron split constraints for com- plete and incomplete neural network verification. Advances in Neural Information ","arxiv_id":"2605.07451","detector":"doi_compliance","evidence":{"doi":"10.5555/3540261.3542550","arxiv_id":null,"ref_index":26,"raw_excerpt":"Wang, S., Zhang, H., Xu, K., Lin, X., Jana, S., Hsieh, C.J., Kolter, J.Z.: Beta- CROWN: Efficient bound propagation with per-neuron split constraints for com- plete and incomplete neural network verification. Advances in Neural Information Processing Systems34(2021).https://doi.org/10.5555/3540261.3542550","verdict_class":"cross_source","checked_sources":["crossref_by_doi","openalex_by_doi","doi_org_head"]},"severity":"critical","ref_index":26,"audited_at":"2026-05-19T11:50:37.653367Z","event_type":"pith.integrity.v1","detected_doi":"10.5555/3540261.3542550","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"unresolvable_identifier","evidence_hash":"a792cf3c2fac8facc50fa78c4fcbc6311219c8d32bcec921051347b70a13dc03","paper_version":1,"verdict_class":"cross_source","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null}},{"event_id":1160,"event_type":"pith.integrity.v1","payload_sha256":"24d9093e47024a3478cb4d3a59d8b1b8183f91d715b5668899c20ba9621af280","signature_b64":"hTM1xTdBKQt1ZSnKFKy4DKkgzkTnq5Az88fIi2yi6aOrNJjN3D3kEjKohVDNZHZ569UCUxbFU07M/eIhsZakBA==","signing_key_id":"pith-v1-2026-05","created_at":"2026-05-19T11:52:02.518681+00:00","payload":{"note":"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.","snippet":"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","arxiv_id":"2605.07451","detector":"doi_compliance","evidence":{"ref_index":25,"verdict_class":"incontrovertible","resolved_title":null,"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"},"severity":"advisory","ref_index":25,"audited_at":"2026-05-19T11:50:37.653367Z","event_type":"pith.integrity.v1","detected_doi":"10.5555/3737916.3737967","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"e647cf7e1a87779ad7b755041b3f44a113527c788fefa3f415af2a86d33862e3","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null}}],"endpoint_self":"/pith/2605.07451/integrity.json","protocol_url":"https://pith.science/pith-integrity-protocol"}