MALINCA: Bridging the linguistic gap between the mathematician and the machine

ERC Synergy Grant