Verification of machine learning algorithms using symbolic logic

Project Details

StatusActive
Effective start/end date2/09/201/09/23

Funding

  • EPSRC: £110,754.00