{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:XZEY6QB5SONTELCKMIHUZW5DME","short_pith_number":"pith:XZEY6QB5","canonical_record":{"source":{"id":"1906.01681","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2019-06-04T18:58:40Z","cross_cats_sorted":["cs.CC","math.OC","stat.ML"],"title_canon_sha256":"24de0a45af312b142efde45d4f78d8a20ea8060cc781b6a14a2c1ac8c2a520ad","abstract_canon_sha256":"3d67dede5c8af4816698701e04a650ece33173a48baec400e9a9b918f0da66b2"},"schema_version":"1.0"},"canonical_sha256":"be498f403d939b322c4a620f4cdba36128b730b03fd98be4f09af7f2a8735b2f","source":{"kind":"arxiv","id":"1906.01681","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1906.01681","created_at":"2026-05-17T23:44:06Z"},{"alias_kind":"arxiv_version","alias_value":"1906.01681v1","created_at":"2026-05-17T23:44:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1906.01681","created_at":"2026-05-17T23:44:06Z"},{"alias_kind":"pith_short_12","alias_value":"XZEY6QB5SONT","created_at":"2026-05-18T12:33:33Z"},{"alias_kind":"pith_short_16","alias_value":"XZEY6QB5SONTELCK","created_at":"2026-05-18T12:33:33Z"},{"alias_kind":"pith_short_8","alias_value":"XZEY6QB5","created_at":"2026-05-18T12:33:33Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:XZEY6QB5SONTELCKMIHUZW5DME","target":"record","payload":{"canonical_record":{"source":{"id":"1906.01681","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2019-06-04T18:58:40Z","cross_cats_sorted":["cs.CC","math.OC","stat.ML"],"title_canon_sha256":"24de0a45af312b142efde45d4f78d8a20ea8060cc781b6a14a2c1ac8c2a520ad","abstract_canon_sha256":"3d67dede5c8af4816698701e04a650ece33173a48baec400e9a9b918f0da66b2"},"schema_version":"1.0"},"canonical_sha256":"be498f403d939b322c4a620f4cdba36128b730b03fd98be4f09af7f2a8735b2f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:44:06.559976Z","signature_b64":"VgqdYThiQp2uhPe4uHRgmiTRQu8bqJprdWuHP3WRaphQ8gu6Z+qaoSXtxDoiSckZGc5LrJuspPxGrbkNpsdJBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"be498f403d939b322c4a620f4cdba36128b730b03fd98be4f09af7f2a8735b2f","last_reissued_at":"2026-05-17T23:44:06.559393Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:44:06.559393Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1906.01681","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-17T23:44:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"eU0ee7j8F4dOePO5ikigHzpHp9R7JtKu9yVe+Ry6//N4jXLpb5QJycIinAPq8VWAchQj7lNSY3/ilqPbS2tAAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T08:35:24.046928Z"},"content_sha256":"c807d9c912d2053e67b2dd6a39005f7ef792415802f8e1cbb7f438054da58f44","schema_version":"1.0","event_id":"sha256:c807d9c912d2053e67b2dd6a39005f7ef792415802f8e1cbb7f438054da58f44"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:XZEY6QB5SONTELCKMIHUZW5DME","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Learning dynamic polynomial proofs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CC","math.OC","stat.ML"],"primary_cat":"cs.LG","authors_text":"Alhussein Fawzi, Hamza Fawzi, Mateusz Malinowski, Omar Fawzi","submitted_at":"2019-06-04T18:58:40Z","abstract_excerpt":"Polynomial inequalities lie at the heart of many mathematical disciplines. In this paper, we consider the fundamental computational task of automatically searching for proofs of polynomial inequalities. We adopt the framework of semi-algebraic proof systems that manipulate polynomial inequalities via elementary inference rules that infer new inequalities from the premises. These proof systems are known to be very powerful, but searching for proofs remains a major difficulty. In this work, we introduce a machine learning based method to search for a dynamic proof within these proof systems. We "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1906.01681","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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-17T23:44:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jGopndvK98q4yjXZx30DbU7xYrHxVSUi1Kv2+19EkMSzHArMnIbvzsV35JrS99D1oNggdpE4v8l2wXqeTL+sAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T08:35:24.047343Z"},"content_sha256":"76cbf0d09c64a773d5410d28b95ada88bf50893f2634f2f9eb8d2a9f751f3a84","schema_version":"1.0","event_id":"sha256:76cbf0d09c64a773d5410d28b95ada88bf50893f2634f2f9eb8d2a9f751f3a84"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XZEY6QB5SONTELCKMIHUZW5DME/bundle.json","state_url":"https://pith.science/pith/XZEY6QB5SONTELCKMIHUZW5DME/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XZEY6QB5SONTELCKMIHUZW5DME/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-05-27T08:35:24Z","links":{"resolver":"https://pith.science/pith/XZEY6QB5SONTELCKMIHUZW5DME","bundle":"https://pith.science/pith/XZEY6QB5SONTELCKMIHUZW5DME/bundle.json","state":"https://pith.science/pith/XZEY6QB5SONTELCKMIHUZW5DME/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XZEY6QB5SONTELCKMIHUZW5DME/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:XZEY6QB5SONTELCKMIHUZW5DME","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"3d67dede5c8af4816698701e04a650ece33173a48baec400e9a9b918f0da66b2","cross_cats_sorted":["cs.CC","math.OC","stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2019-06-04T18:58:40Z","title_canon_sha256":"24de0a45af312b142efde45d4f78d8a20ea8060cc781b6a14a2c1ac8c2a520ad"},"schema_version":"1.0","source":{"id":"1906.01681","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1906.01681","created_at":"2026-05-17T23:44:06Z"},{"alias_kind":"arxiv_version","alias_value":"1906.01681v1","created_at":"2026-05-17T23:44:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1906.01681","created_at":"2026-05-17T23:44:06Z"},{"alias_kind":"pith_short_12","alias_value":"XZEY6QB5SONT","created_at":"2026-05-18T12:33:33Z"},{"alias_kind":"pith_short_16","alias_value":"XZEY6QB5SONTELCK","created_at":"2026-05-18T12:33:33Z"},{"alias_kind":"pith_short_8","alias_value":"XZEY6QB5","created_at":"2026-05-18T12:33:33Z"}],"graph_snapshots":[{"event_id":"sha256:76cbf0d09c64a773d5410d28b95ada88bf50893f2634f2f9eb8d2a9f751f3a84","target":"graph","created_at":"2026-05-17T23:44:06Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"Polynomial inequalities lie at the heart of many mathematical disciplines. In this paper, we consider the fundamental computational task of automatically searching for proofs of polynomial inequalities. We adopt the framework of semi-algebraic proof systems that manipulate polynomial inequalities via elementary inference rules that infer new inequalities from the premises. These proof systems are known to be very powerful, but searching for proofs remains a major difficulty. In this work, we introduce a machine learning based method to search for a dynamic proof within these proof systems. We ","authors_text":"Alhussein Fawzi, Hamza Fawzi, Mateusz Malinowski, Omar Fawzi","cross_cats":["cs.CC","math.OC","stat.ML"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2019-06-04T18:58:40Z","title":"Learning dynamic polynomial proofs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1906.01681","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:c807d9c912d2053e67b2dd6a39005f7ef792415802f8e1cbb7f438054da58f44","target":"record","created_at":"2026-05-17T23:44:06Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"3d67dede5c8af4816698701e04a650ece33173a48baec400e9a9b918f0da66b2","cross_cats_sorted":["cs.CC","math.OC","stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2019-06-04T18:58:40Z","title_canon_sha256":"24de0a45af312b142efde45d4f78d8a20ea8060cc781b6a14a2c1ac8c2a520ad"},"schema_version":"1.0","source":{"id":"1906.01681","kind":"arxiv","version":1}},"canonical_sha256":"be498f403d939b322c4a620f4cdba36128b730b03fd98be4f09af7f2a8735b2f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"be498f403d939b322c4a620f4cdba36128b730b03fd98be4f09af7f2a8735b2f","first_computed_at":"2026-05-17T23:44:06.559393Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:44:06.559393Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"VgqdYThiQp2uhPe4uHRgmiTRQu8bqJprdWuHP3WRaphQ8gu6Z+qaoSXtxDoiSckZGc5LrJuspPxGrbkNpsdJBA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:44:06.559976Z","signed_message":"canonical_sha256_bytes"},"source_id":"1906.01681","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c807d9c912d2053e67b2dd6a39005f7ef792415802f8e1cbb7f438054da58f44","sha256:76cbf0d09c64a773d5410d28b95ada88bf50893f2634f2f9eb8d2a9f751f3a84"],"state_sha256":"6648c4d2cd5e983d5dad2ceadb71d5553d508b3e2e246e82da2588fd9cc92b33"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3pjmORJuaazDcyIZ+ZPfcRpufX4XwgDW9VjRQG5OSJzTAt16Gp9Cu6oKH1y15lyIUtS0lN9+6ZtIUALzXnw/CA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T08:35:24.050424Z","bundle_sha256":"58f6a4a8a70c7b9e0a9c0af29e15cdf81d581fbce6b2b9e47371fbc35d16ed4e"}}