Google's winning submission to IWLS2023 Programming Contest
raw.githubusercontent.com
raw.githubusercontent.com
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.