Albert Jiang

Cambridge PhD / Mistral researcher; works on AI for theorem proving (Thor, Magnushammer, MiniF2F).

Role: researcher
Currently at: Mistral AI
Twitter: twitter.com/AlbertQJiang
GitHub: github.com/albertqjiang
Scholar: scholar.google.com/citations
Papers: 1

Cite

Notes

Only stored in your browser.

Attribution

Affiliations & profile: scholar.google.com/citations

Attribution policy →

1papers

Authored papers

NuminaMath: The Largest Public Dataset in AI4Maths with 860k Pairs of Competition Math Problems and Solutions

blog

2024

Affiliations

Currently at

Mistral AI

researcher · open lab

Previously

Independentcommunity

Frequent co-authors

from 1 papers

Ben Lipkin

grad-student

1 shared paper

Bin Dong

professor

1 shared paper

Edward Beeching

researcher

1 shared paper

Guillaume Lample

founder

1 shared paper

Jia Li

researcher

1 shared paper

Kashif Rasul

researcher

1 shared paper

Lewis Tunstall

engineer

1 shared paper

Li Zhou

researcher

1 shared paper

Longhui Yu

researcher

1 shared paper

Roman Soletskyi

researcher

1 shared paper