James Ainooson has been studying methods for search-based program synthesis using his new Visual Imagery Reasoning Language (VIMRL). His work (with assists from our other PhD students Ryan Yang, Deepayan Sanyal, and Joel Michelson) just tied for 4th place on the 2022 ARCathon challenge:

https://lab42.global/past-challenges/arcathon-2022/

Let’s see what happens in the 2023 challenge!

Way to go, James!