2 papers
cs.AI2024
Fast and Precise: Adjusting Planning Horizon with Adaptive Subgoal Search
MichaÅ Zawalski, MichaÅ Tyrolski, Konrad Czechowski +6
Complex reasoning problems contain states that vary in the computational cost required to determine a good action plan. Taking advantage of this property, we propose Adaptive Subgo…
cs.LG2024
Magnushammer: A Transformer-Based Approach to Premise Selection
Maciej MikuÅa, Szymon Tworkowski, Szymon Antoniak +7
This paper presents a novel approach to premise selection, a crucial reasoning task in automated theorem proving. Traditionally, symbolic methods that rely on extensive domain know…