Project Type:

Project

Project Sponsors:

  • Defence Advanced Research Projects Agency - DARPA

Project Award:

  • $137,327

Project Timeline:

2021-08-02 – 2024-06-30



Lead Principal Investigator:



A homological approach to machine reasoning


Project Type:

Project

Project Sponsors:

  • Defence Advanced Research Projects Agency - DARPA

Project Award:

  • $137,327

Project Timeline:

2021-08-02 – 2024-06-30


Lead Principal Investigator:



This project explores potential applications of category theory in the area of machine reasoning.






Give Feedback