Albert Q. Jiang
- Papers
- 7
Cite
Notes
Only stored in your browser.
7papers
Authored papers
7Pixtral 12B
arXiv 2024
Repurposing Language Models into Embedding Models: Finding the Compute-Optimal Recipe
arXiv 2024
Mixtral of Experts
arXiv 2024
Mistral 7B
arXiv 2023
Evaluating Language Models for Mathematics through Interactions
arXiv 2023
Multilingual Mathematical Autoformalization
arXiv 2023
Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs
arXiv 2022
Affiliations
No known affiliations.
Frequent co-authors
10from 7 papers
Guillaume Lample
founder
Mateja Jamnik
Timothée Lacroix
founder
Wenda Li
Alexandre Sablayrolles
Arthur Mensch
CEO
Lucile Saulnier
Pierre Stock
Teven Le Scao
Thibaut Lavril