| Mistral 7B AQ Jiang, A Sablayrolles, A Mensch, C Bamford, DS Chaplot, D Casas, ... arXiv preprint arXiv:2310.06825, 2023 | 5207* | 2023 |
| Mixtral of experts AQ Jiang, A Sablayrolles, A Roux, A Mensch, B Savary, C Bamford, ... arXiv preprint arXiv:2401.04088, 2024 | 1439 | 2024 |
| Llemma: An open language model for mathematics Z Azerbayev, H Schoelkopf, K Paster, MD Santos, S McAleer, AQ Jiang, ... arXiv preprint arXiv:2310.10631, 2023 | 267 | 2023 |
| Autoformalization with large language models Y Wu, AQ Jiang, W Li, MN Rabe, C Staats, M Jamnik, C Szegedy NeurIPS 2022, 2022 | 178 | 2022 |
| 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 | 144 | 2022 |
| Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers AQ Jiang, W Li, S Tworkowski, K Czechowski, T Odrzygóźdź, P Miłoś, ... NeurIPS 2022, 2022 | 96 | 2022 |
| LISA: Language models of isabelle proofs AQ Jiang, W Li, JM Han, Y Wu 6th Conference on Artificial Intelligence and Theorem Proving, 2021 | 70 | 2021 |
| INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving Y Wu, AQ Jiang, J Ba, R Grosse International Conference on Learning Representations (ICLR 2021), 2021 | 56 | 2021 |
| Evaluating language models for mathematics through interactions KM Collins, AQ Jiang, S Frieder, L Wong, M Zilka, U Bhatt, T Lukasiewicz, ... Proceedings of the National Academy of Sciences 121 (24), e2318124121, 2024 | 55 | 2024 |
| Magnushammer: A transformer-based approach to premise selection M Mikuła, S Tworkowski, S Antoniak, B Piotrowski, AQ Jiang, JP Zhou, ... arXiv preprint arXiv:2303.04488, 2023 | 40* | 2023 |
| Pixtral 12B P Agrawal, S Antoniak, EB Hanna, B Bout, D Chaplot, J Chudnovsky, ... arXiv preprint arXiv:2410.07073, 2024 | 28* | 2024 |
| Multilingual mathematical autoformalization AQ Jiang, W Li, M Jamnik arXiv preprint arXiv:2311.03755, 2023 | 18 | 2023 |
| Numinamath: The largest public dataset in ai4maths with 860k pairs of competition math problems and solutions J Li, E Beeching, L Tunstall, B Lipkin, R Soletskyi, S Huang, K Rasul, L Yu, ... Hugging Face repository 13, 9, 2024 | 14 | 2024 |
| Repurposing Language Models into Embedding Models: Finding the Compute-Optimal Recipe A Ziarko, AQ Jiang, B Piotrowski, W Li, M Jamnik, P Miłoś arXiv preprint arXiv:2406.04165, 2024 | 1* | 2024 |
| Learning plausible and useful conjectures AQ Jiang, W Li, M Jamnik 7th Conference on Artificial Intelligence and Theorem Proving, 2022 | 1* | 2022 |
| End-to-End Ontology Learning with Large Language Models A Lo, AQ Jiang, W Li, M Jamnik arXiv preprint arXiv:2410.23584, 2024 | | 2024 |
| More Details, Please: Improving Autoformalization with More Detailed Proofs G Tarrach, AQ Jiang, D Raggi, W Li, M Jamnik AI for Math Workshop@ ICML 2024, 2024 | | 2024 |
| Can Network Flatness Explain the Training Speed-Generalisation Connection? AQ Jiang, L Schut, C Lyle, Y Gal Bayesian Deep Learning Workshop at the Thirty-fifth Conference on Neural …, 2021 | | 2021 |
Yuhuai(Tony) WuCo-Founder of xAIVerified email at x.ai
