I am currently working on improving this part of my website.

For now as a brief description I am currently interested in meta-learning and Machine Learning for Theorem Proving.

Also, check my previous work on my publications page.