{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2021:EO7UY55EYSQQYR3BOSQVRTAHYW","short_pith_number":"pith:EO7UY55E","schema_version":"1.0","canonical_sha256":"23bf4c77a4c4a10c476174a158cc07c5abdfa13f92fe38df071036a55fdd3fe7","source":{"kind":"arxiv","id":"2112.02807","version":4},"attestation_state":"computed","paper":{"title":"MDPFuzz: Testing Models Solving Markov Decision Processes","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"cs.SE","authors_text":"Qi Pang, Shuai Wang, Yuanyuan Yuan","submitted_at":"2021-12-06T06:35:55Z","abstract_excerpt":"The Markov decision process (MDP) provides a mathematical framework for modeling sequential decision-making problems, many of which are crucial to security and safety, such as autonomous driving and robot control. The rapid development of artificial intelligence research has created efficient methods for solving MDPs, such as deep neural networks (DNNs), reinforcement learning (RL), and imitation learning (IL). However, these popular models solving MDPs are neither thoroughly tested nor rigorously reliable.\n  We present MDPFuzz, the first blackbox fuzz testing framework for models solving MDPs"},"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":"2112.02807","kind":"arxiv","version":4},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2021-12-06T06:35:55Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"1d4fdca7fc1f15d54e206fd488acb7b705ed58ced86fcc58a9cc14971147895c","abstract_canon_sha256":"47300093dd5aadd75fbb598b1b6be0d4b579a880119280e81ab72b90a12f6cb7"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:00:10.846463Z","signature_b64":"cWqLvELnOZzK67VdCEUNY4tqIVkSQLIsIt72yynlanIEEr0RmG9Ogi3azxC8cKJdO8Dvs8sVJFeUGvP7jjsQAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"23bf4c77a4c4a10c476174a158cc07c5abdfa13f92fe38df071036a55fdd3fe7","last_reissued_at":"2026-07-05T06:00:10.845986Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:00:10.845986Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"MDPFuzz: Testing Models Solving Markov Decision Processes","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"cs.SE","authors_text":"Qi Pang, Shuai Wang, Yuanyuan Yuan","submitted_at":"2021-12-06T06:35:55Z","abstract_excerpt":"The Markov decision process (MDP) provides a mathematical framework for modeling sequential decision-making problems, many of which are crucial to security and safety, such as autonomous driving and robot control. The rapid development of artificial intelligence research has created efficient methods for solving MDPs, such as deep neural networks (DNNs), reinforcement learning (RL), and imitation learning (IL). However, these popular models solving MDPs are neither thoroughly tested nor rigorously reliable.\n  We present MDPFuzz, the first blackbox fuzz testing framework for models solving MDPs"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2112.02807","kind":"arxiv","version":4},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2112.02807/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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":"2112.02807","created_at":"2026-07-05T06:00:10.846043+00:00"},{"alias_kind":"arxiv_version","alias_value":"2112.02807v4","created_at":"2026-07-05T06:00:10.846043+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2112.02807","created_at":"2026-07-05T06:00:10.846043+00:00"},{"alias_kind":"pith_short_12","alias_value":"EO7UY55EYSQQ","created_at":"2026-07-05T06:00:10.846043+00:00"},{"alias_kind":"pith_short_16","alias_value":"EO7UY55EYSQQYR3B","created_at":"2026-07-05T06:00:10.846043+00:00"},{"alias_kind":"pith_short_8","alias_value":"EO7UY55E","created_at":"2026-07-05T06:00:10.846043+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/EO7UY55EYSQQYR3BOSQVRTAHYW","json":"https://pith.science/pith/EO7UY55EYSQQYR3BOSQVRTAHYW.json","graph_json":"https://pith.science/api/pith-number/EO7UY55EYSQQYR3BOSQVRTAHYW/graph.json","events_json":"https://pith.science/api/pith-number/EO7UY55EYSQQYR3BOSQVRTAHYW/events.json","paper":"https://pith.science/paper/EO7UY55E"},"agent_actions":{"view_html":"https://pith.science/pith/EO7UY55EYSQQYR3BOSQVRTAHYW","download_json":"https://pith.science/pith/EO7UY55EYSQQYR3BOSQVRTAHYW.json","view_paper":"https://pith.science/paper/EO7UY55E","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2112.02807&json=true","fetch_graph":"https://pith.science/api/pith-number/EO7UY55EYSQQYR3BOSQVRTAHYW/graph.json","fetch_events":"https://pith.science/api/pith-number/EO7UY55EYSQQYR3BOSQVRTAHYW/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/EO7UY55EYSQQYR3BOSQVRTAHYW/action/timestamp_anchor","attest_storage":"https://pith.science/pith/EO7UY55EYSQQYR3BOSQVRTAHYW/action/storage_attestation","attest_author":"https://pith.science/pith/EO7UY55EYSQQYR3BOSQVRTAHYW/action/author_attestation","sign_citation":"https://pith.science/pith/EO7UY55EYSQQYR3BOSQVRTAHYW/action/citation_signature","submit_replication":"https://pith.science/pith/EO7UY55EYSQQYR3BOSQVRTAHYW/action/replication_record"}},"created_at":"2026-07-05T06:00:10.846043+00:00","updated_at":"2026-07-05T06:00:10.846043+00:00"}