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 | 78 | 2022 |
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 | 28 | 2020 |
Unsupervised out-of-distribution detection with diffusion inpainting Z Liu, JP Zhou, Y Wang, KQ Weinberger International Conference on Machine Learning, 22528-22538, 2023 | 18 | 2023 |
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 | 17 | 2023 |
Does Label Differential Privacy Prevent Label Inference Attacks? R Wu, JP Zhou, KQ Weinberger, C Guo arXiv preprint arXiv:2202.12968, 2022 | 11 | 2022 |
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 | 9 | 2020 |
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 | 8 | 2021 |
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 | 6 | 2020 |
Two-headed attention fused autoencoder for context-aware recommendation M Volkovs, JF Vallejo, JP Zhou, Z Cheng US Patent App. 17/405,939, 2022 | 4 | 2022 |
Learned Systems Security R Schuster, JP Zhou, T Eisenhofer, P Grubbs, N Papernot arXiv preprint arXiv:2212.10318, 2022 | 3 | 2022 |
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 | 3 | 2021 |
Noise Contrastive Estimation for Autoencoding-based One-Class Collaborative Filtering JP Zhou, G Wu, Z Mai, S Sanner arXiv preprint arXiv:2008.01246, 2020 | 3 | 2020 |
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 | 2 | 2023 |
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 | | 2024 |
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 | | 2023 |