
[ HALL_OF_FAME ]
HACKIIIT
CELEBRATING_OUR_CHAMPIONS
JAN 24-26, 2026 • ₹1,00,000 PRIZE POOL
[HALL_OF_FAME_2026]

Nuxe Nalc
Created a system to convert institute policy into a formal system, where users query if actions are allowed; an SMT solver verifies statements with the rules in the policy, with a proof/disproof of your "theorem" (action) using the "axioms" (policies). It can also find mathematically proven loopholes/contradictions in policies.
Vishesh Saraswat, Tejas Agarwal, Pratyush Vempati, Anirudh Vempati

Gommies
ResearchWeb is a unified platform enhancing student, professor and research centre collaboration through a version-controlled website editor, a project connection board, and ML-powered semantic research matching. It simplifies content updates, improves project discovery, and intelligently connects students with relevant labs, faculty, and publications.
Dhruva Anand, Teja Pudie, Ayaansh Solanki, Jonathan Robin

Another Useless Group
Hadron - "Where Ideas Collide" An AI-powered social hub that turns dense papers into snackable slide-stories, conversational podcasts and crisp reels (aka brainrot for the fast-paced crowd). FastAPI backend, React frontend, open models-driven summaries, TTS podcasts, vibrant lab communities with threads and open discussions so that students read, listen, learn, connect and innovate across domains.
Inesh Dheer, Shreyas Mehta, Aviral Gupta, Mohit Singh.
[ SPECIAL_AWARDS ]
[ SPECIAL_MENTION ]
[BEST_MENTORS_AWARDS]


POWERED BY

Jane Street works differently. We are a quantitative trading firm active on more than 200 trading venues across 45 countries. As a liquidity provider and market maker, we help form the backbone of global markets. Our approach is rooted in technology and rigorous quantitative analysis, but our success is driven by our people.