{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2016:5OBBB76CF6NNQOSFDP332UQIDN","short_pith_number":"pith:5OBBB76C","schema_version":"1.0","canonical_sha256":"eb8210ffc22f9ad83a451bf7bd52081b5ddd57c5374c3569c2f7108e2a5e9ee1","source":{"kind":"arxiv","id":"1610.06067","version":1},"attestation_state":"computed","paper":{"title":"Fairness as a Program Property","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.PL","authors_text":"Aditya Nori, Aws Albarghouthi, Loris D'Antoni, Samuel Drews","submitted_at":"2016-10-19T15:31:34Z","abstract_excerpt":"We explore the following question: Is a decision-making program fair, for some useful definition of fairness? First, we describe how several algorithmic fairness questions can be phrased as program verification problems. Second, we discuss an automated verification technique for proving or disproving fairness of decision-making programs with respect to a probabilistic model of the population."},"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":"1610.06067","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-10-19T15:31:34Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"77d91a6225dc02bd54fd27441a4493b9334328ab76975de1beb5150c69a8be84","abstract_canon_sha256":"1e96b676ca35794d44837ba7c99072bde9399801d0857ee476a446955a8a9434"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:01:50.213950Z","signature_b64":"D1lmYj1XtBLOJwyZNGLWMBZ8QXzUaKqAUhbASZ2MhDz6OT8NRmbt6jHxy0XbzbaXQbkTZT+JPtsRiRNmiUDJDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"eb8210ffc22f9ad83a451bf7bd52081b5ddd57c5374c3569c2f7108e2a5e9ee1","last_reissued_at":"2026-05-18T01:01:50.213079Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:01:50.213079Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Fairness as a Program Property","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.PL","authors_text":"Aditya Nori, Aws Albarghouthi, Loris D'Antoni, Samuel Drews","submitted_at":"2016-10-19T15:31:34Z","abstract_excerpt":"We explore the following question: Is a decision-making program fair, for some useful definition of fairness? First, we describe how several algorithmic fairness questions can be phrased as program verification problems. Second, we discuss an automated verification technique for proving or disproving fairness of decision-making programs with respect to a probabilistic model of the population."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1610.06067","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":"1610.06067","created_at":"2026-05-18T01:01:50.213255+00:00"},{"alias_kind":"arxiv_version","alias_value":"1610.06067v1","created_at":"2026-05-18T01:01:50.213255+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1610.06067","created_at":"2026-05-18T01:01:50.213255+00:00"},{"alias_kind":"pith_short_12","alias_value":"5OBBB76CF6NN","created_at":"2026-05-18T12:30:01.593930+00:00"},{"alias_kind":"pith_short_16","alias_value":"5OBBB76CF6NNQOSF","created_at":"2026-05-18T12:30:01.593930+00:00"},{"alias_kind":"pith_short_8","alias_value":"5OBBB76C","created_at":"2026-05-18T12:30:01.593930+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/5OBBB76CF6NNQOSFDP332UQIDN","json":"https://pith.science/pith/5OBBB76CF6NNQOSFDP332UQIDN.json","graph_json":"https://pith.science/api/pith-number/5OBBB76CF6NNQOSFDP332UQIDN/graph.json","events_json":"https://pith.science/api/pith-number/5OBBB76CF6NNQOSFDP332UQIDN/events.json","paper":"https://pith.science/paper/5OBBB76C"},"agent_actions":{"view_html":"https://pith.science/pith/5OBBB76CF6NNQOSFDP332UQIDN","download_json":"https://pith.science/pith/5OBBB76CF6NNQOSFDP332UQIDN.json","view_paper":"https://pith.science/paper/5OBBB76C","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1610.06067&json=true","fetch_graph":"https://pith.science/api/pith-number/5OBBB76CF6NNQOSFDP332UQIDN/graph.json","fetch_events":"https://pith.science/api/pith-number/5OBBB76CF6NNQOSFDP332UQIDN/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/5OBBB76CF6NNQOSFDP332UQIDN/action/timestamp_anchor","attest_storage":"https://pith.science/pith/5OBBB76CF6NNQOSFDP332UQIDN/action/storage_attestation","attest_author":"https://pith.science/pith/5OBBB76CF6NNQOSFDP332UQIDN/action/author_attestation","sign_citation":"https://pith.science/pith/5OBBB76CF6NNQOSFDP332UQIDN/action/citation_signature","submit_replication":"https://pith.science/pith/5OBBB76CF6NNQOSFDP332UQIDN/action/replication_record"}},"created_at":"2026-05-18T01:01:50.213255+00:00","updated_at":"2026-05-18T01:01:50.213255+00:00"}