Project Details
| Short title | Formal Explainability |
|---|---|
| Acronym | Formal Explainability |
| Status | Active |
| Effective start/end date | 12/02/25 → 11/02/28 |
Funding
- Australian Research Council (ARC): A$515,966.00
Formal Explainability for Neuro-Symbolic Artificial Intelligence
- Stuckey, Peter (Primary Chief Investigator (PCI))
- Ignatiev , Alexey (Chief Investigator (CI))
Project: Research