Albert Q. Jiang
Publications by Year
Research Areas
Topic Modeling, Natural Language Processing Techniques, Software Engineering Research, Mathematics, Computing, and Information Processing, Logic, programming, and type systems
Most-Cited Works
- → Mistral 7B(2023)260 cited
- → Mixtral of Experts(2024)115 cited
- → Autoformalization with Large Language Models(2022)41 cited
- → Evaluating language models for mathematics through interactions(2024)40 cited
- → Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs(2022)25 cited
- → Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers(2022)19 cited
- → Llemma: An Open Language Model For Mathematics(2023)13 cited
- → Pixtral 12B(2024)4 cited
- → Multilingual Mathematical Autoformalization(2023)1 cited