{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:G67QVS6T2SH5AJKYKRO5E72XZ6","short_pith_number":"pith:G67QVS6T","canonical_record":{"source":{"id":"1904.11061","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2019-04-24T20:42:59Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"6f5e871647959e5665d2c1e36e84bebbe00cf501d8d46ebb48dce6c014261cc8","abstract_canon_sha256":"5c40d0233f2adafa71c75be5ea5f0fca712d3af34444689bbf18f516b7ea8005"},"schema_version":"1.0"},"canonical_sha256":"37bf0acbd3d48fd02558545dd27f57cfa91bdd75a94c317d87cd2bb36cf9aa14","source":{"kind":"arxiv","id":"1904.11061","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1904.11061","created_at":"2026-05-17T23:40:32Z"},{"alias_kind":"arxiv_version","alias_value":"1904.11061v2","created_at":"2026-05-17T23:40:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1904.11061","created_at":"2026-05-17T23:40:32Z"},{"alias_kind":"pith_short_12","alias_value":"G67QVS6T2SH5","created_at":"2026-05-18T12:33:18Z"},{"alias_kind":"pith_short_16","alias_value":"G67QVS6T2SH5AJKY","created_at":"2026-05-18T12:33:18Z"},{"alias_kind":"pith_short_8","alias_value":"G67QVS6T","created_at":"2026-05-18T12:33:18Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:G67QVS6T2SH5AJKYKRO5E72XZ6","target":"record","payload":{"canonical_record":{"source":{"id":"1904.11061","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2019-04-24T20:42:59Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"6f5e871647959e5665d2c1e36e84bebbe00cf501d8d46ebb48dce6c014261cc8","abstract_canon_sha256":"5c40d0233f2adafa71c75be5ea5f0fca712d3af34444689bbf18f516b7ea8005"},"schema_version":"1.0"},"canonical_sha256":"37bf0acbd3d48fd02558545dd27f57cfa91bdd75a94c317d87cd2bb36cf9aa14","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:40:32.375243Z","signature_b64":"Qrh50ZGotpPIhF88t7QPpCqHDa4YDTogkkjpsTZF25enmgs5jFMK/1vY0NCCqavpOiZX8r7PGRc3LJEHUJTxCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"37bf0acbd3d48fd02558545dd27f57cfa91bdd75a94c317d87cd2bb36cf9aa14","last_reissued_at":"2026-05-17T23:40:32.374586Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:40:32.374586Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1904.11061","source_version":2,"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:40:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bM0pBlK4kQmHKCjrZWjueU/RcyKJEfrOtUKfC+UFgzsOWbSCMCebK1AbcANuwhJuyaJ24MQjx2p9Lmca85NFDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T23:03:52.891062Z"},"content_sha256":"2d7174bac3b3838c6af33e2f381df98edf33168e6651ed30a390fe014ec0d99d","schema_version":"1.0","event_id":"sha256:2d7174bac3b3838c6af33e2f381df98edf33168e6651ed30a390fe014ec0d99d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:G67QVS6T2SH5AJKYKRO5E72XZ6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"cs.SC","authors_text":"Dorian Florescu, Matthew England","submitted_at":"2019-04-24T20:42:59Z","abstract_excerpt":"There has been recent interest in the use of machine learning (ML) approaches within mathematical software to make choices that impact on the computing performance without affecting the mathematical correctness of the result. We address the problem of selecting the variable ordering for cylindrical algebraic decomposition (CAD), an important algorithm in Symbolic Computation. Prior work to apply ML on this problem implemented a Support Vector Machine (SVM) to select between three existing human-made heuristics, which did better than anyone heuristic alone. The present work extends to have ML s"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1904.11061","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":""},"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:40:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ecVRmmhtjxtyg2L/D8PQWp1f9ojCu/0cvVlAM4I9FiDWnmQNgWZMP5USVxD9YzAzYdn6Y9j4Ey50PQyQcjoLCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T23:03:52.891414Z"},"content_sha256":"3d4adc63ab5570dd6e2742e8de87f152276703891628d25a7dda109eecb628bd","schema_version":"1.0","event_id":"sha256:3d4adc63ab5570dd6e2742e8de87f152276703891628d25a7dda109eecb628bd"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/G67QVS6T2SH5AJKYKRO5E72XZ6/bundle.json","state_url":"https://pith.science/pith/G67QVS6T2SH5AJKYKRO5E72XZ6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/G67QVS6T2SH5AJKYKRO5E72XZ6/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-06-01T23:03:52Z","links":{"resolver":"https://pith.science/pith/G67QVS6T2SH5AJKYKRO5E72XZ6","bundle":"https://pith.science/pith/G67QVS6T2SH5AJKYKRO5E72XZ6/bundle.json","state":"https://pith.science/pith/G67QVS6T2SH5AJKYKRO5E72XZ6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/G67QVS6T2SH5AJKYKRO5E72XZ6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:G67QVS6T2SH5AJKYKRO5E72XZ6","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":"5c40d0233f2adafa71c75be5ea5f0fca712d3af34444689bbf18f516b7ea8005","cross_cats_sorted":["cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2019-04-24T20:42:59Z","title_canon_sha256":"6f5e871647959e5665d2c1e36e84bebbe00cf501d8d46ebb48dce6c014261cc8"},"schema_version":"1.0","source":{"id":"1904.11061","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1904.11061","created_at":"2026-05-17T23:40:32Z"},{"alias_kind":"arxiv_version","alias_value":"1904.11061v2","created_at":"2026-05-17T23:40:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1904.11061","created_at":"2026-05-17T23:40:32Z"},{"alias_kind":"pith_short_12","alias_value":"G67QVS6T2SH5","created_at":"2026-05-18T12:33:18Z"},{"alias_kind":"pith_short_16","alias_value":"G67QVS6T2SH5AJKY","created_at":"2026-05-18T12:33:18Z"},{"alias_kind":"pith_short_8","alias_value":"G67QVS6T","created_at":"2026-05-18T12:33:18Z"}],"graph_snapshots":[{"event_id":"sha256:3d4adc63ab5570dd6e2742e8de87f152276703891628d25a7dda109eecb628bd","target":"graph","created_at":"2026-05-17T23:40:32Z","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":"There has been recent interest in the use of machine learning (ML) approaches within mathematical software to make choices that impact on the computing performance without affecting the mathematical correctness of the result. We address the problem of selecting the variable ordering for cylindrical algebraic decomposition (CAD), an important algorithm in Symbolic Computation. Prior work to apply ML on this problem implemented a Support Vector Machine (SVM) to select between three existing human-made heuristics, which did better than anyone heuristic alone. The present work extends to have ML s","authors_text":"Dorian Florescu, Matthew England","cross_cats":["cs.LG"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2019-04-24T20:42:59Z","title":"Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1904.11061","kind":"arxiv","version":2},"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:2d7174bac3b3838c6af33e2f381df98edf33168e6651ed30a390fe014ec0d99d","target":"record","created_at":"2026-05-17T23:40:32Z","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":"5c40d0233f2adafa71c75be5ea5f0fca712d3af34444689bbf18f516b7ea8005","cross_cats_sorted":["cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2019-04-24T20:42:59Z","title_canon_sha256":"6f5e871647959e5665d2c1e36e84bebbe00cf501d8d46ebb48dce6c014261cc8"},"schema_version":"1.0","source":{"id":"1904.11061","kind":"arxiv","version":2}},"canonical_sha256":"37bf0acbd3d48fd02558545dd27f57cfa91bdd75a94c317d87cd2bb36cf9aa14","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"37bf0acbd3d48fd02558545dd27f57cfa91bdd75a94c317d87cd2bb36cf9aa14","first_computed_at":"2026-05-17T23:40:32.374586Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:40:32.374586Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Qrh50ZGotpPIhF88t7QPpCqHDa4YDTogkkjpsTZF25enmgs5jFMK/1vY0NCCqavpOiZX8r7PGRc3LJEHUJTxCQ==","signature_status":"signed_v1","signed_at":"2026-05-17T23:40:32.375243Z","signed_message":"canonical_sha256_bytes"},"source_id":"1904.11061","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2d7174bac3b3838c6af33e2f381df98edf33168e6651ed30a390fe014ec0d99d","sha256:3d4adc63ab5570dd6e2742e8de87f152276703891628d25a7dda109eecb628bd"],"state_sha256":"1d7ab4514df1e15a7654eee7189157095ad99a39ccbe7a99aebd7e613adccc29"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"m74PYkLYUh+/jOGwDjzzfEJ5xGkx1Oe0/V6G2uFXlstQjDHmppFZEQ3ByGMQE6xchqguo50hEZGl85ch2/mnAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T23:03:52.893270Z","bundle_sha256":"a20d2e9d46a1ec78c1eab1db9b1b3a65985d4c1826ba5a0dfafe0416604233cc"}}