Okezue Bell

Alexander Okezue Bell

Mathematics @

Stanford

Present

2026

Founder Defense Startup

2024–25

Llama and Agents

Meta AI

2024

ML Signal Processing

Patrick Purdon Lab

2021–23, 24

Cell Sequencing Embeddings

Boston Children's Hospital Engle Lab

2022–23

Model Interactions

MIT Media Lab Fluid Interfaces Group

2021–23

Biomechanics and RL

Hanson Robotics

2021–22

Feature Disentanglement

Microsoft Research AI for Good Lab

2021–22

Putnam Exam T100 & Stanford Team '26 Cameron Impact Scholar Coca-Cola Scholar Research Science Institute

working on

blog coming soon

Grimmett's Manhattan Pinball Conjecture Light ray on $\mathbb{Z}^2$ (tilted 45°), each site i.i.d. closed with probability $q$ (deflects) or open (passes through). $\theta(q) = P_q(\text{ray never gets trapped})$.

Bounds and asymptotics in random discrete systems Sharp thresholds, singularity analysis, and Lean-verified phase transition results across algebraic, combinatorial, and dynamical structures. FV results Erdős–Rényi ↗ Defant–Lee troupe transform ↗ Reachability in freezing automata networks ↗ Simplicial Kirchhoff index theory ↗ Wreath products ↗ Section operators ↗ Cycle counts in products of conjugacy classes ↗ Rowmotion Markov chain mixing theory ↗

Transformers Learn the Controller Before the Executor When trained on iterative algorithms, they internally represent loop counts well before they can produce correct outputs. Inspiration ↗Repository ↗

Finding where injectivity lives in LMs Discovered that transformer injectivity and next-token prediction are carried by separate, orthogonal channels in the hidden state. Inspiration ↗Repository ↗Feature Browser Demo ↗

AlphaClash Suttonism, transformers, ensemble models, and complete world simulation towards building the first-ever optimal Clash Royale player. See our progress ↗

PiMorph An open-source platform and classification framework for modeling, visualizing, and labeling endothelial cell junction morphology. Repository ↗Try PiMorph ↗

Babel: the Pentecost for formalization An open-access, lightweight translator and spec writer that can near-losslessly verify any programming language. Try the V1 universal Lean 4 transpiler ↗

past passion projects

WeArm, a low-cost transradial prosthesis Noninvasive and 3D printed with SOTA performance in EMG-to-action interpretation for <$1,000. Reproduced on 5 continents. Website ↗Appropedia ↗

Fidutam, technology policy and responsible development 1,600+ person coalition across students, professionals, and industry building AI policy positions and safe digital tools. Merged with the Perrin Institution in 2025. Statement at the AI Insight Forums ↗ AI in education editorial ↗ Opinion piece for the Hill ↗ TPP coverage of Schumer talks ↗ Youth in AI, Washington Post ↗ Fidutam's microlending platform ↗ NASDAQ Spotlight ↗ Website ↗ Our open letter on the AI Act (acknowledged by EU) ↗ Memos used for advising Congress ↗