1 citations · 1 across the 6 of their papers we have counts for
Showing 2026 · cs.AIShow all
2 papers · 2 filters
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…