Graduate Students, Program in Applied Mathematics
When
Where
Speaker: Joel Maldonado, Program in 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.