{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:ZBKH7YRGNXVJ4UEGETJ5XJS7VK","short_pith_number":"pith:ZBKH7YRG","schema_version":"1.0","canonical_sha256":"c8547fe2266dea9e508624d3dba65faaa59688b663591e7ac81fb87083703669","source":{"kind":"arxiv","id":"1909.00216","version":2},"attestation_state":"computed","paper":{"title":"Conditions for Unnecessary Logical Constraints in Kernel Machines","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.LG"],"primary_cat":"cs.LO","authors_text":"Francesco Giannini, Marco Maggini","submitted_at":"2019-08-31T14:00:04Z","abstract_excerpt":"A main property of support vector machines consists in the fact that only a small portion of the training data is significant to determine the maximum margin separating hyperplane in the feature space, the so called support vectors. In a similar way, in the general scheme of learning from constraints, where possibly several constraints are considered, some of them may turn out to be unnecessary with respect to the learning optimization, even if they are active for a given optimal solution. In this paper we extend the definition of support vector to support constraint and we provide some criter"},"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":"1909.00216","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-08-31T14:00:04Z","cross_cats_sorted":["cs.AI","cs.LG"],"title_canon_sha256":"e4971faf362ef93cb65062b03ef2441f6e2fe02c8ddf2cac9bcb44454b049be9","abstract_canon_sha256":"355f8edb13be9dd9aa1e0e61436c097f3fe8e79e9d0dacaf267f6a71c0651dc7"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T00:06:56.973440Z","signature_b64":"JfLNN52BYJuxBQPd/f7+dRB1crD1yqkbJqo1I1IOQaxBoomymosV/cGiu7zBV3z9UTil4tcs4NH67NDUB6FHAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c8547fe2266dea9e508624d3dba65faaa59688b663591e7ac81fb87083703669","last_reissued_at":"2026-07-05T00:06:56.973025Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T00:06:56.973025Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Conditions for Unnecessary Logical Constraints in Kernel Machines","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.LG"],"primary_cat":"cs.LO","authors_text":"Francesco Giannini, Marco Maggini","submitted_at":"2019-08-31T14:00:04Z","abstract_excerpt":"A main property of support vector machines consists in the fact that only a small portion of the training data is significant to determine the maximum margin separating hyperplane in the feature space, the so called support vectors. In a similar way, in the general scheme of learning from constraints, where possibly several constraints are considered, some of them may turn out to be unnecessary with respect to the learning optimization, even if they are active for a given optimal solution. In this paper we extend the definition of support vector to support constraint and we provide some criter"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1909.00216","kind":"arxiv","version":2},"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/1909.00216/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":"1909.00216","created_at":"2026-07-05T00:06:56.973081+00:00"},{"alias_kind":"arxiv_version","alias_value":"1909.00216v2","created_at":"2026-07-05T00:06:56.973081+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1909.00216","created_at":"2026-07-05T00:06:56.973081+00:00"},{"alias_kind":"pith_short_12","alias_value":"ZBKH7YRGNXVJ","created_at":"2026-07-05T00:06:56.973081+00:00"},{"alias_kind":"pith_short_16","alias_value":"ZBKH7YRGNXVJ4UEG","created_at":"2026-07-05T00:06:56.973081+00:00"},{"alias_kind":"pith_short_8","alias_value":"ZBKH7YRG","created_at":"2026-07-05T00:06:56.973081+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/ZBKH7YRGNXVJ4UEGETJ5XJS7VK","json":"https://pith.science/pith/ZBKH7YRGNXVJ4UEGETJ5XJS7VK.json","graph_json":"https://pith.science/api/pith-number/ZBKH7YRGNXVJ4UEGETJ5XJS7VK/graph.json","events_json":"https://pith.science/api/pith-number/ZBKH7YRGNXVJ4UEGETJ5XJS7VK/events.json","paper":"https://pith.science/paper/ZBKH7YRG"},"agent_actions":{"view_html":"https://pith.science/pith/ZBKH7YRGNXVJ4UEGETJ5XJS7VK","download_json":"https://pith.science/pith/ZBKH7YRGNXVJ4UEGETJ5XJS7VK.json","view_paper":"https://pith.science/paper/ZBKH7YRG","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1909.00216&json=true","fetch_graph":"https://pith.science/api/pith-number/ZBKH7YRGNXVJ4UEGETJ5XJS7VK/graph.json","fetch_events":"https://pith.science/api/pith-number/ZBKH7YRGNXVJ4UEGETJ5XJS7VK/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/ZBKH7YRGNXVJ4UEGETJ5XJS7VK/action/timestamp_anchor","attest_storage":"https://pith.science/pith/ZBKH7YRGNXVJ4UEGETJ5XJS7VK/action/storage_attestation","attest_author":"https://pith.science/pith/ZBKH7YRGNXVJ4UEGETJ5XJS7VK/action/author_attestation","sign_citation":"https://pith.science/pith/ZBKH7YRGNXVJ4UEGETJ5XJS7VK/action/citation_signature","submit_replication":"https://pith.science/pith/ZBKH7YRGNXVJ4UEGETJ5XJS7VK/action/replication_record"}},"created_at":"2026-07-05T00:06:56.973081+00:00","updated_at":"2026-07-05T00:06:56.973081+00:00"}