Google's winning submission to IWLS2023 Programming Contest
The goal of the contest was to synthesize AIGs[1] with the minimal number of two-input and-nodes (AIGs) and two-input xor-and-nodes (XAIGs), for a set of completely-specified multi-output Boolean functions represented using truth tables.
TL;DR: Build the smallest possible circuit that provides a given binary input/output mapping. The solution uses a technique called Circuit Neural Networks and Simulated Annealing.
Warning: the link to the article is actually a link to a video file. Not yt, or an online viewer, a video file