1 paper · 1 filter
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…