{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:RLWVROX34BBGMBSJ6C2CAEHTW6","short_pith_number":"pith:RLWVROX3","schema_version":"1.0","canonical_sha256":"8aed58bafbe042660649f0b42010f3b79b838973ca62f9d2fac10f929d1b7e73","source":{"kind":"arxiv","id":"2605.14666","version":1},"attestation_state":"computed","paper":{"title":"Monitoring Data-aware Temporal Properties (Extended Version)","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Alessandro Gianola, Marco Montali, Sarah Winkler","submitted_at":"2026-05-14T10:23:11Z","abstract_excerpt":"Dynamic systems in AI are often complex and heterogeneous, so that an internal specification is not accessible and verification techniques such as model checking are not applicable. Monitoring is in such cases an attractive alternative, as it evaluates desirable properties along traces generated by an unknown dynamic system. In this work, we consider anticipatory monitoring of linear-time properties enriched with an arbitrary SMT theory over finite traces (LTLfMT). Anticipatory monitoring in this setting is highly challenging, as the monitoring state depends on both the trace prefix seen so fa"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2605.14666","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-05-14T10:23:11Z","cross_cats_sorted":[],"title_canon_sha256":"1dc173eb0f2c8264794e16ab60efe579c7785570cae297b188408e2f20e755e8","abstract_canon_sha256":"6f782771ce974705a307bfc99543818f36cfd9609af98c3ccf7226e494c037bf"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:39:02.144603Z","signature_b64":"7kBSMAcmFxoA50lINnXZZo8p4VZCmvAtQJICL6FGgb+xzuQJmf6hXN5KM50Qv02u01aNVHqtgGDwSfc41mWsCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8aed58bafbe042660649f0b42010f3b79b838973ca62f9d2fac10f929d1b7e73","last_reissued_at":"2026-05-17T23:39:02.143953Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:39:02.143953Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Monitoring Data-aware Temporal Properties (Extended Version)","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Alessandro Gianola, Marco Montali, Sarah Winkler","submitted_at":"2026-05-14T10:23:11Z","abstract_excerpt":"Dynamic systems in AI are often complex and heterogeneous, so that an internal specification is not accessible and verification techniques such as model checking are not applicable. Monitoring is in such cases an attractive alternative, as it evaluates desirable properties along traces generated by an unknown dynamic system. In this work, we consider anticipatory monitoring of linear-time properties enriched with an arbitrary SMT theory over finite traces (LTLfMT). Anticipatory monitoring in this setting is highly challenging, as the monitoring state depends on both the trace prefix seen so fa"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.14666","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"2605.14666","created_at":"2026-05-17T23:39:02.144071+00:00"},{"alias_kind":"arxiv_version","alias_value":"2605.14666v1","created_at":"2026-05-17T23:39:02.144071+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.14666","created_at":"2026-05-17T23:39:02.144071+00:00"},{"alias_kind":"pith_short_12","alias_value":"RLWVROX34BBG","created_at":"2026-05-18T12:33:37.589309+00:00"},{"alias_kind":"pith_short_16","alias_value":"RLWVROX34BBGMBSJ","created_at":"2026-05-18T12:33:37.589309+00:00"},{"alias_kind":"pith_short_8","alias_value":"RLWVROX3","created_at":"2026-05-18T12:33:37.589309+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/RLWVROX34BBGMBSJ6C2CAEHTW6","json":"https://pith.science/pith/RLWVROX34BBGMBSJ6C2CAEHTW6.json","graph_json":"https://pith.science/api/pith-number/RLWVROX34BBGMBSJ6C2CAEHTW6/graph.json","events_json":"https://pith.science/api/pith-number/RLWVROX34BBGMBSJ6C2CAEHTW6/events.json","paper":"https://pith.science/paper/RLWVROX3"},"agent_actions":{"view_html":"https://pith.science/pith/RLWVROX34BBGMBSJ6C2CAEHTW6","download_json":"https://pith.science/pith/RLWVROX34BBGMBSJ6C2CAEHTW6.json","view_paper":"https://pith.science/paper/RLWVROX3","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2605.14666&json=true","fetch_graph":"https://pith.science/api/pith-number/RLWVROX34BBGMBSJ6C2CAEHTW6/graph.json","fetch_events":"https://pith.science/api/pith-number/RLWVROX34BBGMBSJ6C2CAEHTW6/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/RLWVROX34BBGMBSJ6C2CAEHTW6/action/timestamp_anchor","attest_storage":"https://pith.science/pith/RLWVROX34BBGMBSJ6C2CAEHTW6/action/storage_attestation","attest_author":"https://pith.science/pith/RLWVROX34BBGMBSJ6C2CAEHTW6/action/author_attestation","sign_citation":"https://pith.science/pith/RLWVROX34BBGMBSJ6C2CAEHTW6/action/citation_signature","submit_replication":"https://pith.science/pith/RLWVROX34BBGMBSJ6C2CAEHTW6/action/replication_record"}},"created_at":"2026-05-17T23:39:02.144071+00:00","updated_at":"2026-05-17T23:39:02.144071+00:00"}