{"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-2510-07312","title":"h1: Bootstrapping LLMs to Reason over Longer Horizons via Reinforcement Learning","arxiv_id":"2510.07312","date":"2025-10-08","proceeding":null,"authors":["Sumeet Ramesh Motwani","Alesia Ivanova","Ziyang Cai","Philip Torr","Riashat Islam","Shital Shah","Christian Schroeder de Witt","Charles London"],"abstract":"Large language models excel at short-horizon reasoning tasks, but performance drops as reasoning horizon lengths increase. Existing approaches to combat this rely on inference-time scaffolding or costly step-level supervision, neither of which scales easily. In this work, we introduce a scalable method to bootstrap long-horizon reasoning capabilities using only existing, abundant short-horizon data. Our approach synthetically composes simple problems into complex, multi-step dependency chains of arbitrary length. We train models on this data using outcome-only rewards under a curriculum that automatically increases in complexity, allowing RL training to be scaled much further without saturating. Empirically, our method generalizes remarkably well: curriculum training on composed 6th-grade level math problems (GSM8K) boosts accuracy on longer, competition-level benchmarks (GSM-Symbolic, MATH-500, AIME) by up to 2.06x. It also transfers significantly to diverse out-of-distribution ReasoningGym domains and long-context benchmarks, indicating broader generalization. Importantly, our long-horizon improvements are significantly higher than baselines even at high pass@k, showing that models can learn new reasoning paths under RL. Theoretically, we show that curriculum RL with outcome rewards achieves an exponential improvement in sample complexity over full-horizon training, providing training signal comparable to dense supervision. h1 therefore introduces an efficient path towards scaling RL for long-horizon problems using only existing data.","url_abs":"https://arxiv.org/abs/2510.07312","url_pdf":"https://arxiv.org/pdf/2510.07312","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=2510.07312","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2510.07312"}},"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/AlesyaIvanova/h1","reach":{"status":"ok"}}],"summary":{"ran_honours":1,"ran":2,"ran_violates":1,"unverified":14},"by_repo_kind":{"found_in_text":{"samples":18,"ran":4,"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":"368d3db6347269c3","entry":"count_unknown_letters_in_expr","repo":"AlesyaIvanova/h1","repo_kind":"found_in_text","path":"math_utils.py","file_url":"https://github.com/AlesyaIvanova/h1/blob/HEAD/math_utils.py","link_basis":"harvester_set","language":"python","status":"ran_honours","verification_level":1,"contract_check":"HONOURS","metamorphic_tier":"well_formed","behaviour_fingerprint":true,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"368d3db6347269c3"}},{"code_sha256_prefix":"08fcee8ccfd3d4a9","entry":"extract_xml_answer","repo":"AlesyaIvanova/h1","repo_kind":"found_in_text","path":"grpo.py","file_url":"https://github.com/AlesyaIvanova/h1/blob/HEAD/grpo.py","link_basis":"plan_row","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":"08fcee8ccfd3d4a9"}},{"code_sha256_prefix":"101b1e54fcdadf90","entry":"normalize_answer","repo":"AlesyaIvanova/h1","repo_kind":"found_in_text","path":"math_utils.py","file_url":"https://github.com/AlesyaIvanova/h1/blob/HEAD/math_utils.py","link_basis":"plan_row","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":"101b1e54fcdadf90"}},{"code_sha256_prefix":"95f02454eddf082a","entry":"should_allow_eval","repo":"AlesyaIvanova/h1","repo_kind":"found_in_text","path":"math_utils.py","file_url":"https://github.com/AlesyaIvanova/h1/blob/HEAD/math_utils.py","link_basis":"harvester_set","language":"python","status":"ran_violates","verification_level":1,"contract_check":"VIOLATES","metamorphic_tier":"deterministic","behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"95f02454eddf082a"}},{"code_sha256_prefix":"7d22cc3425cfa2c6","entry":"combine_datasets","repo":"AlesyaIvanova/h1","repo_kind":"found_in_text","path":"combine_datasets.py","file_url":"https://github.com/AlesyaIvanova/h1/blob/HEAD/combine_datasets.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":"7d22cc3425cfa2c6"}},{"code_sha256_prefix":"3d0358bbcc423041","entry":"extract_answer_from_text","repo":"AlesyaIvanova/h1","repo_kind":"found_in_text","path":"grpo.py","file_url":"https://github.com/AlesyaIvanova/h1/blob/HEAD/grpo.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":"3d0358bbcc423041"}},{"code_sha256_prefix":"794cac8b76f7d705","entry":"find_integers_in_problem","repo":"AlesyaIvanova/h1","repo_kind":"found_in_text","path":"combine_questions_without_code_generation.py","file_url":"https://github.com/AlesyaIvanova/h1/blob/HEAD/combine_questions_without_code_generation.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":"794cac8b76f7d705"}},{"code_sha256_prefix":"d374f5c33a2daed9","entry":"find_number_in_question","repo":"AlesyaIvanova/h1","repo_kind":"found_in_text","path":"combine_questions_into_long_horizon_resoning.py","file_url":"https://github.com/AlesyaIvanova/h1/blob/HEAD/combine_questions_into_long_horizon_resoning.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":"d374f5c33a2daed9"}},{"code_sha256_prefix":"405ed0fe777e94ce","entry":"get_final_answer","repo":"AlesyaIvanova/h1","repo_kind":"found_in_text","path":"combine_questions_into_long_horizon_resoning.py","file_url":"https://github.com/AlesyaIvanova/h1/blob/HEAD/combine_questions_into_long_horizon_resoning.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":"405ed0fe777e94ce"}},{"code_sha256_prefix":"67d97e1447eb564b","entry":"is_integer_answer","repo":"AlesyaIvanova/h1","repo_kind":"found_in_text","path":"combine_questions_without_code_generation.py","file_url":"https://github.com/AlesyaIvanova/h1/blob/HEAD/combine_questions_without_code_generation.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":"67d97e1447eb564b"}},{"code_sha256_prefix":"b72d7afd1ebdc85a","entry":"legacy_extract_answer","repo":"AlesyaIvanova/h1","repo_kind":"found_in_text","path":"grpo.py","file_url":"https://github.com/AlesyaIvanova/h1/blob/HEAD/grpo.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":"b72d7afd1ebdc85a"}},{"code_sha256_prefix":"d95024e36958b9e1","entry":"load_dataset","repo":"AlesyaIvanova/h1","repo_kind":"found_in_text","path":"combine_datasets.py","file_url":"https://github.com/AlesyaIvanova/h1/blob/HEAD/combine_datasets.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":"d95024e36958b9e1"}},{"code_sha256_prefix":"962775950d8d4e55","entry":"load_general_dataset","repo":"AlesyaIvanova/h1","repo_kind":"found_in_text","path":"math_eval.py","file_url":"https://github.com/AlesyaIvanova/h1/blob/HEAD/math_eval.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":"962775950d8d4e55"}},{"code_sha256_prefix":"b0078f06062c1ce9","entry":"parse_final_answer","repo":"AlesyaIvanova/h1","repo_kind":"found_in_text","path":"solution_code_generation.py","file_url":"https://github.com/AlesyaIvanova/h1/blob/HEAD/solution_code_generation.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":"b0078f06062c1ce9"}},{"code_sha256_prefix":"5127f5edca18c9b5","entry":"replace_integer_with_variable","repo":"AlesyaIvanova/h1","repo_kind":"found_in_text","path":"combine_questions_without_code_generation.py","file_url":"https://github.com/AlesyaIvanova/h1/blob/HEAD/combine_questions_without_code_generation.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":"5127f5edca18c9b5"}},{"code_sha256_prefix":"481fad6e04e6c4bb","entry":"strip_code_block_markers","repo":"AlesyaIvanova/h1","repo_kind":"found_in_text","path":"solution_code_generation.py","file_url":"https://github.com/AlesyaIvanova/h1/blob/HEAD/solution_code_generation.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":"481fad6e04e6c4bb"}},{"code_sha256_prefix":"a76d39c0f782065f","entry":"take_first_samples","repo":"AlesyaIvanova/h1","repo_kind":"found_in_text","path":"combine_datasets.py","file_url":"https://github.com/AlesyaIvanova/h1/blob/HEAD/combine_datasets.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":"a76d39c0f782065f"}},{"code_sha256_prefix":"900e6c1fd3363c0f","entry":"test_generated_code","repo":"AlesyaIvanova/h1","repo_kind":"found_in_text","path":"solution_code_generation.py","file_url":"https://github.com/AlesyaIvanova/h1/blob/HEAD/solution_code_generation.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":"900e6c1fd3363c0f"}}]},"arxiv_metadata":{"licence":"arXiv metadata, CC0 1.0 (https://info.arxiv.org/help/license)","fields":["title","abstract","authors","date"],"primary_category":"cs.LG","source":"arxiv_api"},"syntology_extracted_results":null}