User:Ayush1801

I am a Research Fellow at Microsoft Research India. I am working in the area of AI enabled - Automated Theorem Proving.