{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:LBRN7SPXWW3G5ACZ7JPGGWALZ4","short_pith_number":"pith:LBRN7SPX","schema_version":"1.0","canonical_sha256":"5862dfc9f7b5b66e8059fa5e63580bcf0c4c6b8fea041b5a0fec01f0f0672ac8","source":{"kind":"arxiv","id":"2401.04237","version":1},"attestation_state":"computed","paper":{"title":"A learning-based mathematical programming formulation for the automatic configuration of optimization solvers","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"math.OC","authors_text":"Antonio Frangioni, Claudia D'Ambrosio, Gabriele Iommazzo, Leo Liberti","submitted_at":"2024-01-08T21:10:56Z","abstract_excerpt":"We propose a methodology, based on machine learning and optimization, for selecting a solver configuration for a given instance. First, we employ a set of solved instances and configurations in order to learn a performance function of the solver. Secondly, we formulate a mixed-integer nonlinear program where the objective/constraints explicitly encode the learnt information, and which we solve, upon the arrival of an unknown instance, to find the best solver configuration for that instance, based on the performance function. The main novelty of our approach lies in the fact that the configurat"},"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":"2401.04237","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2024-01-08T21:10:56Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"fd44431cc475497e5453f86fbade91ca28dbba8cae69219f16f739f39f526bd0","abstract_canon_sha256":"f8527521932d6967351e688ae0d6539c82df55c5a2fb6060af402f4f8a1484d6"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:31:40.798328Z","signature_b64":"FvQ7Dy3ZyKYf2NBC2GeBMj+T1D1sxhMtWV+Sw66F4jLqN+T+LFAU1CWJMFBEDWLwe1jKZGx4irUpfD27IZnLDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5862dfc9f7b5b66e8059fa5e63580bcf0c4c6b8fea041b5a0fec01f0f0672ac8","last_reissued_at":"2026-07-05T07:31:40.797844Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:31:40.797844Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A learning-based mathematical programming formulation for the automatic configuration of optimization solvers","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"math.OC","authors_text":"Antonio Frangioni, Claudia D'Ambrosio, Gabriele Iommazzo, Leo Liberti","submitted_at":"2024-01-08T21:10:56Z","abstract_excerpt":"We propose a methodology, based on machine learning and optimization, for selecting a solver configuration for a given instance. First, we employ a set of solved instances and configurations in order to learn a performance function of the solver. Secondly, we formulate a mixed-integer nonlinear program where the objective/constraints explicitly encode the learnt information, and which we solve, upon the arrival of an unknown instance, to find the best solver configuration for that instance, based on the performance function. The main novelty of our approach lies in the fact that the configurat"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2401.04237","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2401.04237/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":"2401.04237","created_at":"2026-07-05T07:31:40.797901+00:00"},{"alias_kind":"arxiv_version","alias_value":"2401.04237v1","created_at":"2026-07-05T07:31:40.797901+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2401.04237","created_at":"2026-07-05T07:31:40.797901+00:00"},{"alias_kind":"pith_short_12","alias_value":"LBRN7SPXWW3G","created_at":"2026-07-05T07:31:40.797901+00:00"},{"alias_kind":"pith_short_16","alias_value":"LBRN7SPXWW3G5ACZ","created_at":"2026-07-05T07:31:40.797901+00:00"},{"alias_kind":"pith_short_8","alias_value":"LBRN7SPX","created_at":"2026-07-05T07:31:40.797901+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/LBRN7SPXWW3G5ACZ7JPGGWALZ4","json":"https://pith.science/pith/LBRN7SPXWW3G5ACZ7JPGGWALZ4.json","graph_json":"https://pith.science/api/pith-number/LBRN7SPXWW3G5ACZ7JPGGWALZ4/graph.json","events_json":"https://pith.science/api/pith-number/LBRN7SPXWW3G5ACZ7JPGGWALZ4/events.json","paper":"https://pith.science/paper/LBRN7SPX"},"agent_actions":{"view_html":"https://pith.science/pith/LBRN7SPXWW3G5ACZ7JPGGWALZ4","download_json":"https://pith.science/pith/LBRN7SPXWW3G5ACZ7JPGGWALZ4.json","view_paper":"https://pith.science/paper/LBRN7SPX","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2401.04237&json=true","fetch_graph":"https://pith.science/api/pith-number/LBRN7SPXWW3G5ACZ7JPGGWALZ4/graph.json","fetch_events":"https://pith.science/api/pith-number/LBRN7SPXWW3G5ACZ7JPGGWALZ4/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/LBRN7SPXWW3G5ACZ7JPGGWALZ4/action/timestamp_anchor","attest_storage":"https://pith.science/pith/LBRN7SPXWW3G5ACZ7JPGGWALZ4/action/storage_attestation","attest_author":"https://pith.science/pith/LBRN7SPXWW3G5ACZ7JPGGWALZ4/action/author_attestation","sign_citation":"https://pith.science/pith/LBRN7SPXWW3G5ACZ7JPGGWALZ4/action/citation_signature","submit_replication":"https://pith.science/pith/LBRN7SPXWW3G5ACZ7JPGGWALZ4/action/replication_record"}},"created_at":"2026-07-05T07:31:40.797901+00:00","updated_at":"2026-07-05T07:31:40.797901+00:00"}