Albert Q. Jiang

Computer Science · Physical Sciences

7h-index512citations17works15.92yr avg
OpenAlex↗Google Scholar↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Topic Modeling(8), Natural Language Processing Techniques(5), Software Engineering Research(3), Mathematics, Computing, and Information Processing(3), Logic, programming, and type systems(2)

Publications17 total

Voxtral
arXiv (Cornell University)·2025Open Access
Magistral
ArXiv.org·2025· 1 citedOpen Access
End-to-End Ontology Learning with Large Language Models
arXiv (Cornell University)·2024· 1 citedOpen Access
Pixtral 12B
arXiv (Cornell University)·2024· 4 citedOpen Access
Repurposing Language Models into Embedding Models: Finding the Compute-Optimal Recipe
arXiv (Cornell University)·2024Open Access
Evaluating language models for mathematics through interactions
Proceedings of the National Academy of Sciences·2024· 39 citedOpen Access
Mixtral of Experts
arXiv (Cornell University)·2024· 113 citedOpen Access
End-to-End Ontology Learning with Large Language Models
2024· 1 cited
Multi-language Diversity Benefits Autoformalization
2024
Repurposing Language Models into Embedding Models: Finding the Compute-Optimal Recipe
2024
Multilingual Mathematical Autoformalization
arXiv (Cornell University)·2023· 1 citedOpen Access
Llemma: An Open Language Model For Mathematics
arXiv (Cornell University)·2023· 13 citedOpen Access
Mistral 7B
arXiv (Cornell University)·2023· 251 citedOpen Access
Evaluating Language Models for Mathematics through Interactions
arXiv (Cornell University)·2023· 3 citedOpen Access
Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs
arXiv (Cornell University)·2022· 25 citedOpen Access
Autoformalization with Large Language Models
arXiv (Cornell University)·2022· 41 citedOpen Access
Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers
arXiv (Cornell University)·2022· 19 citedOpen Access

Frequent Co-authors

Mateja Jamnik(11), Wenda Li(10), Guillaume Lample(6), Timothée Lacroix(6), Alexandre Sablayrolles(5), Arthur Mensch(5), Lucile Saulnier(5), Pierre Stock(5), Teven Le Scao(5), Thibaut Lavril(5), Thomas J. Wang(5), Yuhuai Wu(5), Andrea Lo(5), Chris Bamford(4), Devendra Singh Chaplot(4), Diego de las Casas(4), Lélio Renard Lavaud(4), Emma Bou Hanna(4), Sandeep Subramanian(4), Szymon Antoniak(4)