Jared Davis

Publication Activity (10 Years)

Years Active: 2004-2022
Publications (10 Years): 10

Top Topics

Optimization Problems

Top Venues

Publications

Binhang Yuan, Yongjun He, Jared Davis, Tianyi Zhang, Tri Dao, Beidi Chen, Percy Liang, Christopher Ré, Ce Zhang
Decentralized Training of Foundation Models in Heterogeneous Environments. NeurIPS (2022)
Valerii Likhosherstov, Xingyou Song, Krzysztof Choromanski, Jared Davis, Adrian Weller
Debiasing a First-order Heuristic for Approximate Bi-level Optimization. CoRR (2021)
Valerii Likhosherstov, Jared Davis, Krzysztof Choromanski, Adrian Weller
CWY Parametrization: a Solution for Parallelized Optimization of Orthogonal and Stiefel Matrices. AISTATS (2021)
Valerii Likhosherstov, Jared Davis, Krzysztof Choromanski, Adrian Weller
CWY Parametrization for Scalable Learning of Orthogonal and Stiefel Matrices. CoRR (2020)
Valerii Likhosherstov, Krzysztof Choromanski, Jared Davis, Xingyou Song, Adrian Weller
Sub-Linear Memory: How to Make Performers SLiM. CoRR (2020)
Valerii Likhosherstov, Xingyou Song, Krzysztof Choromanski, Jared Davis, Adrian Weller
UFO-BLO: Unbiased First-Order Bilevel Optimization. CoRR (2020)
Krzysztof Choromanski, David Cheikhi, Jared Davis, Valerii Likhosherstov, Achille Nazaret, Achraf Bahamou, Xingyou Song, Mrugank Akarte, Jack Parker-Holder, Jacob Bergquist, Yuan Gao, Aldo Pacchiano, Tamás Sarlós, Adrian Weller, Vikas Sindhwani
Stochastic Flows and Geometric Optimization on the Orthogonal Group. ICML (2020)
Krzysztof Choromanski, David Cheikhi, Jared Davis, Valerii Likhosherstov, Achille Nazaret, Achraf Bahamou, Xingyou Song, Mrugank Akarte, Jack Parker-Holder, Jacob Bergquist, Yuan Gao, Aldo Pacchiano, Tamás Sarlós, Adrian Weller, Vikas Sindhwani
Stochastic Flows and Geometric Optimization on the Orthogonal Group. CoRR (2020)
Krzysztof Choromanski, Valerii Likhosherstov, David Dohan, Xingyou Song, Jared Davis, Tamás Sarlós, David Belanger, Lucy J. Colwell, Adrian Weller
Masked Language Modeling for Proteins via Linearly Scalable Long-Context Transformers. CoRR (2020)
Krzysztof Choromanski, Valerii Likhosherstov, David Dohan, Xingyou Song, Andreea Gane, Tamás Sarlós, Peter Hawkins, Jared Davis, Afroz Mohiuddin, Lukasz Kaiser, David Belanger, Lucy J. Colwell, Adrian Weller
Rethinking Attention with Performers. CoRR (2020)
Sol Swords, Jared Davis
Fix Your Types. ACL2 (2015)
Jared Davis, Magnus O. Myreen
The Reflective Milawa Theorem Prover is Sound (Down to the Machine Code that Runs it). J. Autom. Reason. 55 (2) (2015)
Jared Davis, Anna Slobodová, Sol Swords
Microcode Verification - Another Piece of the Microprocessor Verification Puzzle. ITP (2014)
Magnus O. Myreen, Jared Davis
The Reflective Milawa Theorem Prover Is Sound - (Down to the Machine Code That Runs It). ITP (2014)
Jared Davis, Matt Kaufmann
Industrial-Strength Documentation for ACL2. ACL2 (2014)
Jared Davis, Sol Swords
Verified AIG Algorithms in ACL2 ACL2 (2013)
Sol Swords, Jared Davis
Bit-Blasting ACL2 Theorems ACL2 (2011)
Magnus O. Myreen, Jared Davis
A Verified Runtime for a Verified Theorem Prover. ITP (2011)
Anna Slobodová, Jared Davis, Sol Swords, Warren A. Hunt Jr.
A flexible formal verification framework for industrial scale validation. MEMOCODE (2011)
Jared Davis, Barbara Fordyce, James Cicala, Matthew Cooper, Omer Tsimhoni
Who's your Tiger? Using simulation to optimize the lineup of the Detroit Tigers offense. WSC (2008)
Jared Davis
Reasoning about ACL2 file input. ACL2 (2006)
Jared Davis
Memories: array-like records for ACL2. ACL2 (2006)
Gregory L. Wickstrom, Jared Davis, Steven E. Morrison, Steve Roach, Victor L. Winter
The SSP: An Example of High-Assurance Systems Engineering. HASE (2004)