Reverse Engineering a Neural Network's Clever Solution to Binary Addition (2023)