NeuralHorner: a modulus-conditioned bit-serial neural reducer for (a*b) mod p. SAIR Modular Arithmetic Challenge entry + study. Work in progress/Ongoing research.
machine-learning recurrent-neural-networks gru modular-arithmetic bit-serial lean4 neural-arithmetic
-
Updated
Jul 14, 2026 - TeX