Welcome!

I am Shivvrat Arya (Shiv), a final-year Ph.D. candidate in Computer Science at The University of Texas at Dallas. My research lies at the intersection of neurosymbolic AI, probabilistic reasoning, and computer vision. I collaborate with Dr. Vibhav Gogate and Dr. Yu Xiang on several DARPA-funded projects:

• DARPA Explainable Artificial Intelligence (XAI)
• DARPA Perceptually-Enabled Task Guidance (PTG)
• DARPA Assured Neuro Symbolic Learning and Reasoning (ANSR)

Research Focus

Broadly speaking, my research interests primarily focus on artificial intelligence and machine learning, with an emphasis on neuro-symbolic and graph-based methods. I aim to develop AI systems that combine interpretability with powerful reasoning capabilities. Key areas include:

• Neurosymbolic AI: Integrating formal world models with neural networks
• Probabilistic Methods: Novel inference approaches for graphical models
• Explainable AI: Interpretable models supporting polynomial-time reasoning
• Combinatorial Optimization: Efficient algorithms for NP-hard problems
• Computer Vision: Advanced video understanding and activity recognition

Recent Contributions

• Published research recognized with best paper awards, spotlight, and oral presentations
• Developed novel neural network-based inference methods for probabilistic models
• Created CaptainCook4D, an egocentric 4D dataset for procedural task understanding
• Built real-time AR guidance systems for complex physical tasks

Education

• Ph.D. in Computer Science, The University of Texas at Dallas
• M.S. in Computer Science, The University of Texas at Dallas
• B.Tech. in Computer Science and Engineering, Indian Institute of Information Technology Vadodara (2019)