about
news
research
publications
projects
hiring
Open Positions Project: Neurosymbolic AI Project: Neural Combinatorial and Constrained Optimization Project: Deep Reinforcement Learning for Combinatorial Optimization on Graphs Project: Research Applications of Neurosymbolic Methods
people

Repositories

GitHub users

Shivvrat

Shivvrat

GitHub Repositories

Shivvrat/NeuPI

Shivvrat/NeuPI

CaptainCook4D/CaptainCook4D

CaptainCook4D/CaptainCook4D

Shivvrat/Advanced-Inference-Schemes-for-DDNs

Shivvrat/Advanced-Inference-Schemes-for-DDNs

Shivvrat/SINE-Advanced-Embedding-And-Discretization-For-MPE-in-PGMs

Shivvrat/SINE-Advanced-Embedding-And-Discretization-For-MPE-in-PGMs

Shivvrat/SS-CMPE

Shivvrat/SS-CMPE

© Copyright 2026 The Algorithms and Architectures for Reasoning and Intelligent Automation Lab (ARIA) . Last updated: January 21, 2026.