Jiang, Albert Q.

Mistral 7B

Jiang, A. Q., Sablayrolles, A., Mensch, A., Bamford, C., Chaplot, D. S., Casas, D. D. L., Bressand, F., Lengyel, G., Lample, G., Saulnier, L., et al. (2023) · arXiv

Topic ModelingNatural Language Processing Techniques

Cited by 340

Mixtral of Experts

Jiang, A. Q., Sablayrolles, A., Roux, A., Mensch, A., Savary, B., Bamford, C., Chaplot, D. S., Casas, D. D. L., Hanna, E. B., Bressand, F., et al. (2024) · arXiv

Topic ModelingNatural Language Processing Techniques

Cited by 143

INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving

Wu, Y., Jiang, A. Q., Ba, J., & Grosse, R. (2020) · arXiv

AI-based Problem Solving and PlanningLogic, programming, and type systems

Cited by 30

Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers

Jiang, A. Q., Li, W., Tworkowski, S., Czechowski, K., Odrzygóźdź, T., Miłoś, P., Wu, Y., & Jamnik, M. (2022) · arXiv

Logic, programming, and type systemsMathematics, Computing, and Information Processing

Cited by 23

Pixtral 12B

Agrawal, P., Antoniak, S., Hanna, E. B., Bout, B., Chaplot, D., Chudnovsky, J., Costa, D., De Monicault, B., Garg, S., Gervet, T., et al. (2024) · arXiv

Multimodal Machine Learning ApplicationsTopic Modeling

Cited by 8