1 paper · 2 filters
Chad E. Brown, Mikoláš Janota, Mirek Olšák
Motivated by the recent 10 million dollar AIMO challenge, this paper targets the problem of finding all functions conforming to a given specification. This is a popular problem at…