collaborators

1 paper

cs.LO2025

Just-In-Time Piecewise-Linear Semantics for ReLU-type Networks

Hongyi Duan, Haoyang Liu, Jian'an Zhang +2

We present a JIT PL semantics for ReLU-type networks that compiles models into a guarded CPWL transducer with shared guards. The system adds hyperplanes only when operands are affi…