0:00 Speaker Introduction 0:45 Introduction to ARC-DSL 8:26 Data Generation 12:13 How close is DSL to human priors 14:42 How to decide which DSL to keep and which to add in 19:53 Introduction to RE-ARC 23:45 Overview of RE-ARC 25:32 Task Generalisation in RE-ARC 26:00 Example Verification in RE-ARC 26:47 Example Difficulty in RE-ARC 31:48 Limitations of RE-ARC 33:37 Examples of RE-ARC 35:22 Using RE-ARC to gauge model learning 37:48 Vision for meta-learning beyond RE-ARC 39:08 Can arbitrary DSL be generated with RE-ARC? 43:17 Discussion
0:00 Speaker Introduction
0:45 Introduction to ARC-DSL
8:26 Data Generation
12:13 How close is DSL to human priors
14:42 How to decide which DSL to keep and which to add in
19:53 Introduction to RE-ARC
23:45 Overview of RE-ARC
25:32 Task Generalisation in RE-ARC
26:00 Example Verification in RE-ARC
26:47 Example Difficulty in RE-ARC
31:48 Limitations of RE-ARC
33:37 Examples of RE-ARC
35:22 Using RE-ARC to gauge model learning
37:48 Vision for meta-learning beyond RE-ARC
39:08 Can arbitrary DSL be generated with RE-ARC?
43:17 Discussion
great to have this interview!
Repo: github.com/michaelhodel/re-arc
Paper: arxiv.org/abs/2404.07353