Zhou, Jin Peng

14 publications

NeurIPS 2025 $Q\sharp$: Provably Optimal Distributional RL for LLM Post-Training Jin Peng Zhou, Kaiwen Wang, Jonathan Daniel Chang, Zhaolin Gao, Nathan Kallus, Kilian Q Weinberger, Kianté Brantley, Wen Sun

TMLR 2025 Learned-Database Systems Security Roei Schuster, Jin Peng Zhou, Thorsten Eisenhofer, Paul Grubbs, Nicolas Papernot

ICLRW 2025 Leveraging Large Language Models to Repair High-Level Robot Controllers from Assumption Violations Qian Meng, Jin Peng Zhou, Kilian Q Weinberger, Hadas Kress-Gazit

ICLR 2025 On Speeding up Language Model Evaluation Jin Peng Zhou, Christian K Belardi, Ruihan Wu, Travis Zhang, Carla P Gomes, Wen Sun, Kilian Q Weinberger

ICLR 2025 Rethinking LLM Unlearning Objectives: A Gradient Perspective and Go Beyond Qizhou Wang, Jin Peng Zhou, Zhanke Zhou, Saebyeol Shin, Bo Han, Kilian Q Weinberger

NeurIPS 2025 Value-Guided Search for Efficient Chain-of-Thought Reasoning Kaiwen Wang, Jin Peng Zhou, Jonathan Daniel Chang, Zhaolin Gao, Nathan Kallus, Kianté Brantley, Wen Sun

NeurIPS 2024 Code Repair with LLMs Gives an Exploration-Exploitation Tradeoff Hao Tang, Keya Hu, Jin Peng Zhou, Sicheng Zhong, Wei-Long Zheng, Xujie Si, Kevin Ellis

ICLR 2024 Don't Trust: Verify -- Grounding LLM Quantitative Reasoning with Autoformalization Jin Peng Zhou, Charles E Staats, Wenda Li, Christian Szegedy, Kilian Q Weinberger, Yuhuai Wu

ICLR 2024 Magnushammer: A Transformer-Based Approach to Premise Selection Maciej Mikuła, Szymon Tworkowski, Szymon Antoniak, Bartosz Piotrowski, Albert Q. Jiang, Jin Peng Zhou, Christian Szegedy, Łukasz Kuciński, Piotr Miłoś, Yuhuai Wu

ICLR 2024 REFACTOR: Learning to Extract Theorems from Proofs Jin Peng Zhou, Yuhuai Wu, Qiyang Li, Roger Baker Grosse

AISTATS 2023 Does Label Differential Privacy Prevent Label Inference Attacks? Ruihan Wu, Jin Peng Zhou, Kilian Q. Weinberger, Chuan Guo

ICLR 2023 Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs Albert Qiaochu Jiang, Sean Welleck, Jin Peng Zhou, Timothee Lacroix, Jiacheng Liu, Wenda Li, Mateja Jamnik, Guillaume Lample, Yuhuai Wu

NeurIPSW 2023 Magnushammer: A Transformer-Based Approach to Premise Selection Maciej Mikuła, Szymon Antoniak, Szymon Tworkowski, Bartosz Piotrowski, Albert Jiang, Jin Peng Zhou, Christian Szegedy, Łukasz Kuciński, Piotr Miłoś, Yuhuai Wu

ICML 2023 Unsupervised Out-of-Distribution Detection with Diffusion Inpainting Zhenzhen Liu, Jin Peng Zhou, Yufan Wang, Kilian Q Weinberger