TY  - RPRT
TI  - Just-In-Time Piecewise-Linear Semantics for ReLU-type Networks
AU  - Hongyi Duan
AU  - Haoyang Liu
AU  - Jian'an Zhang
AU  - Fengrui Liu
AU  - Yiyi Wang
PY  - 2025
UR  - https://arxiv.org/abs/2510.17622
ID  - 2510.17622
ER  -