pranshu.os
{{ d.sprite }}
{{ pacSprite }}
{{ ghost0 }}
{{ ghost1 }}
{{ ghost2 }}
{{ ghost3 }}
settings.app
Pac-Man chase
The dots-and-ghosts loop around the page edge.
PRANSHU
Home Blog Personal Current work Get in touch → Buy me a coffee ☕
whoami.sh [ engineer · builder · new delhi ]
//HELLO.md

PRANSHU
NAUTIYAL

> _

I'm a student at the Illinois Mathematics and Science Academy (IMSA). Most weeks I'm working on formal verification of neural networks at UIUC's ASTRAL Lab with Professor Huan Zhang, or on global symmetries in graduate-level physics with Dr. Anderson Trimm at IMSA. The rest of the time I spend building small internet projects, doing bug bounties, and expanding my knowledge.

image12345.jpeg
Pranshu Nautiyal
> Ignis aurum probat, miseria fortes viros. // Fire tests gold; adversity tests strong men. — Seneca, De Providentia 5.9
{{ claudeHoursDisplay }}hrs
Claude Code · this week
{{ caffeineDisplay }}mg
Caffeine · today
{{ avgSleepDisplay }}hrs
Avg sleep · this week
{{ doomscrollDisplay }}hrs
Doomscrolling · today
graduation.mp3 [ kanye west · 2007 ]
album
♪
{{ spotify.headerLabel }}
{{ spotify.title }}
by {{ spotify.artist }}
{{ spotify.album }}
◆ {{ spotify.trackCounter }} OPEN →
could not reach spotify endpoint · {{ spotifyErr }}
commits.log · @{{ githubUser }} STREAMING
$ fetching push events…
! github api unreachable · {{ commitsErr }}
no recent public push events · push some code!
▲ push · {{ c.repo }} {{ c.when }}
{{ c.message }}
{{ c.sha }}
top_artists.log [ last 4 weeks · spotify ]
$ fetching top artists…
could not fetch top artists · {{ topArtistsErr }}
not enough listening history yet.
{{ a.name }}
#{{ a.rank }}
{{ a.name }}
{{ a.genre }}
/ WORK · SELECTED BUILDS

THINGS I SHIPPED.

{{ p.filename }} {{ p.tag }}
{{ p.iconChar }}
FIT
SIG

{{ p.title }}

{{ p.desc }}

{{ t }}
{{ p.year }} READ →
about.md WHO RUNS THIS
PN

I'm Pranshu Nautiyal — an overworked high school student, researcher, and engineer. I'd rather chase down a hard problem in verification, physics, or a weird corner of the internet than ship the kind of tidy weekend project that shows up on your Instagram explore page. If it's not a little too ambitious for the time I have, I'm probably not interested.

Off hours: watching shows, going to the gym, spamming Claude Code, and baking things that don't always survive contact with the oven.

research.log [ 2 active ]
PAPER · UNDER DOUBLE-BLIND REVIEW

Benchmarking how vision-language models compress what they see

Submitted to ACML 2026. Since it's under double-blind review right now, the title, results, and a link stay under wraps until that process wraps up — check back later for the real version.

PAPER · IN PROGRESS

Relational memory in conversational agents

Writing a paper on why AI companions forget the relationship even when they remember the facts — how a character should track what you felt, what was promised, what's unresolved, not just what you said.

→ see the early prototype, pocketmemory.py
contact.sh

HAVE A BUILD IN MIND?

Emails answered within 24 hours. Bring the messy version — I'll bring the code.

SEND A MESSAGE →