معرفی
Alexey Ignatiev is a Senior Lecturer in Monash University's Department of Data Science & AI. His research develops SAT/SMT-based methods for AI applications including explainable AI, automated software debugging, and neuro-symbolic systems.
Key projects:
- Formal Explainability for Neuro-Symbolic AI (ARC-funded)
- Hierarchical Abstractions for Neuro-Symbolic Systems
Recent publications focus on formal explanation techniques for machine learning models, including defect prediction systems and interpretable rule extraction.
۰مقاله منتشرشده
