Sotabase

Career

· Research Scientist, Google2022–2022
· Founder And CEO, Mithril2022–
· Sequoia Scout, Sequoia Capital (Current)2022–
· Research Fellow, StarkWare2022–2022
· Principal Advisor, Khosla Ventures2021–2022
· Research Scientist, DeepMind2020–2022
· Research Software Engineer, Google2019–2022
· Advisor, KKR & Co. Inc.2019–2021
· Associate, KKR & Co. Inc.2018–2019
· Associate, The Boston Consulting Group2016–2018
· Summer Associate, The Boston Consulting Group (BCG)2015–2015
· Research Software Engineer, Optical Imaging Laboratory2014–2014
· Doctor of Philosophy - PhD Computer Science (Machine Learning), Stanford University2013–2016
· Bachelor of Arts (B.A.), High Honors, Mathematics and Computer Science, Double Major, Washington University in St. Louis2013–2016
· Doctor of Philosophy - PhD, Computer Science (Machine Learning), Stanford University

Publications (44)

On the Opportunities and Risks of Foundation Models
arXiv.org · 2021
5,795
cited
Rethinking Attention with Performers
International Conference on Learning Representations · 2020
2,027
cited
Decentralized Training of Foundation Models in Heterogeneous Environments
Neural Information Processing Systems · 2022
125
cited
Masked Language Modeling for Proteins via Linearly Scalable Long-Context Transformers
arXiv.org · 2020
94
cited
A flexible formal verification framework for industrial scale validation
Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011) · 2011
48
cited
The Reflective Milawa Theorem Prover is Sound (Down to the Machine Code that Runs it)
Journal of automated reasoning · 2015
42
cited
A Verified Runtime for a Verified Theorem Prover
International Conference on Interactive Theorem Proving · 2011
35
cited
An Ode to an ODE
arXiv.org · 2020
32
cited
Bit-Blasting ACL2 Theorems
International Workshop on the ACL2 Theorem Prover and Its Applications · 2011
32
cited
Use of Formal Verification at Centaur Technology
Design and Verification of Microprocessor Systems for High-Assurance Applications · 2010
30
cited
A self-verifying theorem prover
2009
24
cited
Sub-Linear Memory: How to Make Performers SLiM
Neural Information Processing Systems · 2020
23
cited
Catformer: Designing Stable Transformers via Sensitivity Analysis
International Conference on Machine Learning · 2021
18
cited
Time Dependence in Non-Autonomous Neural ODEs
International Conference on Learning Representations · 2020
17
cited
The SSP: an example of high-assurance systems engineering
Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings. · 2004
16
cited
Finite Set Theory based on Fully Ordered Lists
Annual Meeting of the Association for Computational Linguistics · 2004
15
cited
Microcode Verification - Another Piece of the Microprocessor Verification Puzzle
International Conference on Interactive Theorem Proving · 2014
14
cited
Fix Your Types
International Workshop on the ACL2 Theorem Prover and Its Applications · 2015
9
cited
Stochastic Flows and Geometric Optimization on the Orthogonal Group
International Conference on Machine Learning · 2020
7
cited
UFO-BLO: Unbiased First-Order Bilevel Optimization
arXiv.org · 2020
7
cited
Sotabase
Jared Quincy Davis | Researcher Profile | Sotabase | Sotabase