Subgoal Search For Complex Reasoning Tasks

25 August 2021

Papers citing "Subgoal Search For Complex Reasoning Tasks"

8 / 8 papers shown

Title
OptionZero: Planning with Learned Options Po-Wei Huang Pei-Chiun Peng Hung Guei Ti-Rong Wu 55 0 0 23 Feb 2025
What Matters in Hierarchical Search for Combinatorial Reasoning Problems? Michał Zawalski Gracjan Góral Michał Tyrolski Emilia Wisnios Franciszek Budrowski Marek Cygan Łukasz Kuciński Piotr Miłoś 47 0 0 05 Jun 2024
Proving Theorems Recursively Haiming Wang Huajian Xin Zhengying Liu Wenda Li Yinya Huang ... Zhicheng YANG Jing Tang Jian Yin Zhenguo Li Xiaodan Liang LRM 38 12 0 23 May 2024
Hybrid Search for Efficient Planning with Completeness Guarantees Kalle Kujanpää Joni Pajarinen Alexander Ilin 27 3 0 19 Oct 2023
Fast and Precise: Adjusting Planning Horizon with Adaptive Subgoal Search Michał Zawalski Michał Tyrolski K. Czechowski Tomasz Odrzygó'zd'z Damian Stachura Piotr Pikekos Yuhuai Wu Lukasz Kuciñski Piotr Milo's LRM 18 8 0 01 Jun 2022
Generalizing to New Tasks via One-Shot Compositional Subgoals Xihan Bian Oscar Alejandro Mendez Maldonado Simon Hadfield CLL OffRL 32 1 0 16 May 2022
Formal Mathematics Statement Curriculum Learning Stanislas Polu Jesse Michael Han Kunhao Zheng Mantas Baksys Igor Babuschkin Ilya Sutskever AIMat 84 116 0 03 Feb 2022
Learning from Trajectories via Subgoal Discovery S. Paul J. Baar A. Roy-Chowdhury 81 47 0 03 Nov 2019