PPL
Guido Montúfar
Papers (5)
TriSearch: Learning to Optimize Triangulations via Bistellar FlipsThe Symmetries of Three-Layer ReLU NetworksStress-Testing Neural Network Verifiers with Provably Robust InstancesDifferentiable Optimization Layers for Guaranteed Fairness in Deep LearningMost ReLU Networks Admit Identifiable Parameters