Hi, I’m Tejasvi.

I’m a software engineer (ML) at Google. Independently, I work on open problems in mathematics: central configurations of the n-body problem, including Smale’s sixth problem for five bodies in the plane, the rank of 3×3 matrix multiplication over F₂, sorting networks, and confinement in lattice gauge theory. Most of the proofs are computer-assisted, and five are formalized in the Lean proof assistant.

I studied at IIT Guwahati, in the Department of Biosciences and Bioengineering. My B.Tech project there became Operon Finder, a deep-learning web server for predicting operons. Along the way I built developer tools, among them Markless, an inline Markdown preview for VS Code inspired by Typora. My fork Rainbow Brackets 2, which continues the original Rainbow Brackets extension, has more than 160,000 installs.

When I’m not working or learning, you can catch me swimming, curating Spotify playlists, and discussing philosophy with strangers. I’m deeply interested in relational practices like Circling and Authentic Relating, and in embodied spirituality. I also write essays.