Concepedia

Albert Q. Jiang

AQ

7

Publications

498

Citations

7

H-Index

2022

Active since

Affiliations

The Alan Turing Institute(Current)

Albert Q. Jiang is an author at The Alan Turing Institute specializing in engineering, automated reasoning, and computer science.

Top concepts

EngineeringComputer ScienceAutomated ReasoningComputational LinguisticsLanguageLinguisticsMachine TranslationNatural Language ProcessingLarge Language ModelsFormal Methods

Publications per year

2022–2024

7

Publications

7

Mistral 7B

Albert Q. Jiang, Alexandre Sablayrolles, Arthur Mensch et al. · arXiv (Cornell University) · 2023 · 251 citations · Full text

Artificial Intelligence, Llm Fine-tuning, Engineering +17

Mixtral of Experts

Albert Q. Jiang, Alexandre Sablayrolles, Antoine Roux et al. · arXiv (Cornell University) · 2024 · 111 citations · Full text

Artificial Intelligence, Llm Fine-tuning, Engineering +17

Autoformalization with Large Language Models

Yuhuai Wu, Albert Q. Jiang, Wenda Li et al. · arXiv (Cornell University) · 2022 · 41 citations · Full text

Artificial Intelligence, Engineering, Verification +19

Evaluating language models for mathematics through interactions

Katherine M. Collins, Albert Q. Jiang, Simon Frieder et al. · Proceedings of the National Academy of Sciences · 2024 · 38 citations · Full text

Llm Fine-tuning, Engineering, Mathematical Linguistics +20

Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs

Albert Q. Jiang, Sean Welleck, Jin Zhou et al. · arXiv (Cornell University) · 2022 · 25 citations · Full text

Informal Proofs, Engineering, Verification +17

Rows per page

1–5 of 7