DAS Research präsentiert einen Algorithmus zur Zertifizierung von Konvexität an der NeurIPS
Die effiziente Lösung von Optimierungsproblemen ist eine zentrale Aufgabe im maschinellen Lernen und im größeren Gebiet der Datenwissenschaften. Deshalb entwickeln wir GENO (generic optimization), eine domänenspezifische Sprache (DSL) zur Generierung von Lösungssoftware für verschiedene Optimierungsprobleme aus einfachen Spezifikationen. Eine wichtige…