activity
20132023
most citedThe Convex Relaxation Barrier, Revisited: Tightened Single-Neuron Relaxations for Neural Network Verification

44 citations · 132 across the 28 of their papers we have counts for

collaborators
Showing math.COShow all

1 paper · 1 filter

math.CO2013

A Geometric Approach to Combinatorial Fixed-Point Theorems

Elyot Grant, Will Ma

We develop a geometric framework that unifies several different combinatorial fixed-point theorems related to Tucker's lemma and Sperner's lemma, showing them to be different geome…