2 papers
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…
cs.DS2025
Triangle Detection in Worst-Case Sparse Graphs via Local Sketching
Hongyi Duan, Jian'an Zhang
We present a non-algebraic, locality-preserving framework for triangle detection in worst-case sparse graphs. Our algorithm processes the graph in independent layers an…