Jin Peng Zhou

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 25

Top Topics

Diffusion Models

Differential Privacy

Top Venues

Publications

Jin Peng Zhou, Charles Staats, Wenda Li, Christian Szegedy, Kilian Q. Weinberger, Yuhuai Wu
Don't Trust: Verify - Grounding LLM Quantitative Reasoning with Autoformalization. ICLR (2024)
Quang-Huy Nguyen, Jin Peng Zhou, Zhenzhen Liu, Khanh-Huyen Bui, Kilian Q. Weinberger, Dung D. Le
Zero-shot Object-Level OOD Detection with Context-Aware Inpainting. CoRR (2024)
Zhenzhen Liu, Jin Peng Zhou, Kilian Q. Weinberger
Leveraging diffusion models for unsupervised out-of-distribution detection on image manifold. Frontiers Artif. Intell. 7 (2024)
Jin Peng Zhou, Yuhuai Wu, Qiyang Li, Roger B. Grosse
REFACTOR: Learning to Extract Theorems from Proofs. CoRR (2024)
Jin Peng Zhou, Charles Staats, Wenda Li, Christian Szegedy, Kilian Q. Weinberger, Yuhuai Wu
Don't Trust: Verify - Grounding LLM Quantitative Reasoning with Autoformalization. CoRR (2024)
Hao Tang, Keya Hu, Jin Peng Zhou, Sicheng Zhong, Wei-Long Zheng, Xujie Si, Kevin Ellis
Code Repair with LLMs gives an Exploration-Exploitation Tradeoff. CoRR (2024)
Maciej Mikula, Szymon Tworkowski, Szymon Antoniak, Bartosz Piotrowski, Albert Q. Jiang, Jin Peng Zhou, Christian Szegedy, Lukasz Kucinski, Piotr Milos, Yuhuai Wu
Magnushammer: A Transformer-Based Approach to Premise Selection. ICLR (2024)
Jin Peng Zhou, Katie Z. Luo, Jingwen Gu, Jason Yuan, Kilian Q. Weinberger, Wen Sun
Orchestrating LLMs with Different Personalizations. CoRR (2024)
Jin Peng Zhou, Christian K. Belardi, Ruihan Wu, Travis Zhang, Carla P. Gomes, Wen Sun, Kilian Q. Weinberger
On Speeding Up Language Model Evaluation. CoRR (2024)
Jin Peng Zhou, Yuhuai Wu, Qiyang Li, Roger Baker Grosse
REFACTOR: Learning to Extract Theorems from Proofs. ICLR (2024)
Zhenzhen Liu, Jin Peng Zhou, Yufan Wang, Kilian Q. Weinberger
Unsupervised Out-of-Distribution Detection with Diffusion Inpainting. ICML (2023)
Zhenzhen Liu, Jin Peng Zhou, Yufan Wang, Kilian Q. Weinberger
Unsupervised Out-of-Distribution Detection with Diffusion Inpainting. CoRR (2023)
Zhenzhen Liu, Chao Wan, Varsha Kishore, Jin Peng Zhou, Minmin Chen, Kilian Q. Weinberger
Correction with Backtracking Reduces Hallucination in Summarization. CoRR (2023)
Ruihan Wu, Jin Peng Zhou, Kilian Q. Weinberger, Chuan Guo
Does Label Differential Privacy Prevent Label Inference Attacks? AISTATS (2023)
Maciej Mikula, Szymon Antoniak, Szymon Tworkowski, Albert Qiaochu Jiang, Jin Peng Zhou, Christian Szegedy, Lukasz Kucinski, Piotr Milos, Yuhuai Wu
Magnushammer: A Transformer-based Approach to Premise Selection. CoRR (2023)
Albert Qiaochu Jiang, Sean Welleck, Jin Peng Zhou, Timothée Lacroix, Jiacheng Liu, Wenda Li, Mateja Jamnik, Guillaume Lample, Yuhuai Wu
Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs. ICLR (2023)
Albert Q. Jiang, Sean Welleck, Jin Peng Zhou, Wenda Li, Jiacheng Liu, Mateja Jamnik, Timothée Lacroix, Yuhuai Wu, Guillaume Lample
Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs. CoRR (2022)
Roei Schuster, Jin Peng Zhou, Thorsten Eisenhofer, Paul Grubbs, Nicolas Papernot
Learned Systems Security. CoRR (2022)
Ruihan Wu, Jin Peng Zhou, Kilian Q. Weinberger, Chuan Guo
Does Label Differential Privacy Prevent Label Inference Attacks? CoRR (2022)
Hojin Yang, Scott Sanner, Ga Wu, Jin Peng Zhou
Bayesian Preference Elicitation with Keyphrase-Item Coembeddings for Interactive Recommendation. UMAP (2021)
Maksims Volkovs, Zhaoyue Cheng, Mathieu Ravaut, Hojin Yang, Kevin Shen, Jin Peng Zhou, Anson Wong, Saba Zuberi, Ivan Zhang, Nick Frosst, Helen Ngo, Carol Chen, Bharat Venkitesh, Stephen Gou, Aidan N. Gomez
Predicting Twitter Engagement With Deep Language Models. RecSys Challenge (2020)
Baiwu Zhang, Jin Peng Zhou, Ilia Shumailov, Nicolas Papernot
Not My Deepfake: Towards Plausible Deniability for Machine-Generated Media. CoRR (2020)
Jin Peng Zhou, Ga Wu, Zheda Mai, Scott Sanner
Noise Contrastive Estimation for Autoencoding-based One-Class Collaborative Filtering. CoRR (2020)
Jin Peng Zhou, Zhaoyue Cheng, Felipe Pérez, Maksims Volkovs
TAFA: Two-headed Attention Fused Autoencoder for Context-Aware Recommendations. RecSys (2020)
Dongdai Zhou, Meng Ouyang, Zhejun Kuang, Zhen Li, Jin Peng Zhou, Xiaochun Cheng
Incremental Association Rule Mining Based on Matrix Compression for Edge Computing. IEEE Access 7 (2019)