Project Details
| Status | Active |
|---|---|
| Effective start/end date | 12/09/24 → 31/08/26 |
Funding
- Advanced Research + Invention Agency ARIA: £257,391.00
- Advanced Research + Invention Agency ARIA: £249,917.59
Quantitative Predicate Logic as a Foundation for Verified ML (ElePQuant)
- Atkey, Bob (Principal Investigator)
- Mardare, Radu (Co-investigator)
Project: Research