The approach of making an algebraic function across real numbers that can then be differentiated to allow for training, seems brilliant to me. The end result of this work is a trees of logical gates, which could be pushed into an FPGA for really fast and efficient execution.
I look forward to digging into their results, and attempting to parse them into something that works with a bit level systolic array.