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?