Jared Davis

According to our database, Jared Davis authored at least 30 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

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

CoRR, 2024

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, Ted Li, Rob Rose, Mingyan Fan, Hootan Nakhost, Tinglin Liu, Brian Kirkman, Frank Altamura, Lee Cline, Patrick Tonker, Joel Gouker, Dave Uden, Warren Buddy Bryan, Jason Law, Deeni Fatiha, Neil Satra, Juliet Rothenberg, Molly Carlin, Satish Tallapaka, Sims Witherspoon, David Parish, Peter Dolan, Chenyu Zhao, Daniel J. Mankowitz

CoRR, 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

Decentralized Training of Foundation Models in Heterogeneous Environments.

Binhang Yuan, Yongjun He, Jared Davis, Tianyi Zhang, Tri Dao, Beidi Chen, Percy Liang, Christopher Ré, Ce Zhang

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

2021

On the Opportunities and Risks of Foundation Models.

Rishi Bommasani, Drew A. Hudson, Ehsan Adeli, Russ B. Altman, Simran Arora, Sydney von Arx, Michael S. Bernstein, Jeannette Bohg, Antoine Bosselut, Emma Brunskill, Erik Brynjolfsson, Shyamal Buch, Dallas Card, Rodrigo Castellon, Niladri S. Chatterji, Annie S. Chen, Kathleen Creel, Jared Quincy Davis, Dorottya Demszky, Chris Donahue, Moussa Doumbouya, Esin Durmus, Stefano Ermon, John Etchemendy, Kawin Ethayarajh, Li Fei-Fei, Chelsea Finn, Trevor Gale, Lauren Gillespie, Karan Goel, Noah D. Goodman, Shelby Grossman, Neel Guha, Tatsunori Hashimoto, Peter Henderson, John Hewitt, Daniel E. Ho, Jenny Hong, Kyle Hsu, Jing Huang, Thomas Icard, Saahil Jain, Dan Jurafsky, Pratyusha Kalluri, Siddharth Karamcheti, Geoff Keeling, Fereshte Khani, Omar Khattab, Pang Wei Koh, Mark S. Krass, Ranjay Krishna, Rohith Kuditipudi, et al.

CoRR, 2021

Sub-Linear Memory: How to Make Performers SLiM.

Valerii Likhosherstov, Krzysztof Marcin Choromanski, Jared Quincy Davis, Xingyou Song, Adrian Weller

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Debiasing a First-order Heuristic for Approximate Bi-level Optimization.

Valerii Likhosherstov, Xingyou Song, Krzysztof Choromanski, Jared Quincy Davis, Adrian Weller

Proceedings of the 38th International Conference on Machine Learning, 2021

Catformer: Designing Stable Transformers via Sensitivity Analysis.

Jared Quincy Davis, Albert Gu, Krzysztof Choromanski, Tri Dao, Christopher Ré, Chelsea Finn, Percy Liang

Proceedings of the 38th International Conference on Machine Learning, 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, Adrian Weller

Proceedings of the 9th International Conference on Learning Representations, 2021

CWY Parametrization: a Solution for Parallelized Optimization of Orthogonal and Stiefel Matrices.

Valerii Likhosherstov, Jared Davis, Krzysztof Choromanski, Adrian Weller

Proceedings of the 24th International Conference on Artificial Intelligence and Statistics, 2021

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

UFO-BLO: Unbiased First-Order Bilevel Optimization.

Valerii Likhosherstov, Xingyou Song, Krzysztof Choromanski, Jared Davis, Adrian Weller

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, Lucy J. Colwell, 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

CWY Parametrization for Scalable Learning of Orthogonal and Stiefel Matrices.

Valerii Likhosherstov, Jared Davis, Krzysztof Choromanski, Adrian Weller

CoRR, 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

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

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, Aldo Pacchiano, Tamás Sarlós, Adrian Weller, Vikas Sindhwani

Proceedings of the 37th International Conference on Machine Learning, 2020

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

Fix Your Types.

Sol Swords, Jared Davis

Proceedings of the Proceedings Thirteenth International Workshop on the ACL2 Theorem Prover and Its Applications, 2015

2014

Industrial-Strength Documentation for ACL2.

Jared Davis, Matt Kaufmann

Proceedings of the Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications, 2014

Microcode Verification - Another Piece of the Microprocessor Verification Puzzle.

Jared Davis, Anna Slobodová, Sol Swords

Proceedings of the Interactive Theorem Proving - 5th International Conference, 2014

2013

Verified AIG Algorithms in ACL2

Jared Davis, Sol Swords

Proceedings of the Proceedings International Workshop on the ACL2 Theorem Prover and its Applications, 2013

2011

Bit-Blasting ACL2 Theorems

Sol Swords, Jared Davis

Proceedings of the Proceedings 10th International Workshop on the ACL2 Theorem Prover and its Applications, 2011

A flexible formal verification framework for industrial scale validation.

Anna Slobodová, Jared Davis, Sol Swords, Warren A. Hunt Jr.

Proceedings of the 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 2011

A Verified Runtime for a Verified Theorem Prover.

Magnus O. Myreen, Jared Davis

Proceedings of the Interactive Theorem Proving - Second International Conference, 2011

2010

Use of Formal Verification at Centaur Technology.

Warren A. Hunt Jr., Sol Swords, Jared Davis, Anna Slobodová

Proceedings of the Design and Verification of Microprocessor Systems for High-Assurance Applications., 2010

2008

Who's your Tiger? Using simulation to optimize the lineup of the Detroit Tigers offense.

Jared Davis, Barbara Fordyce, James Cicala, Matthew Cooper, Omer Tsimhoni

Proceedings of the 2008 Winter Simulation Conference, Global Gateway to Discovery, 2008

2006

Reasoning about ACL2 file input.

Jared Davis

Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, 2006

Memories: array-like records for ACL2.

Jared Davis

Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, 2006

2004

The SSP: An Example of High-Assurance Systems Engineering.

Gregory L. Wickstrom, Jared Davis, Steven E. Morrison, Steve Roach, Victor L. Winter

Proceedings of the 8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 2004