My goal is to ensure reasoning in AI systems is reliably accurate, efficient and adaptive. As such, my research crosses topics in formal methods, statistics and machine learning.
If you believe I can help you in any way or you'd just like to chat, message me at:
nihal.jain@columbia.edu.
I'm also available at the following channels:
