Haydn Jones

According to our database, Haydn Jones authored at least 4 papers between 2019 and 2024.

Collaborative distances:

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

2024

Bound Tightening Using Rolling-Horizon Decomposition for Neural Network Verification.

Haoruo Zhao, Hassan L. Hijazi, Haydn Jones, Juston Moore, Mathieu Tanneau, Pascal Van Hentenryck

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2024

2023

Large-Scale Gaussian Processes via Alternating Projection.

Kaiwen Wu, Jonathan Wenger, Haydn Jones, Geoff Pleiss, Jacob R. Gardner

CoRR, 2023

2022

Local Latent Space Bayesian Optimization over Structured Inputs.

Natalie Maus, Haydn Jones, Juston Moore, Matt J. Kusner, John Bradshaw, Jacob R. Gardner

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

2019

Separating musical sources with convolutional sparse coding.

Mohit L. Dubey, Haydn Jones, Austin Thresher, Garrett T. Kenyon

Proceedings of the 2nd International Conference on Applications of Intelligent Systems, 2019