1 citations · 1 across the 6 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.AI2026
LeanPlan: Optimal Planning with LLM-Generated Heuristics and Admissibility Proofs
André G. Pereira, Augusto B. Corrêa, Felipe Meneguzzi +1
Frontier large language models (LLMs) can generate heuristic functions that guide search to achieve state-of-the-art performance in satisficing planning, where any plan is acceptab…
cs.AI2026
Property-Guided LLM Program Synthesis for Planning
André G. Pereira, Augusto B. Corrêa, Jendrik Seipp
LLMs have shown impressive success in program synthesis, discovering programs that surpass prior solutions. However, these approaches rely on simple numeric scores to signal progra…