About
Jason Gross worked on code infrastructure used by major browsers including Chrome.
Jason Gross @diagram_chaser
Minecraft in Lean, very cool. I wonder how soon it will be capable of proving equivalence between the Lean clone and the Java version https://t.co/NXq0SEo3VE
Jul 14, 2026 Β· β₯ 20 Β· β 2
Jason Gross @diagram_chaser
slop := surface-level coherency (aesthetics, polish, grammar, etc) > deeper coherency (world view, ideas)
Feb 17, 2026 Β· β₯ 5
Jason Gross @diagram_chaser
Hypothesis: if we optimize the hyperparameters of an efficiently-batch-inferencable architecture for batch size = entire training corpus, we'll be able to straightforwardly read off the interpretation of the model. Anyone interested in testing this out? (7/7)
Jan 23, 2026 Β· β₯ 1
Founder at TheoremYC X25
Intro paths
Jason went through Y Combinator (Spring 2025) β any YC alum in your network can reach them through the YC community.
Their group partner at YC was Tom Blomfield, General Partner at Y Combinator β the partner who ran Theorem's batch and knows the company first-hand. YC profile β
In turn, Jason can intro founders to Theorem's investors below.
Theorem's investors Β· 2
Co-founders at Theorem
Experience
- TheoremCo-Foundercurrent2025 β present
- MITResearcher2012 β 2021Cambridge, Massachusetts, United States
Education
- Massachusetts Institute of TechnologyDoctor of Philosophy (PhD), Computer Science2013 β 2020
- Massachusetts Institute of TechnologyBachelor of Science, Mathematics2009 β 2013
Skills & more
+12 more
MatlabCoqSchemePowerPointExcelWordMicrosoft OfficeResearchProblem SolvingProgrammingTeachingMathematicsFrom Jason's professional profile.
Same school
Also attended Massachusetts Institute of Technology977
+ 971 more
Shared employers
Also worked at MIT325
.webp)
+ 319 more