Neel Somani
Machine Learning Researcher & Entrepreneur
Research & Technical Writing
Machine learning research and formal verification. This website is built/maintained by a third-party. For Neel Somani's personal website, visit www.neelsomani.com.
Symbolic Circuit Distillation
This project applies formal verification to the extracted circuits from Sparse Circuits (Gao et al). Symbolic Circuit Distillation searches a space of candidate symbolic programs to prove functional equivalence to the extracted circuit. The work was continued in Somani’s Verifiable Transfomers project.
VeriCUDA
Somani built Coq/Rocq models for Rust GPU code. The flagship result of the project is a proven determinism theorem for barrier-synchronized tree reduction. VeriCUDA ranked highly on HackerNews and is a milestone on the way to the formal verification of actual Rust CUDA kernels.
Browser Agents
web2mcp is a system that automatically generates expressive Model Context Protocol (MCP) implementations for any web application. The project received attention on X. Somani furthered his work with browser agents with the development of “Adcock agent,” a purely DOM-based web agent designed to handle unusual but real-world browser use cases.
GPT-Erdos
Open source dataset of GPT 5.2 Pro and Deep Research responses to open Erdos problems. Proofs were reviewed/endorsed by prominent mathematicians including Daniel Larsen and Terence Tao. The community discussed whether or not the proofs were novel, since pieces existed in the literature; Somani took this experience and designed a formal definition for mathematical proof novelty, called PriorProof.
- Research Threads
Mechanistic interpretability is currently pulled between competing visions. On one side, Neel Nanda argues for pragmatic interpretability…
In this post, I’ll cover routing mechanisms for large language models. People often talk about Mixture-of-Experts and Expert Choice…
In this post, I’ll show how a small set of reasonable assumptions can recover the Transformer attention mechanism. Some part…
AI, Systems & Economics
Analysis and perspectives on AI infrastructure, economics, and real-world deployment.
Featured Interviews & Profiles
Selected interviews and profiles discussing innovation, leadership, and applied AI.
- The American Reporter
- September 23, 2025
Neel Somani, a University of California, Berkeley research and technologist graduate with a strong foundation in mathematics, computer science, and business, has built his career leveraging research to improve real-world systems. Smart decisions in the commodities sector rely on a keen sense of the market. Connecting academic quantitative research with profession…
- Brainz Magazine
- Dec 17, 2025
Neel Somani has built a reputation as one of the sharpest minds bridging the worlds of verifiable computing, artificial intelligence, and applied research. A UC Berkeley graduate, Somani’s path has been shaped as much by the mentors and peers who guided him as by the rigorous academic foundation that continues to support his work today. From early stints in software engineering…
- Gigwise
- December 4, 2025
Neel Somani, a researcher specializing in mathematics, computer science, and business, has long explored the intersection between computational efficiency and human well-being. His work reflects an era in which the convergence of biology, data science, and advanced computation is redefining how societies understand health, longevity, and performance…
- Mercury News
- Dec 17, 2025
Neel Somani, a researcher and technologist who graduated from the University of California, Berkeley, approaches biohacking through the same analytical lens that drives his work in blockchain and computational systems. Biohacking is the integration of biology and technology, an effort to optimize the human body as one might optimize code…
Announcements & Contributions
The perpetual fund is designed to support the next generation of leaders in science, technology, and entrepreneurship, with annual sc…
Neel Somani is a UC Berkeley graduate with degrees in mathematics, computer science, and business administration. He has worked as a s…
© 2026 Neel Somani