{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2023:RXCDYGAYWOMWJH4NI6AZ4O743C","short_pith_number":"pith:RXCDYGAY","schema_version":"1.0","canonical_sha256":"8dc43c1818b399649f8d47819e3bfcd8a7b0b8fded4c37f811e61e1d3facf150","source":{"kind":"arxiv","id":"2305.11512","version":3},"attestation_state":"computed","paper":{"title":"Enriching Disentanglement: From Logical Definitions to Quantitative Metrics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.CT","math.LO"],"primary_cat":"cs.LG","authors_text":"Masashi Sugiyama, Yivan Zhang","submitted_at":"2023-05-19T08:22:23Z","abstract_excerpt":"Disentangling the explanatory factors in complex data is a promising approach for generalizable and data-efficient representation learning. While a variety of quantitative metrics for learning and evaluating disentangled representations have been proposed, it remains unclear what properties these metrics truly quantify. In this work, we establish algebraic relationships between logical definitions and quantitative metrics to derive theoretically grounded disentanglement metrics. Concretely, we introduce a compositional approach for converting a higher-order predicate into a real-valued quantit"},"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":"2305.11512","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2023-05-19T08:22:23Z","cross_cats_sorted":["math.CT","math.LO"],"title_canon_sha256":"e5f150d87081e1314bfd712f7147e31f9dc883b56ff3687f44a97efae705918e","abstract_canon_sha256":"3c6a7ba904c44b9816da0a7b2f31f6beac5d06437d298a91051a8fd78422cc3a"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:28:45.270806Z","signature_b64":"NiXR2vK5O24A3nq54eVFQGcCMA9ww2Itl0GawwTpEhBEy7mHZpgUIbOyeKLGk0tGYJONTaE0jiUTkehF3sp5DQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8dc43c1818b399649f8d47819e3bfcd8a7b0b8fded4c37f811e61e1d3facf150","last_reissued_at":"2026-07-05T09:28:45.270341Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:28:45.270341Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Enriching Disentanglement: From Logical Definitions to Quantitative Metrics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.CT","math.LO"],"primary_cat":"cs.LG","authors_text":"Masashi Sugiyama, Yivan Zhang","submitted_at":"2023-05-19T08:22:23Z","abstract_excerpt":"Disentangling the explanatory factors in complex data is a promising approach for generalizable and data-efficient representation learning. While a variety of quantitative metrics for learning and evaluating disentangled representations have been proposed, it remains unclear what properties these metrics truly quantify. In this work, we establish algebraic relationships between logical definitions and quantitative metrics to derive theoretically grounded disentanglement metrics. Concretely, we introduce a compositional approach for converting a higher-order predicate into a real-valued quantit"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2305.11512","kind":"arxiv","version":3},"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/2305.11512/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":"2305.11512","created_at":"2026-07-05T09:28:45.270398+00:00"},{"alias_kind":"arxiv_version","alias_value":"2305.11512v3","created_at":"2026-07-05T09:28:45.270398+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2305.11512","created_at":"2026-07-05T09:28:45.270398+00:00"},{"alias_kind":"pith_short_12","alias_value":"RXCDYGAYWOMW","created_at":"2026-07-05T09:28:45.270398+00:00"},{"alias_kind":"pith_short_16","alias_value":"RXCDYGAYWOMWJH4N","created_at":"2026-07-05T09:28:45.270398+00:00"},{"alias_kind":"pith_short_8","alias_value":"RXCDYGAY","created_at":"2026-07-05T09:28:45.270398+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/RXCDYGAYWOMWJH4NI6AZ4O743C","json":"https://pith.science/pith/RXCDYGAYWOMWJH4NI6AZ4O743C.json","graph_json":"https://pith.science/api/pith-number/RXCDYGAYWOMWJH4NI6AZ4O743C/graph.json","events_json":"https://pith.science/api/pith-number/RXCDYGAYWOMWJH4NI6AZ4O743C/events.json","paper":"https://pith.science/paper/RXCDYGAY"},"agent_actions":{"view_html":"https://pith.science/pith/RXCDYGAYWOMWJH4NI6AZ4O743C","download_json":"https://pith.science/pith/RXCDYGAYWOMWJH4NI6AZ4O743C.json","view_paper":"https://pith.science/paper/RXCDYGAY","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2305.11512&json=true","fetch_graph":"https://pith.science/api/pith-number/RXCDYGAYWOMWJH4NI6AZ4O743C/graph.json","fetch_events":"https://pith.science/api/pith-number/RXCDYGAYWOMWJH4NI6AZ4O743C/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/RXCDYGAYWOMWJH4NI6AZ4O743C/action/timestamp_anchor","attest_storage":"https://pith.science/pith/RXCDYGAYWOMWJH4NI6AZ4O743C/action/storage_attestation","attest_author":"https://pith.science/pith/RXCDYGAYWOMWJH4NI6AZ4O743C/action/author_attestation","sign_citation":"https://pith.science/pith/RXCDYGAYWOMWJH4NI6AZ4O743C/action/citation_signature","submit_replication":"https://pith.science/pith/RXCDYGAYWOMWJH4NI6AZ4O743C/action/replication_record"}},"created_at":"2026-07-05T09:28:45.270398+00:00","updated_at":"2026-07-05T09:28:45.270398+00:00"}