Follow
PolyARBerNN: A Neural Network Guided Solver and Optimizer for Bounded Polynomial Inequalities. (arXiv:2204.05365v1 [eess.SY]) http://arxiv.org/abs/2204.05365
PolyARBerNN: A Neural Network Guided Solver and Optimizer for Bounded Polynomial Inequalities. (arXiv:2204.05365v1 [eess.SY]) http://arxiv.org/abs/2204.05365