Events

In Spanish

07/05/2025
  • DaSCI seminar - Michael Katz - Large Language Models for AI Planning: Efficiency and correctness through code generation

    07/05/2025  4:00 pm - 5:30 pm

    Title: Large Language Models for AI Planning: Efficiency and correctness through code generation

    Abstract: Among the most important properties of algorithms investigated in computer science are soundness, completeness, and complexity. These properties, however, are rarely analyzed for the vast collection of recently proposed methods for planning with large language models. In this work, we alleviate this gap. We analyze these properties of using LLMs for planning and highlight that recent trends abandon both soundness and completeness for the sake of inefficiency.

    We propose a significantly more efficient approach, Thought of Search (ToS), that can, at the same time, maintain both soundness and completeness. We exemplify on four representative search problems, comparing to the LLM-based solutions from the literature that attempt to solve these problems. We show that by using LLMs to produce the code for the search components we can solve the entire datasets with 100% accuracy with only a few calls to the LLM. The caveat is that ToS requires a human in the loop, collaboratively producing a sound successor function and goal test. To overcome this limitation, in this work, we make a first major step towards automating ToS (AutoToS), completely taking the human out of the loop of interactions with the language model. AutoToS guides the language model step by step towards the generation of sound and complete search components, through feedback from both generic and domain specific unit tests. AutoToS achieves 100% accuracy, with a small number of feedback iterations, using LLMs of various sizes on all evaluated domains.

    Bio: Michael Katz is a Principal Research Scientist at IBM T.J. Watson Research Center. His primary research interests are in domain independent planning and in the integration of planning and RL. He is a AAAI Senior Member. He was a program chair of ICAPS 2021 and currently serves as an ICAPS executive council board member and a Competition Liaison (second term). He received numerous awards for his research, including Influential Paper Award in 2023 and Best Dissertation Award in 2011 and for his domain-independent planning solvers. He was a co-organizer of seven editions of the Heuristics and Search for Domain-independent Planning (HSDIP) workshops, as well as of five of the seven editions of the Bridging the Gap Between AI Planning and Reinforcement Learning (PRL) workshop in 2020-2024, which he co-created. He is the creator and a workshop chair of the first edition of the workshop on Planning in the Era of LLMs (LM4Plan@AAAI 2025). He was a panelist at workshops/bridge program at AAAI/ICAPS. He has given tutorials on AI Planning at AAAI/IJCAI/ICAPS. He frequently serves as an AC/SPC for AAAI/IJCAI/ICAPS.

    Para entrar en la reunión, pulse el siguiente enlace:
    https://oficinavirtual.ugr.es/redes/SOR/SALVEUGR/accesosala.jsp?IDSALA=22997792
    - Contraseña de la reunión: 432510

    Ver más detalles

14/06/2025
  • Dia DaSCI - celebración del aniversario del instituto

    14/06/2025  9:30 am - 2:00 pm

    Jornadas de investigación para predoctorales con el que se celebra el aniversario creación oficial de DaSCI. Por sala ZOOM

    Ver más detalles