I work on mathematical and algorithmic foundations for the development of neurosymbolic AI systems. Currently, I am focusing on the neurosymbolic approach to solving tasks related to visual and reasoning.
