Concepedia

Author

Albert Q. Jiang

The Alan Turing Institute

Also Known As

Albert Q. Jiang, Ghosh, Soham, Jiang, Albert Q.

17

Publications

509

Citations

7

H-Index

32

Concepts

All Affiliations

The Alan Turing Institute
AQ

About

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

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

7

7

498

2

Computer Science

7

7

498

3

Language Studies

5

5

374

4

Social Sciences

1

1

111

5

Cognitive Science

1

1

111

Albert Q. Jiang

×

7

Publications

498

Citations

7

H-Index

YearCitations

Mistral 7B

Albert Q. Jiang, Alexandre Sablayrolles, Arthur Mensch,

arXiv (Cornell University)

2023

251

Mixtral of Experts

Albert Q. Jiang, Alexandre Sablayrolles, Antoine Roux,

arXiv (Cornell University)

2024

111

Autoformalization with Large Language Models

Yuhuai Wu, Albert Q. Jiang, Wenda Li,

arXiv (Cornell University)

2022

41

Evaluating language models for mathematics through interactions

Katherine M. Collins, Albert Q. Jiang, Simon Frieder,

Proceedings of the National Academy of Sciences

2024

38

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

Albert Q. Jiang, Sean Welleck, Jin Zhou,

arXiv (Cornell University)

2022

25

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

Albert Q. Jiang, Wenda Li, Szymon Tworkowski,

arXiv (Cornell University)

2022

19

Llemma: An Open Language Model For Mathematics

Zhangir Azerbayev, Hailey Schoelkopf, Keiran Paster,

arXiv (Cornell University)

2023

13

Page 1