在神经网络中嵌入布尔电路

Embedding boolean circuits in a neural network

我在思考如何将一个布尔电路作为侧边模块安装到已训练的神经网络中。核心思路分两步：首先，将布尔逻辑门转化为神经元，通过调整权重和激活阈值，用简单的数学公式实现AND、OR、NOT等操作；其次，解决信号接口问题。我设计了Probe机制，将神经网络中实数值的神经元输出映射为布尔信号；同时引入Stim机制，将布尔电路的决策结果转化为对目标神经元的定向刺激。这就像是为LLM打造了一套类Neuralink的神经接口，让符号逻辑能够直接干预神经网络的推理过程。