I'm Rithvik, a junior at TJHSST and a research intern at TrainLoop, where I work on program synthesis approaches for solving ARC-AGI. Previously, I've done research in superconductor-based neuromorphic computing at NIST and was a founding engineer at Instachip, an EDA chip startup (YC W25).

My interests are broad, but my current work seems to converge on:

• PL theory — functional programming, type theory, lambda calculus, interaction calculus, linear logic, and denotational semantics
• Program synthesis — syntax-guided synthesis (SyGuS), neural-guided deductive search, and causal/theory discovery through program induction
• Reinforcement learning — RLVR for reasoning, test-time compute scaling, error-type characterization, and information geometry

Currently reading:

• Structure and Interpretation of Computer Programs by Gerald Jay Sussman
• The War Poems of Siegfried Sassoon by Siegfried Sassoon
• The Great Gatsby by F. Scott Fitzgerald
• ... see my reading list!