Edinburgh Research Explorer

Verification of machine learning algorithms using symbolic logic

Project: Research

StatusActive
Effective start/end date2/09/201/09/23
Total award£110,754.00
Funding organisationEPSRC
Period2/09/201/09/23