The CORE-MATH project authors, most of whom are French academics (including the author of the linked paper). I don’t know of any interesting work in this space

The CORE-MATH project authors, most of whom are French academics (including the author of the linked paper). I don’t know of any interesting work in this space that came out of Red Hat, why do you suggest them?