Follow
Jin Peng Zhou
Jin Peng Zhou
Cornell University
Verified email at cs.toronto.edu
Title
Cited by
Cited by
Year
Gemma 2: Improving open language models at a practical size
G Team, M Riviere, S Pathak, PG Sessa, C Hardin, S Bhupatiraju, ...
arXiv preprint arXiv:2408.00118, 2024
1892024
Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs
AQ Jiang, S Welleck, JP Zhou, W Li, J Liu, M Jamnik, T Lacroix, Y Wu, ...
arXiv preprint arXiv:2210.12283, 2022
1172022
Unsupervised out-of-distribution detection with diffusion inpainting
Z Liu, JP Zhou, Y Wang, KQ Weinberger
International Conference on Machine Learning, 22528-22538, 2023
372023
TAFA: Two-headed attention fused autoencoder for context-aware recommendations
JP Zhou, Z Cheng, F Pérez, M Volkovs
Proceedings of the 14th ACM conference on recommender systems, 338-347, 2020
362020
Magnushammer: A transformer-based approach to premise selection
M Mikuła, S Antoniak, S Tworkowski, AQ Jiang, JP Zhou, C Szegedy, ...
arXiv preprint arXiv:2303.04488, 2023
342023
Does Label Differential Privacy Prevent Label Inference Attacks?
R Wu, JP Zhou, KQ Weinberger, C Guo
arXiv preprint arXiv:2202.12968, 2022
152022
Don't Trust: Verify--Grounding LLM Quantitative Reasoning with Autoformalization
JP Zhou, CE Staats, W Li, C Szegedy, KQ Weinberger, Y Wu
The Twelfth International Conference on Learning Representations, 2023
142023
Not my deepfake: Towards plausible deniability for machine-generated media
B Zhang, JP Zhou, I Shumailov, N Papernot
arXiv e-prints, arXiv: 2008.09194, 2020
102020
Bayesian Preference Elicitation with Keyphrase-Item Coembeddings for Interactive Recommendation
H Yang, S Sanner, G Wu, JP Zhou
Proceedings of the 29th ACM Conference on User Modeling, Adaptation and …, 2021
92021
Predicting Twitter Engagement With Deep Language Models
M Volkovs, Z Cheng, M Ravaut, H Yang, K Shen, JP Zhou, A Wong, ...
Proceedings of the Recommender Systems Challenge 2020, 38-43, 2020
72020
Two-headed attention fused autoencoder for context-aware recommendation
M Volkovs, JF Vallejo, JP Zhou, Z Cheng
US Patent App. 17/405,939, 2022
52022
Draft, sketch, and prove: Guiding formal theorem provers with informal proofs (2022)
AQ Jiang, S Welleck, JP Zhou, W Li, J Liu, M Jamnik, T Lacroix, Y Wu, ...
DOI: https://doi. org/10.48550/ARXIV 2210, 0
5
REFACTOR: Learning to Extract Theorems from Proofs
JP Zhou, Y Wu, C Li, R Grosse
The First Mathematical Reasoning in General Artificial Intelligence Workshop …, 2021
42021
Learned Systems Security
R Schuster, JP Zhou, T Eisenhofer, P Grubbs, N Papernot
arXiv preprint arXiv:2212.10318, 2022
32022
Noise Contrastive Estimation for Autoencoding-based One-Class Collaborative Filtering
JP Zhou, G Wu, Z Mai, S Sanner
arXiv preprint arXiv:2008.01246, 2020
32020
Code Repair with LLMs gives an Exploration-Exploitation Tradeoff
H Tang, K Hu, JP Zhou, S Zhong, WL Zheng, X Si, K Ellis
arXiv preprint arXiv:2405.17503, 2024
22024
Orchestrating LLMs with Different Personalizations
JP Zhou, KZ Luo, J Gu, J Yuan, KQ Weinberger, W Sun
arXiv preprint arXiv:2407.04181, 2024
12024
Attention to Quantum Complexity
H Kim, Y Zhou, Y Xu, K Varma, AH Karamlou, IT Rosen, JC Hoke, C Wan, ...
arXiv preprint arXiv:2405.11632, 2024
12024
Zero-shot Object-Level OOD Detection with Context-Aware Inpainting
QH Nguyen, JP Zhou, Z Liu, KH Bui, KQ Weinberger, DD Le
arXiv preprint arXiv:2402.03292, 2024
12024
Correction with Backtracking Reduces Hallucination in Summarization
Z Liu, C Wan, V Kishore, JP Zhou, M Chen, KQ Weinberger
arXiv preprint arXiv:2310.16176, 2023
12023
The system can't perform the operation now. Try again later.
Articles 1–20