Publications

Manuscripts

  1. Implication Is Architecture, Not Semantics: Gradient Routing in Differentiable Logic

    Shang'ao Li, Yizheng Zhao

    Manuscript completed; under submission, 2026.