Bolton Bailey

According to our database, Bolton Bailey authored at least 8 papers between 2018 and 2025.

Collaborative distances:

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

2025

Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning.

Haiming Wang, Mert Unsal, Xiaohan Lin, Mantas Baksys, Junqi Liu, Marco Dos Santos, Flood Sung, Marina Vinyes, Zhenzhe Ying, Zekai Zhu, Jianqiao Lu, Hugues de Saxcé, Bolton Bailey, Chendong Song, Chenjun Xiao, Dehao Zhang, Ebony Zhang, Frederick Pu, Han Zhu, Jiawei Liu, Jonas Bayer, Julien Michel, Longhui Yu, Léo Dreyfus-Schmidt, Lewis Tunstall, Luigi Pagani, Moreira Machado, Pauline Bourigault, Ran Wang, Stanislas Polu, Thibaut Barroyer, Wen-Ding Li, Yazhe Niu, Yann Fleureau, Yangyang Hu, Zhouliang Yu, Zihan Wang, Zhilin Yang, Zhengying Liu, Jia Li

CoRR, April, 2025

2024

51% Attack via Difficulty Increase with a Small Quantum Miner.

Bolton Bailey, Or Sattath

CoRR, 2024

Formalizing Soundness Proofs of Linear PCP SNARKs.

Bolton Bailey, Andrew Miller

Proceedings of the 33rd USENIX Security Symposium, 2024

2023

Formalizing Soundness Proofs of SNARKs.

Bolton Bailey, Andrew Miller

IACR Cryptol. ePrint Arch., 2023

2022

General Partially Fair Multi-Party Computation with VDFs.

Bolton Bailey, Andrew Miller, Or Sattath

IACR Cryptol. ePrint Arch., 2022

2021

Merkle Trees Optimized for Stateless Clients in Bitcoin.

Bolton Bailey, Suryanarayana Sankagiri

Proceedings of the Financial Cryptography and Data Security. FC 2021 International Workshops, 2021

2019

A Gradual, Semi-Discrete Approach to Generative Network Training via Explicit Wasserstein Minimization.

Yucheng Chen, Matus Telgarsky, Chao Zhang, Bolton Bailey, Daniel Hsu, Jian Peng

Proceedings of the 36th International Conference on Machine Learning, 2019

2018

Size-Noise Tradeoffs in Generative Networks.

Bolton Bailey, Matus Telgarsky

Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018