Author name: Augusto B. Corr\^ea, Andr\'e G. Pereira, Jendrik Seipp

arXiv:2511.09378v2 Announce Type: replace
Abstract: A series of influential studies established that large language models cannot reliably solve even simple planning tasks. We show that the latest generation of frontier models overturns this conclusio…

arXiv:2605.16142v1 Announce Type: new
Abstract: LLMs have shown impressive success in program synthesis, discovering programs that surpass prior solutions. However, these approaches rely on simple numeric scores to signal program quality, such as the …