-
) group at UCL. The post holder will strengthen the Metacat proof-checking core and develop a reinforcement-learning theorem-proving prototype, while continuing research on monoidal theories and
Searches related to multi core
Enter an email to receive alerts for multi-core positions