23 citations · 25 across the 6 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.LG2026
Shallower ReLU Network Representations via Exact Linear Algebra
Kilian Rueß, Gennadiy Averkov, Florestan Brunck +7
We study the depth required by ReLU networks to exactly represent piecewise linear functions, focusing specifically on the maximum function. This problem has recently received sign…
cs.CC2026
Probabilistically checkable proofs for the Existential Theory of the Reals
Jack Stade
We prove a PCP theorem for the existential theory of the reals, showing that MAX-ETR-INV is -hard to approximate to within some constant factor. The existential…