Verification of machine learning algorithms using symbolic logic

Project Details

StatusFinished
Effective start/end date2/09/201/05/24

Funding

  • Engineering and Physical Sciences Research Council: £110,754.00