Expressivity of ReLU-Networks under Convex Relaxations

Maximilian Baader, Mark Niklas Müller, Yuhao Mao, Martin T. Vechev
2/12/2026

No confident code implementation found for this paper.

Semantic Scholar

Code Implementations

No confident code match yet

We couldn't find an author-owned or strongly-evidenced community implementation for this paper. Any repos shown below are weak matches — verify before relying on them.

No code implementations found yet.

Know of an implementation? Let us know in the comments below!

Cite this paper

@article{baader2026expressivity,
  title  = {Expressivity of ReLU-Networks under Convex Relaxations},
  author = {Maximilian Baader and Mark Niklas Müller and Yuhao Mao and Martin T. Vechev},
  year   = {2026},
  url    = {https://api.semanticscholar.org/CorpusID:cb1ed1281ba98da68f93674c1a1d81a26e8ac460},
  journal = {ICLR 2024 2024}
}

Discussion