Bolton Bailey

11 papers A* 3Journal 7Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning.
CoRR
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
2024 J jnl
51% Attack via Difficulty Increase with a Small Quantum Miner.
CoRR
Bolton Bailey, Or Sattath
2024 A* conf
Formalizing Soundness Proofs of Linear PCP SNARKs.
USENIX Security Symposium
Bolton Bailey, Andrew Miller
2023 J jnl
Formalizing Soundness Proofs of SNARKs.
IACR Cryptol. ePrint Arch.
Bolton Bailey, Andrew Miller
2022 J jnl
General Partially Fair Multi-Party Computation with VDFs.
IACR Cryptol. ePrint Arch.
Bolton Bailey, Andrew Miller, Or Sattath
2021 — conf
Merkle Trees Optimized for Stateless Clients in Bitcoin.
Financial Cryptography Workshops
Bolton Bailey, Suryanarayana Sankagiri
2021 J jnl
Merkle Trees Optimized for Stateless Clients in Bitcoin.
IACR Cryptol. ePrint Arch.
Bolton Bailey, Suryanarayana Sankagiri
2019 A* conf
A Gradual, Semi-Discrete Approach to Generative Network Training via Explicit Wasserstein Minimization.
ICML
Yucheng Chen, Matus Telgarsky, Chao Zhang, Bolton Bailey, Daniel Hsu, Jian Peng
2019 J jnl
A gradual, semi-discrete approach to generative network training via explicit Wasserstein minimization.
CoRR
Yucheng Chen, Matus Telgarsky, Chao Zhang, Bolton Bailey, Daniel Hsu, Jian Peng
2018 A* conf
Size-Noise Tradeoffs in Generative Networks.
NeurIPS
Bolton Bailey, Matus Telgarsky
2018 J jnl
Size-Noise Tradeoffs in Generative Networks.
CoRR
Bolton Bailey, Matus Telgarsky