{"about":{"site":"https://codewithpapers.app","non_affiliation":"Code with Papers and Syntology are not affiliated with, endorsed by, or sponsored by Papers with Code, Meta, or the pwc-archive mirror.","licence":"CC BY-SA 4.0","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","attribution":"https://codewithpapers.app/attribution","modified":"archive material modified by Syntology; see the attribution page"},"url":"/paper/arxiv-2605-02545","title":"Strategy-Aware Optimization Modeling with Reasoning LLMs","arxiv_id":"2605.02545","date":"2026-05-04","proceeding":"ICML","authors":["Ruiqing Zhao","Fengzhi Li","Yuan Zuo","Rui Liu","Yansong Liu","Yunfei Ma","Fanyu Meng","Junlan Feng"],"abstract":"Large language models (LLMs) can generate syntactically valid optimization programs, yet often struggle to reliably choose an effective modeling strategy, leading to incorrect formulations and inefficient solver behavior. We propose SAGE, a strategy-aware framework that makes Modeling Strategy explicit in both data construction and post-training. SAGE builds a solver-verified multi-strategy dataset and trains a student model with supervised fine-tuning followed by Segment-Weighted GRPO using a composite reward over format compliance, correctness, and solver efficiency. Across eight benchmarks spanning synthetic and real-world settings, SAGE improves average pass@1 from 72.7 to 80.3 over the strongest open-source baseline. With multiple generations, SAGE discovers more distinct correct formulations and improves component-level diversity at pass@16 by 19-29%. At the largest scale, SAGE produces more compact constraint systems with 14.2% fewer constraints than the baseline, consistent with solver-efficient modeling. Overall, these results show that making Modeling Strategy explicit improves automated optimization modeling. Code is available at https://github.com/rachhhhing/SAGE.","url_abs":"https://arxiv.org/abs/2605.02545","url_pdf":"https://arxiv.org/pdf/2605.02545","source":{"archive":null,"snapshot":"2025-07-28","note":"not in the Papers with Code archive (frozen at the snapshot)","row_kind":"graph","title_abstract_authors_date":"arXiv metadata, CC0 1.0 (https://info.arxiv.org/help/license)"},"code_links":[],"tasks":[],"methods":[],"datasets_introduced":[],"methods_introduced":[],"results":[],"syntology":{"atlas_url":"https://app.syntology.ai/?focus=2605.02545","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2605.02545"}},"developers":"https://syntology.ai/developers","read_at":"2026-09-24T18:15:14+00:00","read_at_is":"when the build read Syntology's graph, not when any sample ran","claim":"Per-sample execution status on synthesized fixtures; not a correctness claim about the paper. Samples come from repositories linked to the paper, official or community; repo_kind says which.","repos":[{"mentioned_in_github":null,"is_official":null,"provenance":"deterministic:regex_extraction","mentioned_in_paper":null,"url":"https://github.com/rachhhhing/SAGE","reach":null}],"summary":{"ran":15,"unverified":3},"by_repo_kind":{"found_in_text":{"samples":18,"ran":15,"repositories":1}},"repo_kind_vocabulary":{"official":"The archive marks this repository official for the paper","named_in_paper":"The archive records that the paper mentions this repository; it is not marked official","listed":"In the archive's code links for this paper, not marked official and not recorded as mentioned in the paper","found_in_text":"Syntology found this repository in the paper's own text; whether it is the authors' implementation is not asserted","community":"Not in the archive's code links for this paper; a community repository Syntology harvested"},"n_pointer_only_for_licence":18,"samples":[{"code_sha256_prefix":"34c41c7c653b2aab","entry":"add_forced_prefix","repo":"rachhhhing/SAGE","repo_kind":"found_in_text","path":"reward_func/batch_score_no_eff.py","file_url":"https://github.com/rachhhhing/SAGE/blob/HEAD/reward_func/batch_score_no_eff.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":true,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"34c41c7c653b2aab"}},{"code_sha256_prefix":"dea64a5276dece42","entry":"compute_partial_loss_weights","repo":"rachhhhing/SAGE","repo_kind":"found_in_text","path":"segment_weight/ppo_weight/ray_trainer.py","file_url":"https://github.com/rachhhhing/SAGE/blob/HEAD/segment_weight/ppo_weight/ray_trainer.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"dea64a5276dece42"}},{"code_sha256_prefix":"f9d4075c4c062110","entry":"efficiency_reward","repo":"rachhhhing/SAGE","repo_kind":"found_in_text","path":"reward_func/batch_score.py","file_url":"https://github.com/rachhhhing/SAGE/blob/HEAD/reward_func/batch_score.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"f9d4075c4c062110"}},{"code_sha256_prefix":"dc0fc511d2aa9942","entry":"extract_code","repo":"rachhhhing/SAGE","repo_kind":"found_in_text","path":"eval/execute.py","file_url":"https://github.com/rachhhhing/SAGE/blob/HEAD/eval/execute.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":true,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"dc0fc511d2aa9942"}},{"code_sha256_prefix":"96a2b70a79fda250","entry":"extract_obj","repo":"rachhhhing/SAGE","repo_kind":"found_in_text","path":"eval/execute.py","file_url":"https://github.com/rachhhhing/SAGE/blob/HEAD/eval/execute.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":true,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"96a2b70a79fda250"}},{"code_sha256_prefix":"6f6f2eb4dfe79a92","entry":"extract_obj","repo":"rachhhhing/SAGE","repo_kind":"found_in_text","path":"reward_func/content_utils.py","file_url":"https://github.com/rachhhhing/SAGE/blob/HEAD/reward_func/content_utils.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":true,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"6f6f2eb4dfe79a92"}},{"code_sha256_prefix":"038678ff6db42fee","entry":"find_tag_start_position","repo":"rachhhhing/SAGE","repo_kind":"found_in_text","path":"segment_weight/ppo_weight/ray_trainer.py","file_url":"https://github.com/rachhhhing/SAGE/blob/HEAD/segment_weight/ppo_weight/ray_trainer.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"038678ff6db42fee"}},{"code_sha256_prefix":"c15d4169879b293c","entry":"format_reward","repo":"rachhhhing/SAGE","repo_kind":"found_in_text","path":"reward_func/batch_score.py","file_url":"https://github.com/rachhhhing/SAGE/blob/HEAD/reward_func/batch_score.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":true,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"c15d4169879b293c"}},{"code_sha256_prefix":"ef9fa7347607c290","entry":"format_reward","repo":"rachhhhing/SAGE","repo_kind":"found_in_text","path":"reward_func/batch_score_no_tem.py","file_url":"https://github.com/rachhhhing/SAGE/blob/HEAD/reward_func/batch_score_no_tem.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":true,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"ef9fa7347607c290"}},{"code_sha256_prefix":"6bc4a431c024319e","entry":"insert_print","repo":"rachhhhing/SAGE","repo_kind":"found_in_text","path":"reward_func/content_utils.py","file_url":"https://github.com/rachhhhing/SAGE/blob/HEAD/reward_func/content_utils.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":true,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"6bc4a431c024319e"}},{"code_sha256_prefix":"d37dd0c22fdd4508","entry":"load_data","repo":"rachhhhing/SAGE","repo_kind":"found_in_text","path":"eval/generate.py","file_url":"https://github.com/rachhhhing/SAGE/blob/HEAD/eval/generate.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"d37dd0c22fdd4508"}},{"code_sha256_prefix":"94d0c4245504c165","entry":"load_tags","repo":"rachhhhing/SAGE","repo_kind":"found_in_text","path":"segment_weight/ppo_weight/ray_trainer.py","file_url":"https://github.com/rachhhhing/SAGE/blob/HEAD/segment_weight/ppo_weight/ray_trainer.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"94d0c4245504c165"}},{"code_sha256_prefix":"ed2f60e530a69b2b","entry":"outcome_reward","repo":"rachhhhing/SAGE","repo_kind":"found_in_text","path":"reward_func/batch_score.py","file_url":"https://github.com/rachhhhing/SAGE/blob/HEAD/reward_func/batch_score.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"ed2f60e530a69b2b"}},{"code_sha256_prefix":"da03e1d0162e413d","entry":"outcome_reward","repo":"rachhhhing/SAGE","repo_kind":"found_in_text","path":"reward_func/batch_score_val.py","file_url":"https://github.com/rachhhhing/SAGE/blob/HEAD/reward_func/batch_score_val.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"da03e1d0162e413d"}},{"code_sha256_prefix":"7f8001a4a7d13a93","entry":"register_adv_est","repo":"rachhhhing/SAGE","repo_kind":"found_in_text","path":"segment_weight/ppo_weight/core_algos.py","file_url":"https://github.com/rachhhhing/SAGE/blob/HEAD/segment_weight/ppo_weight/core_algos.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"7f8001a4a7d13a93"}},{"code_sha256_prefix":"3f4159cfe3089da2","entry":"compile_script","repo":"rachhhhing/SAGE","repo_kind":"found_in_text","path":"eval/execute.py","file_url":"https://github.com/rachhhhing/SAGE/blob/HEAD/eval/execute.py","link_basis":"first_harvest_node","language":"python","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"3f4159cfe3089da2"}},{"code_sha256_prefix":"eaeb1c20e27a0a8c","entry":"extract_code_block","repo":"rachhhhing/SAGE","repo_kind":"found_in_text","path":"reward_func/content_utils.py","file_url":"https://github.com/rachhhhing/SAGE/blob/HEAD/reward_func/content_utils.py","link_basis":"first_harvest_node","language":"python","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"eaeb1c20e27a0a8c"}},{"code_sha256_prefix":"4934c3fc0de3741a","entry":"get_policy_loss_fn","repo":"rachhhhing/SAGE","repo_kind":"found_in_text","path":"segment_weight/ppo_weight/core_algos.py","file_url":"https://github.com/rachhhhing/SAGE/blob/HEAD/segment_weight/ppo_weight/core_algos.py","link_basis":"harvester_set","language":"python","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"4934c3fc0de3741a"}}]},"arxiv_metadata":{"licence":"arXiv metadata, CC0 1.0 (https://info.arxiv.org/help/license)","fields":["title","abstract","authors","date"],"primary_category":"cs.AI","source":"arxiv_2026.jsonl"},"syntology_extracted_results":null}