DAS Research presents an algorithm for certifying convexity at NeurIPS
The efficient solution of optimization problems is a central task in machine learning and in the larger field of data science. Therefore, we are developing GENO (generic optimization), a domain-specific language (DSL) for generating solution software for various optimization problems…