When
1 – 2 p.m., Today
Where
Speaker: Joel Maldonado, Applied Mathematics
Title: Programming by example, program synthesis and the ARC AGI benchmark for Artificial General Intelligence
Abstract: : Programs that write programs has been an AI dream since its early stages. This talk frames the ARC-AGI2 benchmark for Artifical General intelligence as a Program synthesis problem. It’s a dataset of grid puzzles where a system must infer the rules that solve the puzzles from just a few examples. Surprisingly commercial LLMs fail to solve more than 10% of the dataset . We will talk about different approaches thrown at this challenge including our own Prolog based approach and give a Survey of new and old Ideas being tested and discussed in the AGI community.