程序合成合成的程序本身是显式、可组合的符号结构，可以被验证和复用，与神经网络隐式权重形成对照。