About
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.
0Publications listed
Find Alexey Ignatiev elsewhere
Related Searches
You Might Also Like
Alexey IgnatievVienna University of Technology · Associate Professor- JJ. M. HoweCity, University of London · Professor
- RReza HaffariMonash University · Professor
- MMartin Nyx BrainCity, University of London · Researcher
- FFrancesca ToniImperial College London · Professor
Eric WongUniversity of Pennsylvania · Assistant Professor