Jin Peng Zhou

According to our database, Jin Peng Zhou authored at least 15 papers between 2019 and 2024.

Collaborative distances:

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

2024

Don't Trust: Verify - Grounding LLM Quantitative Reasoning with Autoformalization.

Jin Peng Zhou, Charles Staats, Wenda Li, Christian Szegedy, Kilian Q. Weinberger, Yuhuai Wu

CoRR, 2024

REFACTOR: Learning to Extract Theorems from Proofs.

Jin Peng Zhou, Yuhuai Wu, Qiyang Li, Roger B. Grosse

CoRR, 2024

Zero-shot Object-Level OOD Detection with Context-Aware Inpainting.

Quang-Huy Nguyen, Jin Peng Zhou, Zhenzhen Liu, Khanh-Huyen Bui, Kilian Q. Weinberger, Dung D. Le

CoRR, 2024

2023

Correction with Backtracking Reduces Hallucination in Summarization.

Zhenzhen Liu, Chao Wan, Varsha Kishore, Jin Peng Zhou, Minmin Chen, Kilian Q. Weinberger

CoRR, 2023

Magnushammer: A Transformer-based Approach to Premise Selection.

Maciej Mikula, Szymon Antoniak, Szymon Tworkowski, Albert Qiaochu Jiang, Jin Peng Zhou, Christian Szegedy, Lukasz Kucinski, Piotr Milos, Yuhuai Wu

CoRR, 2023

Unsupervised Out-of-Distribution Detection with Diffusion Inpainting.

Zhenzhen Liu, Jin Peng Zhou, Yufan Wang, Kilian Q. Weinberger

Proceedings of the International Conference on Machine Learning, 2023

Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs.

Albert Qiaochu Jiang, Sean Welleck, Jin Peng Zhou, Timothée Lacroix, Jiacheng Liu, Wenda Li, Mateja Jamnik, Guillaume Lample, Yuhuai Wu

Proceedings of the Eleventh International Conference on Learning Representations, 2023

Does Label Differential Privacy Prevent Label Inference Attacks?

Ruihan Wu, Jin Peng Zhou, Kilian Q. Weinberger, Chuan Guo

Proceedings of the International Conference on Artificial Intelligence and Statistics, 2023

2022

Learned Systems Security.

Roei Schuster, Jin Peng Zhou, Thorsten Eisenhofer, Paul Grubbs, Nicolas Papernot

CoRR, 2022

2021

Bayesian Preference Elicitation with Keyphrase-Item Coembeddings for Interactive Recommendation.

Hojin Yang, Scott Sanner, Ga Wu, Jin Peng Zhou

Proceedings of the 29th ACM Conference on User Modeling, Adaptation and Personalization, 2021

2020

Not My Deepfake: Towards Plausible Deniability for Machine-Generated Media.

Baiwu Zhang, Jin Peng Zhou, Ilia Shumailov, Nicolas Papernot

CoRR, 2020

Noise Contrastive Estimation for Autoencoding-based One-Class Collaborative Filtering.

Jin Peng Zhou, Ga Wu, Zheda Mai, Scott Sanner

CoRR, 2020

TAFA: Two-headed Attention Fused Autoencoder for Context-Aware Recommendations.

Jin Peng Zhou, Zhaoyue Cheng, Felipe Pérez, Maksims Volkovs

Proceedings of the RecSys 2020: Fourteenth ACM Conference on Recommender Systems, 2020

Predicting Twitter Engagement With Deep Language Models.

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

Proceedings of the RecSys Challenge '20: Proceedings of the Recommender Systems Challenge 2020, 2020

2019

Incremental Association Rule Mining Based on Matrix Compression for Edge Computing.

Dongdai Zhou, Meng Ouyang, Zhejun Kuang, Zhen Li, Jin Peng Zhou, Xiaochun Cheng

IEEE Access, 2019