I go by Albert. You can also call me 乔楚 (Qiaochu). (They look very different, but a name is nothing more than a lambda variable)
You can find my CV here.
I study how to learn abstract mathematical reasoning, with large (>20B) and small (<1B) language models.
- I worked on the autoformalization of theorems and proofs.
- I worked on integrating and improving premise selection tools with language models.
- I study the interaction between humans and language models on mathematical tasks.
- I am working on mathematical conjecturing. A foretaste of what I want to do here.
Here are some people I worked with/am working with closely on AI x Maths. You should consider reading their works if interested in the topic. In alphabet order:
Between July and October 2022, I was a research scientist intern at FAIR.
News and publications
ICLR 2023 Oral
Nov 2022 - I gave a talk in the Cambridge AI Research Group Seminar on it.
Feb 2023 - The paper was featured on the Quanta Magazine.
Dec 2022 - The paper was featured on the Cambridge Computer Laboratory website.
June 2022 - The paper was reported by New Scientist.
Nov 2022 - I gave a talk in the Google N2Formal team on it.
Oct 2021 - I received the prestigious studentship in science to pursue my PhD.
NeurIPS 2021 Bayesian Deep Learning Workshop
Oct 2021 - My master thesis made it into a workshop!
May 2021 - My first ever work on AI for Maths materialised into a paper!
Oct 2020 - I received the generous scholarship to do my Master in Computer Science at Oxford.
Sept 2019 - I received a grant to conduct research in Toronto with Jimmy Ba.
qj213 AT cam DOT ac DOT uk
If you want to talk about AI4Maths, feel free to schedule a meeting: https://calendly.com/aqj. Please include your name and a meeting link if it’s virtual. Please send an email or a note explanation.
Resources for writing the PhD application research proposal
This section of Sharon Goldwater’s homepage.