New NOMATEN JUNIOR Seminar format: SEPT 21st at 1PM: Presentation of the subgoal search method for complex reasoning tasks

Date
Date 2
Place
https://www.gotomeet.me/NCBJmeetings/nomaten-seminar
JUNIOR NOMATEN SEMINAR:
 
 
 
 
Tomasz Odrzygóźdź PhD (AWARElab, postdoc researcher at the University of Warsaw)
 
SEPTEMBER 21th 2021, 13:00-14:30
 
 
 
 
 
 
Abstract: 
Humans excel in solving complex reasoning tasks through a mental process of moving from one idea to a related one. Inspired by this, we propose Subgoal Search (kSubS) method. Its key component is a learned subgoal generator that produces a diversity of subgoals that are both achievable and closer to the solution. Using subgoals reduces the search space and induces a high-level search graph suitable for efficient planning. We show that a simple approach of generating k-th step ahead subgoals is surprisingly efficient on three challenging domains: two popular puzzle games, Sokoban and the Rubik's Cube, and an inequality proving benchmark INT. The method achieves strong results including state-of-the-art on INT within a modest computational budget.
 
Bio: 
Dr. Tomasz Odrzygóźdź is currently a postdoctoral researcher at AWARElab led by dr hab. Piotr Miłoś. He completed his Ph.D. in theoretical mathematics at the Polish Academy of Sciences in 2019 in the area of geometric group theory. 
After Ph.D., Dr. Odrzygóźdź transferred to the field of AI.  His current research interests focus on automated reasoning systems e.g. automated theorem proving.
 
Galeria
JUNIOR NOMATEN Seminar

Tags



This project has received funding from the European Union Horizon 2020 research and innovation
programme under grant agreement No 857470 and from European Regional Development Fund
via Foundation for Polish Science International Research Agenda PLUS programme grant
No MAB PLUS/2018/8.
Poland
The project is co-financed from the state budget within the framework of the undertaking of the Minister of Science and Higher Education "Support for the activities of Centers of Excellence established under Horizon 2020".

Grant: 5 143 237,70 EUR
Total value: 29 971 365,00 EUR
Date of signing the funding agreement: December 2023

The purpose of the undertaking is to support entities of the higher education and science system that have received funding from the European Union budget in the competition H2020-WIDESPREAD-2018-2020/WIDESPREAD-01-2018-2019: Teaming Phase 2. in the preparation, implementation and updating of activities, maintenance of material resources necessary for carrying out activities, acquisition and modernization of scientific and research apparatus, maintenance and development of personnel potential necessary for the implementation of activities, and dissemination of the results of scientific activities.