Polynomial-Computable Representation of Neural Networks in Semantic Programming - Sergey Goncharov; Andrey Nechesov (J, 2023)