Matematiska bevis för optimalitet i inlärningsproblem

arXiv cs.AI

Forskare undersöker när man kan bevisa att en lösning verkligen är optimal inom maskininlärning, med hjälp av en klassisk matematisk teknik kallad Positivstellensätze (ett ramverk för att bevisa att uttryck är positiva). Arbetet är i grunden abstrakt algebra och bevisteori snarare än praktisk AI-forskning.