conftrace_

extremal graph theory

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

computer-assisted proof (1) extremal combinatorics (1) flag algebra (1) turan theorem (1) ramsey theory (1) neural network width (1) complexity lower bound (1) neural network depth (1) relu network (1) combinatorial optimization (1)

Papers

A Depth Hierarchy for Computing the Maximum in ReLU Networks via Extremal Graph Theory COLT 2026 Fully Computer-Assisted Proofs in Extremal Combinatorics AAAI 2023