Integrity report for Answer-Set-Programming-based Abstractions for Reinforcement Learning

A machine-verified record of the checks Pith has run against this paper: detector runs, findings, signed bundle events, and canonical identifiers.

arXiv:2605.31444 · pith:2026:4UKV4TYXAXLGMCFWMEU4JYHIE5

0Critical

0Advisory

6Detectors run

2026-06-04Last checked

Paper page arXiv integrity.json bundle.json

Detector runs

claim_evidence completed v1.0.0 · findings 0 · 2026-06-04 14:29:02.265079+00:00

external_links completed v1.0.0 · findings 0 · 2026-06-01 23:32:11.585887+00:00

shingle_duplication skipped v0.1.0 · findings 0 · 2026-06-01 17:50:16.379021+00:00

citation_quote_validity skipped v0.1.0 · findings 0 · 2026-06-01 07:50:48.595821+00:00

cited_work_retraction completed v1.0.0 · findings 0 · 2026-06-01 04:55:42.662427+00:00

ai_meta_artifact skipped v1.0.0 · findings 0 · 2026-06-01 02:35:04.605588+00:00

Findings

No public integrity findings for this paper.

Signed record

The machine-readable record for this paper lives at /pith/4UKV4TYXAXLGMCFWMEU4JYHIE5/integrity.json. Pith Number bundles also include signed pith.integrity.v1 events where a Pith Number exists.