-
) 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
Enter an email to receive alerts for phd-learning-"https:" positions