The SSP: An Example of High-Assurance Systems Engineering. - Gregory L. Wickstrom; Jared Davis; Steven E. Morrison; Steve Roach; Victor L. Winter (HASE, 2004)

Memories: array-like records for ACL2. - Jared Davis (ACL2, 2006)

Reasoning about ACL2 file input. - Jared Davis (ACL2, 2006)

Who's your Tiger? Using simulation to optimize the lineup of the Detroit Tigers offense. - Jared Davis; Barbara Fordyce; James Cicala; Matthew Cooper 004; Omer Tsimhoni (WSC, 2008)

Use of Formal Verification at Centaur Technology. - Warren A. Hunt Jr.; Sol Swords; Jared Davis; Anna Slobodová (Design and Verification of Microprocessor Systems for High-Assurance Applications, 2010)

A Verified Runtime for a Verified Theorem Prover. - Magnus O. Myreen; Jared Davis (ITP, 2011)

A flexible formal verification framework for industrial scale validation. - Anna Slobodová; Jared Davis; Sol Swords; Warren A. Hunt Jr. (MEMOCODE, 2011)

Bit-Blasting ACL2 Theorems - Sol Swords; Jared Davis (ACL2, 2011)

Verified AIG Algorithms in ACL2 - Jared Davis; Sol Swords (ACL2, 2013)

Microcode Verification - Another Piece of the Microprocessor Verification Puzzle. - Jared Davis; Anna Slobodová; Sol Swords (ITP, 2014)

Industrial-Strength Documentation for ACL2. - Jared Davis; Matt Kaufmann (ACL2, 2014)

Fix Your Types. - Sol Swords; Jared Davis (ACL2, 2015)

The Reflective Milawa Theorem Prover is Sound (Down to the Machine Code that Runs it). - Jared Davis; Magnus O. Myreen (J. Autom. Reason., 2015)

Stochastic Flows and Geometric Optimization on the Orthogonal Group. - Krzysztof Choromanski; David Cheikhi; Jared Davis; Valerii Likhosherstov; Achille Nazaret; Achraf Bahamou; Xingyou Song; Mrugank Akarte; Jack Parker-Holder; Jacob Bergquist; Yuan Gao 038; Aldo Pacchiano; et al. (ICML, 2020)

Ode to an ODE. - Krzysztof Marcin Choromanski; Jared Quincy Davis; Valerii Likhosherstov; Xingyou Song; Jean-Jacques E. Slotine; Jacob Varley; Honglak Lee; Adrian Weller; Vikas Sindhwani (NeurIPS, 2020)

CWY Parametrization for Scalable Learning of Orthogonal and Stiefel Matrices. - Valerii Likhosherstov; Jared Davis; Krzysztof Choromanski; Adrian Weller (CoRR, 2020)

Time Dependence in Non-Autonomous Neural ODEs. - Jared Quincy Davis; Krzysztof Choromanski; Jake Varley; Honglak Lee; Jean-Jacques E. Slotine; Valerii Likhosterov; Adrian Weller; Ameesh Makadia; Vikas Sindhwani (CoRR, 2020)

Masked Language Modeling for Proteins via Linearly Scalable Long-Context Transformers. - Krzysztof Choromanski; Valerii Likhosherstov; David Dohan; Xingyou Song; Jared Davis; Tamás Sarlós; David Belanger 002; Lucy J. Colwell; Adrian Weller (CoRR, 2020)

UFO-BLO: Unbiased First-Order Bilevel Optimization. - Valerii Likhosherstov; Xingyou Song; Krzysztof Choromanski; Jared Davis; Adrian Weller (CoRR, 2020)

An Ode to an ODE. - Krzysztof Choromanski; Jared Quincy Davis; Valerii Likhosherstov; Xingyou Song; Jean-Jacques E. Slotine; Jacob Varley; Honglak Lee; Adrian Weller; Vikas Sindhwani (CoRR, 2020)

CWY Parametrization: a Solution for Parallelized Optimization of Orthogonal and Stiefel Matrices. - Valerii Likhosherstov; Jared Davis; Krzysztof Choromanski; Adrian Weller (AISTATS, 2021)

Rethinking Attention with Performers. - Krzysztof Marcin Choromanski; Valerii Likhosherstov; David Dohan; Xingyou Song; Andreea Gane; Tamás Sarlós; Peter Hawkins; Jared Quincy Davis; Afroz Mohiuddin; Lukasz Kaiser; David Benjamin Belanger; Lucy J. Colwell; et al. (ICLR, 2021)

Catformer: Designing Stable Transformers via Sensitivity Analysis. - Jared Quincy Davis; Albert Gu; Krzysztof Choromanski; Tri Dao; Christopher Ré; Chelsea Finn; Percy Liang (ICML, 2021)

Debiasing a First-order Heuristic for Approximate Bi-level Optimization. - Valerii Likhosherstov; Xingyou Song; Krzysztof Choromanski; Jared Quincy Davis; Adrian Weller (ICML, 2021)

Sub-Linear Memory: How to Make Performers SLiM. - Valerii Likhosherstov; Krzysztof Marcin Choromanski; Jared Quincy Davis; Xingyou Song; Adrian Weller (NeurIPS, 2021)

On the Opportunities and Risks of Foundation Models. - Rishi Bommasani; Drew A. Hudson; Ehsan Adeli 001; Russ B. Altman; Simran Arora; Sydney von Arx; Michael S. Bernstein; Jeannette Bohg; Antoine Bosselut; Emma Brunskill; Erik Brynjolfsson; Shyamal Buch; et al. (CoRR, 2021)

Decentralized Training of Foundation Models in Heterogeneous Environments. - Binhang Yuan; Yongjun He 004; Jared Davis; Tianyi Zhang; Tri Dao; Beidi Chen; Percy Liang; Christopher Ré; Ce Zhang 001 (NeurIPS, 2022)

Semi-analytical Industrial Cooling System Model for Reinforcement Learning. - Yuri Chervonyi; Praneet Dutta; Piotr Trochim; Octavian Voicu; Cosmin Paduraru; Crystal Qian; Emre Karagozler; Jared Quincy Davis; Richard Chippendale; Gautam Bajaj; Sims Witherspoon; Jerry Luo (CoRR, 2022)

Controlling Commercial Cooling Systems Using Reinforcement Learning. - Jerry Luo; Cosmin Paduraru; Octavian Voicu; Yuri Chervonyi; Scott Munns; Jerry Li; Crystal Qian; Praneet Dutta; Jared Quincy Davis; Ningjia Wu; Xingwei Yang; Chu-Ming Chang; et al. (CoRR, 2022)

Are More LLM Calls All You Need? Towards the Scaling Properties of Compound AI Systems. - Lingjiao Chen; Jared Quincy Davis; Boris Hanin; Peter Bailis; Ion Stoica; Matei A. Zaharia; James Y. Zou (NeurIPS, 2024)

Are More LLM Calls All You Need? Towards Scaling Laws of Compound Inference Systems. - Lingjiao Chen; Jared Quincy Davis; Boris Hanin; Peter Bailis; Ion Stoica; Matei Zaharia; James Zou 001 (CoRR, 2024)

Networks of Networks: Complexity Class Principles Applied to Compound AI Systems Design. - Jared Quincy Davis; Boris Hanin; Lingjiao Chen; Peter Bailis; Ion Stoica; Matei Zaharia (CoRR, 2024)

Specifications: The missing link to making the development of LLM systems an engineering discipline. - Ion Stoica; Matei Zaharia; Joseph Gonzalez 001; Ken Goldberg; Koushik Sen; Hao Zhang 025; Anastasios Angelopoulos; Shishir G. Patil; Lingjiao Chen; Wei-Lin Chiang; Jared Quincy Davis (CoRR, 2024)

BARE: Combining Base and Instruction-Tuned Language Models for Better Synthetic Data Generation. - Alan Zhu 001; Parth Asawa; Jared Quincy Davis; Lingjiao Chen; Boris Hanin; Ion Stoica; Joseph E. Gonzalez; Matei Zaharia (CoRR, 2025)

Optimizing Model Selection for Compound AI Systems. - Lingjiao Chen; Jared Quincy Davis; Boris Hanin; Peter Bailis; Matei Zaharia; James Zou 001; Ion Stoica (CoRR, 2025)