| Name | Short Description | ||
|---|---|---|---|
 | Artificial Intelligence in Physics and Mathematics Education | Provides the underlying AI to support cognitive & immersive environments for a wide variety of applications, including classroom education | |
 | Analogico-Deductive Reasoning (ADR) | Intersection of Analogical and Deductive Reasoning | |
 | PAGI World | Platform to compare competing approaches to AI and AGI | |
 | Slate | A diagrammatic reasoning tool for designing, specifying, and validating or invalidating proofs and arguments. |
