• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Boosting Multi-neuron Convex Relaxation for Neural Network Verification.

Xuezhou TangYe ZhengJiaxiang Liu
Published in: SAS (2023)
Keyphrases
  • neural network
  • convex relaxation
  • convex optimization
  • globally optimal
  • multi label
  • multistage
  • learning algorithm
  • feature selection
  • optimization methods
  • multiple kernel learning